Xref: utzoo news.announce.conferences:1503 comp.ai:8402 Path: utzoo!utgpu!watserv1!watmath!att!pacbell.com!ames!sun-barr!cs.utexas.edu!samsung!spool2.mu.edu!uunet!tekbspa!denny From: ariel@bimacs.biu.ac.il (Ariel J. Frank) Newsgroups: news.announce.conferences,comp.ai Subject: Bar-Ilan Symposium on the Foundations of Artificial Intelligence Keywords: AI, foundations, symposium Message-ID: <1991Jan16.013528.11460@tss.com> Date: 16 Jan 91 01:35:28 GMT Expires: 01 Mar 1991 Sender: denny@tss.com (Denny Page) Organization: Math & CS, BarIlan U, Ramat-Gan, Israel Lines: 166 Approved: denny@tss.com **** BISFAI-91 *** Bar-Ilan Symposium on the Foundations of Artificial Intelligence Bar-Ilan University Ramat Gan, Israel 16-19 June 1991 Bar-Ilan University is pleased to announce its second Symposium on the Foundations of Artificial Intelligence (BISFAI-91). The Symposium is international in scope, with invited lectures by leading researchers and contributed papers on foundations of AI. A special track on theoretical issues in Natural Language Processing (NLP) will be held on the opening day. .............. CALL FOR PAPERS .............. High quality research papers are solicited for consideration by the program committee to be presented at the Symposium. Submissions of extended abstracts of 4-10 pages or full papers must arrive by 1 March 1991 and should be sent in triplicate as follows: General session: Special track on theoretical issues in NLP: Dr. Moshe Koppel Mori Rimon Department of Mathematics Institute of Mathematics and Computer Science and Computer Science The Hebrew University Bar-Ilan University Ross Building, Givat Ram Ramat Gan, Israel, 52900 Jerusalem, Israel, 91904 (E-mail: koppel@bimacs.bitnet) (E-mail: rimon@humus.bitnet) Decisions on presentations will be made on or before 15 April 1991. .............. INVITED LECTURES .............. Hans Berliner (Carnegie Mellon University) New Perspectives on Search Ernie Davis (Courant Institute) Zeno's Revenge: Infinite Loops in Finite Time Martin Golumbic (IBM Israel and Bar-Ilan University) Mathematics in Artificial Intelligence Monique Pavel (Univ. Paris) Mathematics in Pattern Recognition Stanley Peters (Stanford University) Computationally Relevant Properties of Linguistic Systems ............ REFEREED PROCEEDINGS ........... Selected refereed full length theory papers will be published in the special issue of the Annals of Mathematics and Artificial Intelligence, and application oriented papers in a volume of Advances in Artificial Intelligence, Natural Language and Knowledge-based Systems - II, as a permanent record of the Symposium. These should be submitted shortly after the conclusion of the Symposium. ............ SYMPOSIUM INFORMATION .......... This biennial event focuses on a range of topics of concern to scholars applying quantitative, combinatorial, logical, algebraic and algorithmic methods to AI areas as diverse as decision support, automatic reasoning, knowledge-based systems, machine learning, computational linguistics, computer vision, and robotics. These include applied logicians, algorithms and complexity researchers, AI theorists, and applications specialists using mathematical methods. Although a small meeting is anticipated, with selected speakers and no parallel sessions, an attempt will be made to open attendance to all interested research scientists. For further information on the Symposium and to receive additional announcements, contact Dr. Ariel Frank, BISFAI-91 Organizing Chair Department of Mathematics and Computer Science Bar-Ilan University, Ramat Gan, Israel, 52900 E-mail: ariel@bimacs.bitnet Tel: 972-3-5318407/8 Fax: 972-3-5351824 Hotel accommodations will be reserved at the Kfar Hamaccabia Hotel in Ramat Gan. The hotel has sports facilities available gratis for the Symposium participants. The Symposium itself will take place at the University, which is a short ride, or a half-hour walk, from the hotel. E-mail accounts at Bar-Ilan will be available to all participants. Sponsored by: Abraham and Sarah Gelbart Research Institute for Mathematical Sciences, Bar-Ilan University, Israel, with support of Ministry of Science and Technology, Jerusalem, Israel. Symposium Chair: Martin Golumbic Program Chair: Moshe Koppel Organizing Chair: Ariel Frank NL session Chair: Mori Rimon Program Committee: Gideon Ariely (Ministry of Science and Technology, Israel) Yaacov Choueka (Bar-Ilan University) Rina Dechter (Technion and UCLA) Ariel Frank (Bar-Ilan University) Dov Gabbay (Imperial College) Martin Golumbic (IBM Israel Scientific Center) Joe Halpern (IBM Almaden Research Center) David Harel (Weizmann Institute) Jeff Johnson (Open University, England) Moshe Koppel (Bar-Ilan University) Daniel Lehmann (Hebrew University) David Makinson (France) Jack Minker (University of Maryland) Leora Morgenstern (IBM Watson Research Center) Judea Pearl (UCLA) Michael Richter (University of Kaiserslautern) Mori Rimon (IBM Israel and Hebrew University) Jeff Rosenschein (Hebrew University) Uri Schild (Bar-Ilan University) Micha Sharir (New York University and Tel Aviv University) Stephen Smith (Carnegie Mellon University) Jonathan Stavi (Bar-Ilan University) ======================================================================= ******** PLEASE RETURN THIS FORM ******** Dr. Ariel Frank, BISFAI-91 Organizing Chair Department of Mathematics and Computer Science Bar-Ilan University, Ramat Gan, Israel (E-mail: ariel@bimacs.bitnet) Name: ________________________________________________________ Affiliation: _________________________________________________ Address: _____________________________________________________ E-mail: _____________________________________________________ _____ I plan to attend the Bar-Ilan Symposium, June 16-19, 1991. _____ Please send me all additional announcements. _____ Please send me only the final announcement in May 1991. _____ I plan to submit an abstract/paper to BISFAI-91. -- Ariel J. Frank Deputy Chairperson, Dept. of Mathematics and Computer Science Bar Ilan University, Ramat Gan, Israel 52900 Tel: (972-3-) 5318407/8, Fax: (972-3-) 5351824 AMIX (Israeli UNIX user group) Chairperson Tel: (972-3-) 715770/2, Fax: (972-3-) 5744374 BITNET: ariel@bimacs (also F68388@barilan) INTERNET: ariel@bimacs.biu.ac.il CSNET: ariel%bimacs.bitnet%cunyvm.cuny.edu@csnet-relay UUCP: ...uunet!mcvax!humus!bimacs!ariel Brought to you by Super Global Mega Corp .com