From owner-dma-list@NIC.SURFNET.NL Tue Apr 22 01:12:23 1997 Received: from CS.Stanford.EDU (CS.Stanford.EDU [171.64.64.64]) by robotics.Stanford.EDU (8.8.5/8.8.5) with ESMTP id BAA06320; Tue, 22 Apr 1997 01:12:23 -0700 (PDT) Received: from hearnnt.nic.surfnet.nl (hearnnt.nic.surfnet.nl [192.87.5.133]) by CS.Stanford.EDU (8.8.4/8.8.4) with ESMTP id BAA13906; Tue, 22 Apr 1997 01:11:37 -0700 (PDT) Received: from hearnnt (192.87.5.133) by hearnnt.nic.surfnet.nl (LSMTP for Windows NT v1.1a) with SMTP id <0.2DB0E610@hearnnt.nic.surfnet.nl>; Tue, 22 Apr 1997 10:08:51 +0200 Received: from NIC.SURFNET.NL by NIC.SURFNET.NL (LISTSERV release 1.8c) with NJE id 7599 for DMA-LIST@NIC.SURFNET.NL; Tue, 22 Apr 1997 10:11:55 +0200 Received: from HEARN (NJE origin SMTP@HEARN) by HEARN.NIC.SURFNET.NL (LMail V1.2c/1.8c) with BSMTP id 1718; Tue, 22 Apr 1997 10:11:54 +0200 Received: from utmfu6.math.utwente.nl by HEARN.nic.SURFnet.nl (IBM VM SMTP V2R2) with TCP; Tue, 22 Apr 97 10:11:53 +0200 Received: from utmfu0.math.utwente.nl (utmau7.math.utwente.nl) by utmfu6.math.utwente.nl with ESMTP (1.40.112.8/16.2) id AA189076709; Tue, 22 Apr 1997 10:11:54 +0200 Received: by utmfu0.math.utwente.nl ($Revision: 1.36.108.11 $/16.2) id AA161076706; Tue, 22 Apr 1997 10:11:46 +0200 Mailer: Elm [revision: 66.36.1.1] Approved-By: DMANET Message-ID: <199704220811.AA161076706@utmfu0.math.utwente.nl> Date: Tue, 22 Apr 1997 10:11:45 METDST Reply-To: mansour@math.tau.ac.il Sender: DMANET From: DMANET Subject: ISTCS 1997 To: DMA-LIST@NIC.SURFNET.NL X-Mozilla-Status: 0001 Content-Length: 12111 PROGRAM AND REGISTRATION INFORMATION ISTCS '97 URL: http://www.math.tau.ac.il/~mansour/istcs97 The fifth Israel Symposium on the Theory of Computing and Systems (ISTCS'97) will take place in Ramat Gan, Israel, June 17-19, 1997. This message includes: 1. The final program for ISTCS'97; 2. General information; 3. Registration form for ISTCS'97. =================================================== 1. Program ISTCS '97 -------------------- Tuesday, June 17, _________________ 8:30 -- 9:00 Registration and Coffee 9:00 -- 9:20 Effect of operators on straight line complexity Dan Boneh (Bellcore) and Richard Lipton (Princeton University) 9:20 -- 9:40 A Comparison of Resource-Bounded Molecular Computation Models Bin Fu (Yale University) and Richard Beigel (Yale University and University of Maryland) 9:40 -- 10:00 An Exact Quantum Polynomial Time Algorithm for Simon's problem Gilles Brassard (Universite de Montreal) and Peter Hoyer (Odense University) 10:00 -- 10:30 BREAK 10:30 -- 11:30 KEY NOTE SPEAKER: Andrew Yao, Princeton University On the complexity of communication under noise 11:30 -- 11:50 BREAK 11:50 -- 12:10 Approximation algorithms for MAX SAT: Yannakakis vs. Goemans-Williamson Takao Asano (Chuo University) 12:10 -- 12:30 Minimax relations for T-join packing problems Jaime Cohen (Rutgers University) and Claudio L. Lucchesi (University of Campinas) 12:40 -- 14:00 LUNCH 14:00 -- 15:00 JOINT SESSION WITH BISFAI: Michael Kearns, AT&T Labs Accuracy Amplification by Top-Down Tree Learning Algorithms 15:00 -- 15:30 BREAK 15:30 -- 15:50 Learning with Queries Corrupted by Classification Noise Jeffrey Jackson (Duquesne University), Eli Shamir (Hebrew University) and Clara Shwartzman (Hebrew University) 15:50 -- 16:10 A Modular Analysis of Network Transmission Protocols Micah Adler (ICSI and UC Berkeley), Yair Bartal (ICSI and UC Berkeley), John W. Byers (ICSI and UC Berkeley), Michael Luby (DEC/SRC) and Danny Raz (ICSI and UC Berkeley) 16:10 -- 16:30 Optimal Point-to-Point Broadcast Algorithms via Lopsided Trees Mordechai Golin (Hong Kong UST), and Assaf Schuster (Technion) 16:30 -- 16:50 Local Stabilizer Yehuda Afek (Tel-Aviv University) and Shlomi Dolev (Ben-Gurion University) Wednesday, June 18, ___________________ 8:30 -- 9:15 Registration and Coffee 9:15 -- 10:00 INVITED TALK Noga Alon, Tel-Aviv University Spectral Techniques in Graph Algorithms 10:00 -- 10:30 BREAK 10:30 -- 10:50 Stereoscopic families of permutations and their applications Uriel Feige and Robert Krauthgamer (Weizmann Institute) 10:50 -- 11:10 On the Total_k-Diameter of Connection Networks Yefim Dinitz, Tamar Eilam, Shlomo Moran, Shmuel Zaks (Technion) 11:10 -- 11:30 Exact Analysis of Exact Change Yair Frankel (Sandia National Lab.) and Boaz Patt-Shamir (Northeastern University) and Yiannis Tsiounis (Northeastern University) 11:30 -- 11:45 BREAK 11:45 -- 12:30 INVITED TALK Prabakhar Raghavan, IBM - Almaden Research Center Data mining: problems and algorithms 12:30 Lunch and transfer to Herzelia. 14:30 -- 18:15 IEEE and the 1997 Israeli Federated Computing Conference Workshop on: Computer Science -- the Interplay of Theory and Practice Workshop Program: ---------------- 14:30 -- 15:10 Compression Technology: Theory and Practice, Abraham Lempel (Hewlett-Packard Israel Science Center and Technion) 15:10 -- 15:50 Formal methods and their application to software development, Amir Pnueli (Weizmann Institute) 15:50 -- 16:10 BREAK 16:10 -- 16:50 Intelligent agents -- foundation and applications, Jeffrey S. Rosenschein (Hebrew University and AgentSoft) 16:50 -- 17:30 Algebraic complexity and its use, Shmuel Winograd (IBM T.J. Watson Research Center) 17:30 -- 18:15 Linking academy and industry, panel discussion Abraham Lempel, Hewlett-Packard Israel Science Center and the Technion David Notkin, University of Washington Amir Pnueli, Weizmann Institute Michael Rodeh (moderator), Technion and IBM Haifa Research Lab Jeffrey S. Rosenschein, Hebrew University and AgentSoft Shmuel Winograd, IBM T.J. Watson Research Center 19:00 Joint BISFAI -- ISTCS banquet The banquet will honor Professor Amir Pnueli of the Weizmann Institute who has recently received the prestigious ACM Turing Award. Thursday, June 19, _________________ 9:00 -- 9:15 Coffee 9:15 -- 10:00 INVITED TALK Yuval Rabani, Technion Universal Local Control Packet Switching Algorithms 10:00 -- 10:20 BREAK 10:20 -- 10:40 On-Line Load Balancing of Temporary Tasks on Identical Machines Yossi Azar and Leah Epstein (Tel-Aviv University) 10:40 -- 11:00 Faster Subtree Isomorphism Ron Shamir and Dekel Tsur (Tel-Aviv University) 11:00 -- 11:20 Graph Decompositions and Factorizing Permutations Christian Capelle and Michel Habib (CNRS) 11:20 -- 11:40 BREAK 11:40 -- 12:25 INVITED TALK Yossi Azar, Tel-Aviv University On-line Load Balancing 12:40 -- 14:00 LUNCH 14:00 -- 14:20 Closure Properties of GapP and #P Richard Beigel (Yale University and University of Maryland) 14:20 -- 14:40 Weak alternating automata are not that weak Orna Kupferman (UC Berkeley) and Moshe Vardi (Rice University) 14:40 -- 15:00. Commutative Queries Richard Beigel (Yale University and University of Maryland) and Richard Chang (Univrsity of Maryland Baltimore County) 15:00 -- 15:30 BREAK 15:30 - 16:15 INVITED TALK Ran Raz, Weizmann Institute A sub-constant Error Probability Low-degree test and a sub-constant Error Probability PCP characterization of NP. 16:20 -- 16:40 Optimal Query Bounds for Reconstructing a Hamiltonian Cycle in Complete Graphs Vladimir Grebinski and Gregory Kucherov (INRIA Lorraine and CRIN/CNRS) 16:40 - 17:00 Private Simultaneous Messages Protocols with Applications Yuval Ishai and Eyal Kushilevitz (Technion) 17:00 Business Meeting ======================================================================== 2. General Information ----------------------- The Symposium is part of the new Israeli Federated Computing Conference (IFCC). The IFCC also includes the Fifth Bar-Ilan Symposium on Foundations of Artificial Intelligence (BISFAI'97) on June 16-18 which will be co-located with ISTCS'97, and the Eighth Israeli Conference on Computer-Based Systems and Software Engineering (CBSE), which will be held on June 18-19 in Herzelia. For details on these conferences, follow the links on the Web page located at: http://www.cs.biu.ac.il ISTCS'97 Registration ----------------------- ISTCS'97 and BISFAI'97 lectures, are open to the public. We request participants to register by June 5th by mail, email or FAX using the form below. Advanced Registration for ISTCS'97 including the Symposium banquet, IEEE Press Conf. Proceedings, entrance to the workshop (Computer Science -- the Interplay of Theory and Practice), three lunches, and all breaks is available at $150.00. Registration without the banquet, as well as one day registration and student registration are also available. Registration at the door will be 10-20% higher. Additional event tickets and proceedings will also be available. Registration does not include transportation to the symposium events. ISTCS'97 Hotel Arrangements ---------------------------- The ISTCS'97 and BISFAI-97 will be held at the Bar-Ilan Campus in Ramat Gan. Ramat Gan is city contiguous with Tel Aviv to the east. The workshop: "Computer Science -- the Interplay of Theory and Practice", (Wed. afternoon) will take place at the Dan Acadia Hotel in Herzelia, which is immediately north of Tel Aviv. We have reserved several blocks of hotel accommodations at the Kfar Hamacabia Hotel in ramat Gan. Reservations must be made directly with the agent: Sharon Tours, attn: Mike and Danny Amir P.O.Box 2605, Ramat Gan, Israel Tel: 972-3-670-1350 FAX: 972-3-672-9219 e-mail: danny@sharon-tours.co.il while mentioning the Bar-Ilan Symposia ISTCS'97 and BISFAI'97. Kfar Hamaccabia Hotel in Ramat Gan is a first-class hotel which also has sports facilities available gratis for the Symposium participants. Bar-Ilan University is a short ride, or a half-hour walk, from this hotel. The room rate is $76 single or $94 double (including breakfast). Hotel rooms at Tel-Aviv (approximately 25 minutes drive from Bar-Ilan U.) are also available. Prices varied between $60-$120. All prices are payable in foreign currency or foreign credit card directly to Sharon Tours. Israeli residents or those paying in Israeli shekels must add 17% VAT. Hotel space may be limited, so you are advised to make reservations early. Sharon Tours will be glad to make whatever other travel or touring arrangements you may require. ISTCS'97 Local Arrangements: ----------------------------- For questions concerning local arrangements and organization contact: ISTCS'97 Symposium Dept. of Mathematics and Computer Science, Bar-Ilan University, Ramat-Gan, Israel E-mail: research@cs.biu.ac.il Tel: (972-3-) 5318407/8 Fax: (972-3-) 5353325 Looking forward to seeing you at the ISTCS'97 in Israel. =============================== REGISTRATION FORM ===================== ISTCS '97 -- REGISTRATION FORM June 17-19, 1997 Bar-Ilan University, Ramat-Gan, Israel Name: _________________________________________________________ Affiliation: _________________________________________________________ Postal address: _________________________________________________________ _________________________________________________________ _________________________________________________________ Phone number: _________________________________________________________ Fax number: _________________________________________________________ E-mail address: _________________________________________________________ Event registration: Deadline for Advance Registration is June 5th, 1997. Full Registration (includes proceedings & workshop) $150.00 ________ Registration without banquet (includes proceedings & workshop) $120.00 ________ Joint BISFAI/ISTCS Registration (includes BISFAI dinner Mon.) $195.00 ________ Workshop ticket (Computer Science -- the Interplay of Theory and Practice) $20.00 ________ Student Registration (includes workshop and lunch) $45.00 ________ Extra Proceedings $45.00 ________ Extra Lunch (each) $10.00 ________ Extra Conf. Banquet ticket Wed. June 18 $35.00 ________ -------------------------------------------------------------------- GRAND TOTAL ________ Prices are in US Dollars. Make all checks payable to "Bar-Ilan University Institute for Computer Science Research". Registration at the door will be available at 10-20% higher rates. Please complete and send to: ISTCS'97 Symposium Dept. of Mathematics and Computer Science, Bar-Ilan University, Ramat-Gan, Israel E-mail: research@cs.biu.ac.il Tel: (972-3-) 5318407/8 Fax: (972-3-) 5353325 -- ****************************************************** 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) From owner-theorynt@LISTSERV.NODAK.EDU Tue May 13 16:51:14 1997 Received: from CS.Stanford.EDU (CS.Stanford.EDU [171.64.64.64]) by robotics.Stanford.EDU (8.8.5/8.8.5) with ESMTP id QAA28826 for ; Tue, 13 May 1997 16:51:14 -0700 (PDT) Received: from listserv.nodak.edu (listserv.NoDak.edu [134.129.111.8]) by CS.Stanford.EDU (8.8.4/8.8.4) with ESMTP id QAA11873; Tue, 13 May 1997 16:39:41 -0700 (PDT) Received: from listserv (134.129.111.8) by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.04ED5B90@listserv.nodak.edu>; Tue, 13 May 1997 18:39:41 -0500 Received: from LISTSERV.NODAK.EDU by LISTSERV.NODAK.EDU (LISTSERV-TCP/IP release 1.8c) with spool id 182300 for THEORYNT@LISTSERV.NODAK.EDU; Tue, 13 May 1997 18:39:38 -0500 Received: from listserv (134.129.111.8) by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.02A2CF50@listserv.nodak.edu>; Tue, 13 May 1997 18:39:37 -0500 Received: from LISTSERV.NODAK.EDU by LISTSERV.NODAK.EDU (LISTSERV-TCP/IP release 1.8c) with spool id 182284 for THEORY-A@LISTSERV.NODAK.EDU; Tue, 13 May 1997 18:39:37 -0500 Received: from pollux.usc.edu by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.0055F920@listserv.nodak.edu>; Tue, 13 May 1997 18:39:33 -0500 Received: (from ierardi@localhost) by pollux.usc.edu (8.8.4/8.8.4/usc) id QAA10064 for theory-a@listserv.nodak.edu; Tue, 13 May 1997 16:39:29 -0700 (PDT) Approved-By: Doug Ierardi Approved-By: Theory-A - TheoryNet World-Wide Events Message-ID: <199704220507.IAA19867@gemini.math.tau.ac.il> Date: Tue, 13 May 1997 16:39:28 PDT Reply-To: Theory-A - TheoryNet World-Wide Events , Mansour Yishay Sender: TheoryNet List From: Mansour Yishay Subject: ISTCS 1997 Comments: To: THEORY-A@LISTSERV.NODAK.EDU To: THEORYNT@LISTSERV.NODAK.EDU X-Mozilla-Status: 0001 Content-Length: 11659 PROGRAM AND REGISTRATION INFORMATION ISTCS '97 URL: http://www.math.tau.ac.il/~mansour/istcs97 The fifth Israel Symposium on the Theory of Computing and Systems (ISTCS'97) will take place in Ramat Gan, Israel, June 17-19, 1997. This message includes: 1. The final program for ISTCS'97; 2. General information; 3. Registration form for ISTCS'97. =================================================== 1. Program ISTCS '97 -------------------- Tuesday, June 17, _________________ 8:30 -- 9:00 Registration and Coffee 9:00 -- 9:20 Effect of operators on straight line complexity Dan Boneh (Bellcore) and Richard Lipton (Princeton University) 9:20 -- 9:40 A Comparison of Resource-Bounded Molecular Computation Models Bin Fu (Yale University) and Richard Beigel (Yale University and University of Maryland) 9:40 -- 10:00 An Exact Quantum Polynomial Time Algorithm for Simon's problem Gilles Brassard (Universite de Montreal) and Peter Hoyer (Odense University) 10:00 -- 10:30 BREAK 10:30 -- 11:30 KEY NOTE SPEAKER: Andrew Yao, Princeton University On the complexity of communication under noise 11:30 -- 11:50 BREAK 11:50 -- 12:10 Approximation algorithms for MAX SAT: Yannakakis vs. Goemans-Williamson Takao Asano (Chuo University) 12:10 -- 12:30 Minimax relations for T-join packing problems Jaime Cohen (Rutgers University) and Claudio L. Lucchesi (University of Campinas) 12:40 -- 14:00 LUNCH 14:00 -- 15:00 JOINT SESSION WITH BISFAI: Michael Kearns, AT&T Labs Accuracy Amplification by Top-Down Tree Learning Algorithms 15:00 -- 15:30 BREAK 15:30 -- 15:50 Learning with Queries Corrupted by Classification Noise Jeffrey Jackson (Duquesne University), Eli Shamir (Hebrew University) and Clara Shwartzman (Hebrew University) 15:50 -- 16:10 A Modular Analysis of Network Transmission Protocols Micah Adler (ICSI and UC Berkeley), Yair Bartal (ICSI and UC Berkeley), John W. Byers (ICSI and UC Berkeley), Michael Luby (DEC/SRC) and Danny Raz (ICSI and UC Berkeley) 16:10 -- 16:30 Optimal Point-to-Point Broadcast Algorithms via Lopsided Trees Mordechai Golin (Hong Kong UST), and Assaf Schuster (Technion) 16:30 -- 16:50 Local Stabilizer Yehuda Afek (Tel-Aviv University) and Shlomi Dolev (Ben-Gurion University) Wednesday, June 18, ___________________ 8:30 -- 9:15 Registration and Coffee 9:15 -- 10:00 INVITED TALK Noga Alon, Tel-Aviv University Spectral Techniques in Graph Algorithms 10:00 -- 10:30 BREAK 10:30 -- 10:50 Stereoscopic families of permutations and their applications Uriel Feige and Robert Krauthgamer (Weizmann Institute) 10:50 -- 11:10 On the Total_k-Diameter of Connection Networks Yefim Dinitz, Tamar Eilam, Shlomo Moran, Shmuel Zaks (Technion) 11:10 -- 11:30 Exact Analysis of Exact Change Yair Frankel (Sandia National Lab.) and Boaz Patt-Shamir (Northeastern University) and Yiannis Tsiounis (Northeastern University) 11:30 -- 11:45 BREAK 11:45 -- 12:30 INVITED TALK Prabakhar Raghavan, IBM - Almaden Research Center Data mining: problems and algorithms 12:30 Lunch and transfer to Herzelia. 14:30 -- 18:15 IEEE and the 1997 Israeli Federated Computing Conference Workshop on: Computer Science -- the Interplay of Theory and Practice Workshop Program: ---------------- 14:30 -- 15:10 Compression Technology: Theory and Practice, Abraham Lempel (Hewlett-Packard Israel Science Center and Technion) 15:10 -- 15:50 Formal methods and their application to software development, Amir Pnueli (Weizmann Institute) 15:50 -- 16:10 BREAK 16:10 -- 16:50 Intelligent agents -- foundation and applications, Jeffrey S. Rosenschein (Hebrew University and AgentSoft) 16:50 -- 17:30 Algebraic complexity and its use, Shmuel Winograd (IBM T.J. Watson Research Center) 17:30 -- 18:15 Linking academy and industry, panel discussion Abraham Lempel, Hewlett-Packard Israel Science Center and the Technion David Notkin, University of Washington Amir Pnueli, Weizmann Institute Michael Rodeh (moderator), Technion and IBM Haifa Research Lab Jeffrey S. Rosenschein, Hebrew University and AgentSoft Shmuel Winograd, IBM T.J. Watson Research Center 19:00 Joint BISFAI -- ISTCS banquet The banquet will honor Professor Amir Pnueli of the Weizmann Institute who has recently received the prestigious ACM Turing Award. Thursday, June 19, _________________ 9:00 -- 9:15 Coffee 9:15 -- 10:00 INVITED TALK Yuval Rabani, Technion Universal Local Control Packet Switching Algorithms 10:00 -- 10:20 BREAK 10:20 -- 10:40 On-Line Load Balancing of Temporary Tasks on Identical Machines Yossi Azar and Leah Epstein (Tel-Aviv University) 10:40 -- 11:00 Faster Subtree Isomorphism Ron Shamir and Dekel Tsur (Tel-Aviv University) 11:00 -- 11:20 Graph Decompositions and Factorizing Permutations Christian Capelle and Michel Habib (CNRS) 11:20 -- 11:40 BREAK 11:40 -- 12:25 INVITED TALK Yossi Azar, Tel-Aviv University On-line Load Balancing 12:40 -- 14:00 LUNCH 14:00 -- 14:20 Closure Properties of GapP and #P Richard Beigel (Yale University and University of Maryland) 14:20 -- 14:40 Weak alternating automata are not that weak Orna Kupferman (UC Berkeley) and Moshe Vardi (Rice University) 14:40 -- 15:00. Commutative Queries Richard Beigel (Yale University and University of Maryland) and Richard Chang (Univrsity of Maryland Baltimore County) 15:00 -- 15:30 BREAK 15:30 - 16:15 INVITED TALK Ran Raz, Weizmann Institute A sub-constant Error Probability Low-degree test and a sub-constant Error Probability PCP characterization of NP. 16:20 -- 16:40 Optimal Query Bounds for Reconstructing a Hamiltonian Cycle in Complete Graphs Vladimir Grebinski and Gregory Kucherov (INRIA Lorraine and CRIN/CNRS) 16:40 - 17:00 Private Simultaneous Messages Protocols with Applications Yuval Ishai and Eyal Kushilevitz (Technion) 17:00 Business Meeting ======================================================================== 2. General Information ----------------------- The Symposium is part of the new Israeli Federated Computing Conference (IFCC). The IFCC also includes the Fifth Bar-Ilan Symposium on Foundations of Artificial Intelligence (BISFAI'97) on June 16-18 which will be co-located with ISTCS'97, and the Eighth Israeli Conference on Computer-Based Systems and Software Engineering (CBSE), which will be held on June 18-19 in Herzelia. For details on these conferences, follow the links on the Web page located at: http://www.cs.biu.ac.il ISTCS'97 Registration ----------------------- ISTCS'97 and BISFAI'97 lectures, are open to the public. We request participants to register by June 5th by mail, email or FAX using the form below. Advanced Registration for ISTCS'97 including the Symposium banquet, IEEE Press Conf. Proceedings, entrance to the workshop (Computer Science -- the Interplay of Theory and Practice), three lunches, and all breaks is available at $150.00. Registration without the banquet, as well as one day registration and student registration are also available. Registration at the door will be 10-20% higher. Additional event tickets and proceedings will also be available. Registration does not include transportation to the symposium events. ISTCS'97 Hotel Arrangements ---------------------------- The ISTCS'97 and BISFAI-97 will be held at the Bar-Ilan Campus in Ramat Gan. Ramat Gan is city contiguous with Tel Aviv to the east. The workshop: "Computer Science -- the Interplay of Theory and Practice", (Wed. afternoon) will take place at the Dan Acadia Hotel in Herzelia, which is immediately north of Tel Aviv. We have reserved several blocks of hotel accommodations at the Kfar Hamacabia Hotel in ramat Gan. Reservations must be made directly with the agent: Sharon Tours, attn: Mike and Danny Amir P.O.Box 2605, Ramat Gan, Israel Tel: 972-3-670-1350 FAX: 972-3-672-9219 e-mail: danny@sharon-tours.co.il while mentioning the Bar-Ilan Symposia ISTCS'97 and BISFAI'97. Kfar Hamaccabia Hotel in Ramat Gan is a first-class hotel which also has sports facilities available gratis for the Symposium participants. Bar-Ilan University is a short ride, or a half-hour walk, from this hotel. The room rate is $76 single or $94 double (including breakfast). Hotel rooms at Tel-Aviv (approximately 25 minutes drive from Bar-Ilan U.) are also available. Prices varied between $60-$120. All prices are payable in foreign currency or foreign credit card directly to Sharon Tours. Israeli residents or those paying in Israeli shekels must add 17% VAT. Hotel space may be limited, so you are advised to make reservations early. Sharon Tours will be glad to make whatever other travel or touring arrangements you may require. ISTCS'97 Local Arrangements: ----------------------------- For questions concerning local arrangements and organization contact: ISTCS'97 Symposium Dept. of Mathematics and Computer Science, Bar-Ilan University, Ramat-Gan, Israel E-mail: research@cs.biu.ac.il Tel: (972-3-) 5318407/8 Fax: (972-3-) 5353325 Looking forward to seeing you at the ISTCS'97 in Israel. =============================== REGISTRATION FORM ===================== ISTCS '97 -- REGISTRATION FORM June 17-19, 1997 Bar-Ilan University, Ramat-Gan, Israel Name: _________________________________________________________ Affiliation: _________________________________________________________ Postal address: _________________________________________________________ _________________________________________________________ _________________________________________________________ Phone number: _________________________________________________________ Fax number: _________________________________________________________ E-mail address: _________________________________________________________ Event registration: Deadline for Advance Registration is June 5th, 1997. Full Registration (includes proceedings & workshop) $150.00 ________ Registration without banquet (includes proceedings & workshop) $120.00 ________ Joint BISFAI/ISTCS Registration (includes BISFAI dinner Mon.) $195.00 ________ Workshop ticket (Computer Science -- the Interplay of Theory and Practice) $20.00 ________ Student Registration (includes workshop and lunch) $45.00 ________ Extra Proceedings $45.00 ________ Extra Lunch (each) $10.00 ________ Extra Conf. Banquet ticket Wed. June 18 $35.00 ________ -------------------------------------------------------------------- GRAND TOTAL ________ Prices are in US Dollars. Make all checks payable to "Bar-Ilan University Institute for Computer Science Research". Registration at the door will be available at 10-20% higher rates. Please complete and send to: ISTCS'97 Symposium Dept. of Mathematics and Computer Science, Bar-Ilan University, Ramat-Gan, Israel E-mail: research@cs.biu.ac.il Tel: (972-3-) 5318407/8 Fax: (972-3-) 5353325