Call for Papers BISFAI-01 June 25-27, 2001, Israel Seventh Bar-Ilan International Symposium on the Foundations of Artificial Intelligence HONORING: Yaacov Choueka The seventh biennial Bar-Ilan International Symposium on the Foundations of Artificial Intelligence, will be held on June 25-27, 2001 in Ramat Gan, Israel. The meeting will honor the research and accomplishments of Yaacov Choueka and will therefore place special emphasis on natural language processing and computational linguistics. Invited Speakers: Yaacov Choueka Jieh Hsiang Daphne Koller Richard Korf Doug Lenat Moshe Vardi We solicit papers on substantial research in all areas of Artificial Intelligence, including, but not limited to the following: foundations natural language processing searching knowledge representation automated reasoning computational linguistics planning information retrieval machine learning temporal reasoning robotics knowledge-based systems data mining AI algorithms intelligent agents probabilistic reasoning Updates to this announcement and links to the previous symposia can be found at the BISFAI website: www.cs.biu.ac.il/~bisfai Submission Guidelines: Extended abstracts should be 6-12 pages in length, including references and figures. Submissions should be made electronically, as attachments in Postscript or PDF format. Click at the website to submit. The official proceedings will be web-based and made available at the BISFAI website. System Demonstrations: We also solicit proposals for demonstrations of innovative applications of artificialintelligence, of length 1-2 pages. Click at the website to submit. Special Issue: Selected papers will be reviewed for journal publication in Annals of Mathematics and Artificial Intelligence. Multiple Submissions: Papers may be submitted to BISFAI even if submitted to other conferences or journals, because the BISFAI website is not archival. Of course, if a paper is accepted at an archival conference such as AAAI or IJCAI and also presented at BISFAI, this paper must be substantially revised and/or extended for consideration for journal publication. Previously presented or published papers are unacceptable. The BISFAI-01 program and schedule will be available online. Abstracts of invited and accepted papers will be made available on the abstracts page, with pointers to online versions of the paper, when available at the BISFAI website: www.cs.biu.ac.il/~bisfai Important Dates: March 2, 2001 Paper submission deadline April 22, 2001 Notification of acceptance May 25, 2001 Revised versions due June 25-27, 2001 BISFAI conference Symposium Committee: Symposium co-Chairs: Martin C. Golumbic golumbic@cs.biu.ac.il Sarit Kraus sarit@cs.biu.ac.il Program Chair: Nachum Dershowitz nachumd@tau.ac.il Organization Chair: Ariel Frank ariel@cs.biu.ac.il Program Committee: Rachel Ben-Eliyahu (Ben-Gurion U.) Sarit Kraus (Bar-Ilan U.) Rina Dechter (U.C. Irvine) Nada Lavrac (Jozef Stefan Inst) Nachum Dershowitz (Tel-Aviv U.) Jeff Rosenschein (Hebrew U.) Michael Elhadad (Ben-Gurion U.) Dan Roth (U. of Illinois) Yishai Feldman (Interdisciplinary Ctr.) Onn Shehory (IBM Israel) Nissim Francez (Technion) Lou Steinberg (Rutgers U.) Shmuel Klein (Bar-Ilan U.) Shlomo Zilberstein (U. Mass.) Further Information or Requests: Nachum Dershowitz Ariel Frank Program Chair Organization Chair School of Computer Science Department of Math and Computer Science Tel Aviv University Bar-Ilan University Ramat Aviv, Tel Aviv 69978 Ramat Gan, 52900 Israel Israel Tel.: [+972] 3-640-5356 Tel.: [+972] 3-531-7780 Fax.: [+972] 3-640-9357 Fax.: [+972] 3-535-3325 Email: nachumd@tau.ac.il Email: ariel@cs.biu.ac.il