(Message inbox:52) Date: Wed, 16 Oct 1996 09:45:11 +0700 To: Multiple recipients of list DMA-LIST From: DMANET Subject: ISTCS 97 - CFP Return-Path: Full-Name: DMANET Mailer: Elm [revision: 66.36.1.1] Approved-By: DMANET Reply-To: mansour@math.tau.ac.il Sender: DMANET ISTCS'97 CALL FOR PAPERS Fifth Israeli Symposium on Theory of Computing and Systems June 17-19, 1997 Ramat-Gan, Israel http://www.math.tau.ac.il/~mansour/istcs97/main.html Participating in the 1997 Israeli Federated Computing Conference (IFCC'97) 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 1997 ISRAELI FEDERATED COMPUTING CONFERENCE: The Symposium will be part of the new Israeli Federated Computing Conference (IFCC). The IFCC will also include the Eighth Israeli Conference on Computer-Based Systems and Software Engineering (CBSE), which will take place on June 18-19, 1997, and the Fifth Bar-Ilan Symposium on the Foundations of Artificial Intelligence which will take place on June 16-18, 1997. SUBMISSIONS: Authors may submit a paper either electronically (details will be available from the conference web page) or by mailing seven (7) copies of the submitted paper to: Baruch Schieber Attn: ISTCS'97 IBM -- T. J. Watson Research Center P.O. Box 218 Yorktown Heights, NY 10598 USA E-mail: sbar@watson.ibm.com To be considered by the committee, submissions must be received by January 21, 1996 (or postmarked by January 11 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. IMPORTANT DATES: Submission deadline January 21, 1997 Acceptance notification March 20, 1997 Final copy due April 11, 1997 ACCEPTANCE: Authors will be notified of acceptance or rejection by e-mail and a letter mailed by March 20, 1997. 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 11, 1997. 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: Yonatan Aumann (Bar-Ilan University), Amotz Bar-Noy (Tel-Aviv University), Michael Ben-Or (Hebrew University), Avrim Blum (Carnegie Mellon University), Allan Borodin (University of Toronto), Andrei Broder (Digital Equipment Corporation), Jehoshua Bruck (Caltech), Eliezer Dekel (IBM - Haifa Research Lab.) Shlomi Dolev (Ben-Guriun University), Dan Halperin (Tel-Aviv University), David Harel (Weizmann Institute), Guiseppe F. Italiano (University ca'Foscari of Venice), Zvi Kedem (New York University), Daphne Koller (Stanford University), Gad M. Landau (Haifa University and Polytechnic University), Yishay Mansour (co-chair) (Tel-Aviv University), Shlomo Moran (Technion), Ilan Newman (Haifa University), Rafail Ostrovsky (Bellcore), Ronitt Rubinfeld (Cornell University), Baruch Schieber (co-chair) (IBM - T.J. Watson Research Center), Moshe Y. Vardi (Rice University), Orli Waarts (University of California at Berkeley) LOCAL ARRANGEMENTS CHAIR: Martin Golumbic (Bar-Ilan University) SYMPOSIUM CO-CHAIRS: Martin Golumbic (Bar-Ilan University) and Maurice Herlihy (Brown University) STEERING COMMITTEE: Danny Dolev (Hebrew University), Shimon Even (Technion), Oded Goldreich (Weizmann Institute), Richard M. Karp (University of Washington), Michael Luby (ICSI and Digital Equipment Corporation), David Peleg (Weizmann Institute), Michael O. Rabin (Harvard University and Hebrew University), Arny Rosenberg (University of Massachusetts), Eli Shamir (Hebrew University), Moshe Y. Vardi (Rice University), Uzi Vishkin (University of Maryland and Tel Aviv University) IFCC CONTACT LIST: Bar-Ilan Symp. on AI -- Sarit Kraus and Daniel Lehmann (bisfai@cs.biu.ac.il) CSBE -- Ron Pinter (pinter@haifasc3.vnet.ibm.com) IFFC -- Michael Rodeh (rodeh@haifasc3.vnet.ibm.com) ISTCS} Yishay Mansour (mansour@cs.tau.ac.il) and Baruch Schieber (sbar@watson.research.ibm.com) IFCC SPONSORSHIPS: IFCC is sponsored by the IEEE Israel, IEEE Computer Society - Israel Section, and the Israel Information Processing Association. -- ****************************************************** Contributions to be spread via DMANET are submitted to DMANET@math.utwente.nl Replies to a message carried on DMANET should NOT be addressed to DMANET but to the original sender. The original sender, however, is invited to prepare an update of the replies received and to communicate it via DMANET. DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)