--------------------------------------------------------------------------- ISTCS'96 CALL FOR PAPERS Fourth Israeli Symposium on Theory of Computing and Systems June 10-11, 1996 Jerusalem, Israel 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 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 (CBSE), which will take place on June 12-13, 1996, as well as a Computer Science Forum at Bar Ilan University on June 9, 1996. INVITED TALKS: The following distinguished speakers will deliver invited talks: Tom Leighton, MIT William R. Pulleyblank, IBM Watson Research Center Micha Sharir, Tel Aviv University Shimon Ullman, Weizmann Institute of Science ABSTRACT SUBMISSION: Authors may submit a paper by mailing ELECTRONICALLY a self contained Postscript(tm) version to the address istcs96@cs.rice.edu (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 istcs96@cs.rice.edu. PROGRAM CHAIR: Moshe Y. Vardi Attn: ISTCS'96 Department of Computer Science Rice University Mail Stop 132 6100 S. Main Street Houston, TX 77005-1892, USA E-mail: istcs96@cs.rice.edu DATES: Submission deadline ............................ January 31, 1996. Acceptance notification ........................ March 22, 1996. Final copy due ................................. April 12, 1996. 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. Dual submission of the same abstract to ISTCS and to another conference with published proceedings is not allowed, with the following exception. Submissions to the Symposium can also be submitted to the IEEE Symposium on Logic in Computer Science (LICS) and the ACM Symposium on Theory of Computing (STOC), provided that the authors indicate so clearly on the cover page of the submission. If the paper is accepted to both LICS (resp., STOC) and ISTCS, then the paper will be presented in both meetings, but it will be included only in the LICS (resp., STOC) proceedings, while the ISTCS proceedings will include a 1-page abstract. 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&T Bell 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&T Bell 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, Jerusalem SYMPOSIUM CO-CHAIRS: Eli Shamir, Hebrew University 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 IFFC 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 CONTACT LIST: Bar Ilan CS Forum: Martin Golumbic IFFC - Michael Rodeh ISTCS - Moshe Y. Vardi CSBE - Michael Winokur