CALL FOR PAPERS
Fourth Israeli Symposium on Theory of Computing and Systems (ISTCS'96)
Participating in the 1996 Israeli Federated Computing Conference (IFCC'96), June 10-11, 1996, Jerusalem, Israel
SCOPE AND FORMAT:Papers presenting original research on theoretical aspects of computer science are sought. The Israeli Symposium on the Theory of Computing and Systems (ISTCS) is quite broad in scope. It is intended to encourage interaction among researchers active in the theoretical aspects of diverse fields such as: algorithms and data structures, coding theory, complexity theory, computability and automata, computational biology, computational geometry, computer communication, computer vision, cryptography and data security, databases, data compression, distributed and parallel computing, foundations of compiler technology, information retrieval, logics of programs, machine learning, natural language processing, program verification, robotics, semantics of programming languages, VLSI layout and design. Of special interest are novel techniques that build on the strengths of one discipline for the benefit of others.
THE 1996 ISRAELI FEDERATED COMPUTING CONFERENCE: The Symposium will be part of the new Israeli Federated Computing Conference (IFCC). The IFCC will include also the 7th Israeli Conference on Computer-Based Systems and Software Engineering (CBSSE), which will take place on June 12-13, 1996, a Computer Science Forum at Bar Ilan University on June 9, 1996, and the 2nd International Workshop on Intelligent Scheduling of Robots (WISOR), which will take place in Holon on June 6, 1996.
INVITED TALKS:The following distinguished speakers will deliver invited talks:
SUBMISSIONS:Authors may submit a paper by mailing ELECTRONICALLY a self contained Postscript(tm) version to the address email@example.com (strongly encouraged whenever possible for speeding up the reviewing process) AND by sending seven (7) copies of the submitted paper to the Program Chair. Electronic submissions for which paper copies are not received risk not being considered in case of printing problems. In addition, authors should submit an electronic, plaintext copy of the abstract to firstname.lastname@example.org.
To be considered by the committee, submissions must be received by January 31, 1996 (or postmarked by January 21 and sent via airmail). The first page of the extended abstract should include the title of the paper, names and affiliations of authors, a brief synopsis, and the contact author's name, address, phone number, fax number, and email address, if available. The submission may not exceed 10 typed pages in no less than 11-point font, with a line spacing of no less than 1.5. It must be in English and provide sufficient detail to allow the program committee to assess the merits of the paper. It should begin with a succinct statement of the issues, a summary of the main results, and a brief explanation of their significance and relevance to the Symposium, all phrased for the non-specialist. References and comparisons with related work should be included. Technical development directed to the specialist should follow. Further material, believed to be necessary to substantiate the main claims of the paper, may be included in a clearly marked appendix that will be read at the discretion of the program committee. Submissions departing significantly from these guidelines risk not being considered.
ACCEPTANCE:Authors will be notified of acceptance or rejection by e-mail and a letter mailed around March 22, 1996. Accepted papers will be published in the Symposium proceedings by the IEEE Computer Society. A final copy of each accepted paper is required by April 12, 1996. It is expected that every accepted paper will be presented at the Symposium by one of the authors. The official language of the Symposium will be English.
PROGRAM COMMITTEE: Nader Bshouty (University of Calgary), Benny Chor (Technion), Edith Cohen (AT&TBell Labs), Shimon Even (Technion), Uri Feige (Weizmann Institute), Martin Golumbic (Bar Ilan University), Sorin Istrail (Sandia National Laboratories), Michael Kifer (SUNY Stony Brook), Eyal Kushilevitz (Technion), Shay Kutten (IBM Watson), Mike Luby (ICSI and UC Berkeley), Joseph (Seffi) Naor (Technion), Wolfgang Paul (University of Saarbrucken), Doron Peled (AT&TBell Labs), Pavel Pevzner (University of Southern California), Serge Plotkin (Stanford University), Arny Rosenberg (University of Massachusetts), Shmuel Safra (Tel Aviv University), Nir Shavit (Tel Aviv University), Eli Upfal (Weizmann Institute and IBM Almaden), Moshe Y. Vardi (chair) (Rice University), Moti Yung (IBM Watson), Lenore Zuck (Yale University), Uri Zwick (Tel Aviv University)
LOCAL ARRANGEMENTS CHAIR:Danny Dolev (Hebrew University) SYMPOSIUM CO-CHAIRS:Eli Shamir (Hebrew University) and Moshe Y. Vardi (Rice University)
STEERING COMMITTEE: Shimon Even (Technion), Oded Goldreich (Weizmann Institute), Richard M. Karp (University of Washington), Michael Luby (ICSI and UC Berkeley), David Peleg (Weizmann Institute), Michael O. Rabin (Harvard University and Hebrew University), Arny Rosenberg (University of Massachusetts), Uzi Vishkin (University of Maryland and Tel Aviv University)
IFCC STEERING COMMITTEE: Danny Dolev (Hebrew University), Zvi Galil (Columbia University and Tel Aviv University), Martin Golumbic (Bar Ilan University), Ron Pinter (IBM Israei Science and Technology), Michael Rodeh (IBM Israel Science and Technology), Eli Shamir (Hebrew University), Moshe Y. Vardi (Rice University), Michael Winokur (Israeli Aircraft Industry)
IFCC CONTACT LIST:
IFCC SPONSORSHIPS: IFCC is sponsored by the IEEE Israel, IEEE Computer Society, Israel Section, and the Israel Information Processing Association.