From owner-theorynt@LISTSERV.NODAK.EDU Wed Apr 23 14:44:31 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 OAA00579 for ; Wed, 23 Apr 1997 14:44:31 -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 OAA15120; Wed, 23 Apr 1997 14:33:37 -0700 (PDT) Received: from listserv (134.129.111.8) by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.6470AEE0@listserv.nodak.edu>; Wed, 23 Apr 1997 16:21:26 -0500 Received: from LISTSERV.NODAK.EDU by LISTSERV.NODAK.EDU (LISTSERV-TCP/IP release 1.8c) with spool id 789547 for THEORYNT@LISTSERV.NODAK.EDU; Wed, 23 Apr 1997 16:21:22 -0500 Received: from listserv (134.129.111.8) by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.621B8A60@listserv.nodak.edu>; Wed, 23 Apr 1997 16:21:22 -0500 Received: from LISTSERV.NODAK.EDU by LISTSERV.NODAK.EDU (LISTSERV-TCP/IP release 1.8c) with spool id 789538 for THEORY-A@LISTSERV.NODAK.EDU; Wed, 23 Apr 1997 16:21:22 -0500 Received: from pollux.usc.edu by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.3786F780@listserv.nodak.edu>; Wed, 23 Apr 1997 16:20:11 -0500 Received: (from ierardi@localhost) by pollux.usc.edu (8.8.4/8.8.4/usc) id OAA16670 for theory-a@listserv.nodak.edu; Wed, 23 Apr 1997 14:01:39 -0700 (PDT) Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Approved-By: Doug Ierardi Approved-By: Theory-A - TheoryNet World-Wide Events Message-ID: Date: Wed, 23 Apr 1997 14:01:38 PDT Reply-To: Theory-A - TheoryNet World-Wide Events , "Prof. Martin GOLUMBIC" Sender: TheoryNet List From: "Prof. Martin GOLUMBIC" Subject: [Theory-A] BISFAI'97, cfp Comments: To: THEORY-A@LISTSERV.NODAK.EDU To: THEORYNT@LISTSERV.NODAK.EDU X-Mozilla-Status: 0001 Content-Length: 14067 ****** CALL FOR PARTICIPATION ****** BISFAI'97 The Fifth Bar-Ilan Symposium on Foundations of Artificial Intelligence Focusing on Intelligent Agents June 16-18, 1997 Bar-Ilan University, Ramat Gan, Israel in cooperation with Gelbart Institute for Mathematical Sciences The Leibniz Center for Research in Computer Science American Association for Artificial Intelligence Israeli Ministry of Science To BISFAI'97 Prospective Participants ------------------------------------- The focus of BISFAI'97 is on Intelligent Agents. The Symposium will, however, retain its broad scope. It includes high quality research papers in various areas of Artificial Intelligence, including machine learning, automated reasoning, knowledge representation, neural nets, and natural language processing, among others. The Symposium is part of the new Israeli Federated Computing Conference (IFCC). The IFCC also includes the Eighth Israeli Conference on Computer-Based Systems and Software Engineering (CBSE), sponsored by the "IEEE Computer Society, Israel Section", which will be held June 18-19, and the Fifth Israeli Symposium on Theory of Computing and Systems (ISTCS'97), which will be held June 17-19. For details on this conference, see the Web page located at: http://www.math.tau.ac.il/~mansour/istcs97/ BISFAI'97 Schedule Outline -------------------------- The scientific program includes six invited speakers and 21 contributed papers reviewed and selected by the program committee. Each one of the invited speakers has chosen a topic which is central to his scientific work and interests over the years. With these invited speakers and the mix of contributed papers, we expect to have a highly interesting symposium. The outline of the conference schedule is as follows: Monday June 16: Morning and afternoon sessions at Bar-Ilan University. Monday evening: Conference dinner in Jaffa. Tuesday June 17: Morning and afternoon sessions at Bar-Ilan University. (lunch and afternoon invited speaker shared with ISTCS.) Tuesday evening: Free Wednesday June 18: Morning and invited speaker session at Bar-Ilan University. Wednesday afternoon: Transfer to Herzlia for the IEEE CS 1997 IFCC Workshop: Computer Science -- The Interplay of Theory and Practice Wednesday evening: The joint BISFAI/ISTCS Banquet will honor Professor Amir Pnueli of the Weizmann Institute upon his receiving the prestigious ACM Turing Award. Distinguished Invited Speakers: C. Boutilier (U. of British Columbia) "Stochastic Sequential Decision Problems: What AI has to Offer" M. Kearns (AT&T) "Accuracy Amplification by Top-Down Decision Tree Learning Algorithms" J. Rosenschein(Hebrew University and AgentSoft) "Intelligent Agents -- Foundation and Applications" Y. Shoham (Stanford U.) "From MS Office Assistant (TM, 97) to von Neumann and Morgenstern (no TM, 47)" P. Struss (Technical University of Munich) "Model-based Diagnosis of Physical Systems" W. Wahlster (DFKI GmbH) "Personalized Interface Agents" BISFAI'97 Full Schedule ----------------------- Monday, June 16 8:00 --9:00 Conference registration 9:00 --9:05 Greetings 9:05 -- 10:05 Invited Talk 1 W. Wahlster (DFKI GmbH) "Personalized Interface Agents" 10:05 -- 10:30 Coffee Break 10:30 -- 12:30 Morning Paper Session 1 "Bidding Mechanisms for Data Allocation in Multi-agent Environments" Rina Schwartz and Sarit Kraus (Bar-Ilan U.) "CATS: An Architecture for Scalable Intelligent Agent Applications" Philip Emmerman (Army Research Lab), James Hendler and V. S. Subrahmanian (U. of Maryland) 11:20 -- 11:40 Short Break "The Lifestyle Finder Agent: Intelligent User Profiling using Large-scale Demographic Data" Bruce Krulwich (AgentSoft, Israel). "Agents for Individualized Instruction Using Distributed Resources" Jacqueline A. Haynes, Michael Miller, and L. Jay Wantz Intelligent Automation, Inc., Rockville, MD, USA 12:30 -- 14:00 Lunch 14:00 -- 15:00 Invited Talk 2 Yoav Shoham (Stanford U.) "From MS Office Assistant (TM, 97) to von Neumann and Morgenstern (no TM, 47)" 15:00 -- 15:30 Coffee Break 15:30 -- 17:50 Afternoon Paper Session 1 "A Coordination Protocol for Abductive Logic Agents" A. Ciampolini, E. Lamma, P. Mello, and C. Stefanelli (U. di Bologna) "A Formal Framework for Accountable Agent Interactions" Carles Sierra and Pablo Noriega (IIIA-CSIC, Spain) 16:20 -- 16:40 Short Break "NetNeg: A Hybrid Interactive Architecture for Composing Polyphonic Music in Real-time" Claudia Goldman, Dan Gang, Jeffrey Rosenschein, and Daniel Lehmann (Hebrew U.) "Musag: An Agent that Learns What You Mean" Claudia Goldman, Amir Langer and Jeffrey Rosenschein (Hebrew U.) "Moving up the Information Chain: Deploying Softbots on the World Wide Web" Oren Etzioni (U. of Washington) 19:00 -- Conference dinner Tuesday, June 17 9:00 -- 10:00 Invited Talk 3 Craig Boutilier (U. of British Columbia) "Stochastic Sequential Decision Problems: What AI has to Offer" 10:00 -- 10:30 Coffee Break 10:30 -- 12:30 Morning Paper Session 2 "Similarity-based Methods for Word Sense Disambiguation" Ido Dagan, Lillian Lee, and Fernando Pereira (Bar-Ilan U.) "Ellipsis in a Typed Feature Structure Grammar" Howard Gregory and Shalom Lappin (U. of London) 11:20 -- 11:40 Short Break "Using Lexical Chains for Text Summarization" Regina Barzilai and Michael Elhadad (Ben-Gurion U.) "Introspective and Elaborative Processes in Communicating Rational Agents" Charlie Ortiz (Harvard U.) 12:30 -- 14:00 Lunch (joint with ISTCS) 14:00 -- 15:00 Invited Talk 4 (joint with ISTCS) Michael Kearns (AT&T) "Accuracy Amplification by Top-Down Decision Tree Learning Algorithms" 15:00 -- 15:30 Coffee Break 15:30 -- 17:30 Afternoon Paper Session 2 "Mini-Buckets: A General Scheme of Generating Approximations in Automated Reasoning" Rina Dechter (UC Irvine) "STCSP -- Structured Temporal Constraint Satisfaction Problems" Mira Balaban and Tzachi Rozen (Ben Gurion U.) 16:20 -- 16:40 Short Break "A Practical Algorithm for Finding Optimal Triangulations" Kirill Shoikhet and Dan Geiger (Technion) "Real-time Intelligent Set-Point Controllers for Uncertain Models of Mechanical Manipulators Driven by Brush DC Motors" Amit Ailon (Kwangju Institute, Korea) Wednesday, June 18 8:00 --9:00 Conference registration 9:00 --9:05 Greetings 9:05 -- 10:05 Invited Talk 5 Peter Struss (Technical University of Munich) "Model-based Diagnosis of Physical Systems" 10:05 -- 10:30 Coffee Break 10:30 -- 12:30 Morning Paper Session 3 "A Logic for Reasoning about Goal-Directed Behavior" Erik Sandewall (Linkoping U.) "A Note on the Stable Model Semantics for Logic Programs" Michael Kaminski (Technion) 11:20 -- 11:40 Short Break "Environments as Extensions of Internal Representations" Zippora Arzi-Gonczarowski (Typographics, Israel) "On-line vs. Off-line Exploration of Repeated Tasks" Shlomo Argamon-Engelson, S. Kraus, and S. Sina (Bar-Ilan and U. of Maryland) 12:30 -- 12:40 Closing Remarks 13:00 -- Transfer to Herzlia for IEEE CS 1997 IFCC Workshop: "Computer Science -- The Interplay of Theory and Practice" 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 Coffee Break 16:10 -- 16:50"Intelligent Agents -- Foundation and Applications" Jeffrey 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:15Panel Discussion: "Linking Academy and Industry" Abraham Lempel, Hewlett-Packard Israel Science Center and Technion David Notkin, University of Washington Amir Pnueli, Weizmann Institute Michael Rodeh (moderator), Technion and IBM Haifa Research Lab Jeffrey Rosenschein, Hebrew University and AgentSoft Shmuel Winograd, IBM T. J. Watson Research Center 19:00 -- The joint BISFAI/ISTCS Banquet honoring Professor Amir Pnueli of the Weizmann Institute upon his receiving the prestigious ACM Turing Award. BISFAI'97 Registration ---------------------- There is no fee for attending BISFAI'97 lectures, which are open to the public. However, we request participants to register by June 5th so we can plan for enough refreshments and abstract proceedings. Participants are expected to pay for symposium events separately. A full event package is available at $120 and includes abstract booklet and all events (it does not include cost of transportation to and from events). Individual event tickets are also available in advance on the following basis: Lunch $30.00 (3 lunches @ $10 each) Conference dinner Mon. June 16 $35.00 IFCC Herzlia CS Workshop Wed. June 18 $20.00 Joint BISFAI-ISTCS Banquet Wed. June 18 $35.00 Late registration and event tickets may be arranged at the door. BISFAI'97 Hotel Arrangements ---------------------------- The BISFAI'97 will be held at the Bar-Ilan Campus in Ramat Gan (June 16-18). Ramat Gan is a city near Tel Aviv. The symposium banquet (evening of Mon. June 16) will be held at the Shirat Hayam restaurant, Jaffa. The Joint BISFAI-ISTCS Banquet (evening of Wed. June 18) will be held at the Dan Acadia Hotel in Herzlia. We have reserved several blocks of hotel accommodations. 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 Symposium 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 vary 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. BISFAI'97 Student Travel Grants ------------------------------- A limited number of grants for partial support will be available for graduate students and postdocs. Those interested in applying for such a grant should send (1) a short statement about their research and (2) the name of at least one faculty member who can recommend them, to: Prof. Sarit Kraus BISFAI'97 Symposium Dept. of Mathematics and Computer Science Bar-Ilan University, Ramat Gan, Israel E-mail: sarit@cs.biu.ac.il Fax: +972-3-535-3325 The deadline for grant requests is May 10, 1997. BISFAI'97 Local Arrangements: ----------------------------- For questions concerning local arrangements and organization contact: Dr. Ariel Frank BISFAI'97 Symposium Dept. of Mathematics and Computer Science, Bar-Ilan University, Ramat Gan, Israel E-mail: bisfai@cs.biu.ac.il Tel: +972-3-5318407/8 Fax: +972-3-5353325 For the latest information check at: http://www.cs.biu.ac.il/~schwart/bisfai97.html We are all looking forward to seeing you at BISFAI'97 in Israel. Sarit Kraus Leo Joskowicz Daniel Lehmann =============================== REGISTRATION FORM ================================== BISFAI'97 -- REGISTRATION FORM The Fifth Bar-Ilan Symposium on Foundations of Artificial Intelligence June 16-18, 1997 Bar-Ilan University, Ramat Gan, Israel Name: _________________________________________________________ Affiliation: _________________________________________________________ Postal address: _________________________________________________________ _________________________________________________________ _________________________________________________________ Phone number: _________________________________________________________ Fax number: _________________________________________________________ E-mail address: _________________________________________________________ Event registration: # of tickets TOTAL Lunch (each)- $10.00 Conference dinner Mon. June 16. $35.00 IFCC Herzlia CS Workshop Wed. June 18. $20.00 Joint BISFAI-ISTCS Banquet 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". Please complete and send to: BISFAI'97 Symposium Dept. of Mathematics and Computer Science, Bar-Ilan University, Ramat Gan, Israel E-mail: bisfai@cs.biu.ac.il Tel: +972-3-5318407/8 Fax: +972-3-5353325 =====================================================================================