ariel@bimacs.BITNET (Ariel J. Frank) (08/06/89)
International Symposium on Artificial Intelligence and Mathematics January 3-5, 1990 Fort Lauderdale, Florida Program Chair: Martin Golumbic, IBM Science and Technology, Haifa, Israel (email: golumbic@israearn.bitnet) Organizing Chair: Frederick Hoffman, Florida Atlantic University, Boca Raton (email: hoffmanf@servax.bitnet) The International Symposium on Artificial Intelligence and Mathematics is the first of a biennial series featuring applications of mathematics in artificial intelligence as well as artificial intelligence techniques and results in mathematics. There has always been a strong relationship between the two disciplines, however, the contact between practitioners of each has been limited, partly by the lack of a forum in which the relationship could grow and flourish. This symposium, alternating with the existing series of Workshops on Statistics and AI, represents a small step towards improving contacts and promoting cross-fertilization between the two areas. Keynote speaker: David Mumford, Harvard University "Finding Discrete Structure in a Noisy Analogue World" Invited Hour Speakers Martin Davis, Courant Institute, NYU "Remarks on the Foundations of Artificial Intelligence" Zohar Manna, Stanford University "Automated Deduction--Techniques and Applications" Drew McDermott, Yale University "Numerical Methods in Artificial Intelligence" Alan Robinson, Syracuse University "Artificial and Natural Proofs in Mathematics" Leslie Valiant, Harvard University "Computational Learning Theory" Approach of the Symposium The symposium will be of interest to an audience of both computer scientists and mathematicians. The number of contributed papers will be quite limited, with several invited special sessions organized by members of the program committee. Those wishing to present a paper at the Symposium may be recommended to the program chairman by a member of the program committee or by the invited hour speakers up to October 20, 1989. Publication Authors will be invited to submit, within one month after the Symposium, a final full length version of their paper, to be considered for inclusion in a thoroughly refereed volume of the series, Annals of Mathematics and Artificial Intelligence. Program Committee: Jean-Pierre Adam, IBM Paris Scientific Center Sanjaya Addanki, IBM Research Norman Foo, University of Sydney Mark Fox, Carnegie Mellon University William Gale, AT&T Bell Laboratories Peter Hammer, RUTCOR, Rutgers University Jean-Louis Lassez, IBM Research Hector Levesque, University of Toronto Wiktor Marek, University of Kentucky Anil Nerode, Cornell University Christos Papadimitriou, University of California, San Diego Tomaso Poggio, MIT Other members of the Editorial Board of "Mathematics and Artificial Intelligence" Woodrow Bledsoe, University of Texas Harvey Greenberg, University of Colorado Larry Henschen, Northwestern University Robert Hummel, Courant Institute, NYU Toshihide Ibaraki, Kyoto University R.C.T. Lee, National Tsing Hua University Jack Minker, University of Maryland Maurice Nivat, Universite de Paris Judea Pearl, University of California, Los Angeles F.J. Radermacher, Universitat Passau Michael Richter, Universitat Kaiserslautern Ronald Rivest, MIT Dana Scott, Carnegie Mellon University Micha Sharir, Courant Institute, NYU Andrew Whinston, Purdue University H.P. Williams, University of Southampton Functions and Lodging: An early arrivers reception (cash bar) on the evening of January 2 and a banquet on Thursday January 4 are included in the registration fee. Beverage service for morning and afternoon breaks is also included. A block of rooms has been reserved through December 1, 1989 at the Pier 66 Hotel, Ft. Lauderdale, FL 33316, USA. Rooms are available at the Symposium rate of approx. $67.00 per night single or double. Reservations for this block must be made directly with the hotel by December 1, 1989 mentioning the name of the symposium. The hotel is 5 minutes from the beach and can be reached by courtesy bus. Registration: Advanced registration can be done by mail, telephone, FAX or email by December 1, 1989. The advanced registration fee is $130.00 and can be paid by check or major credit card. Registration fee after December 1 will be $160.00. Discounts are available for students registering early only. Fees must be paid in U.S. dollars and made payable to "Florida Atlantic University". Refunds (less $10) will be honored only for cancellations received by December 1, 1989. Sponsors: The symposium is sponsored by Florida Atlantic University and IJCAI. Additional funding is pending. Partial travel subsidies may be available to young researchers. ------------------------------------------------------------------ REGISTRATION FORM -- Please print Name: ________________________________________________________ Affiliation: _________________________________________________ Address: _____________________________________________________ _____________________________________________________ Electronic mail: ____________________________________________ ___ Advanced registration $130.00 (by Dec. 1, 1989) ___ Advanced student registration $60.00 (by Dec. 1, 1989) ___ Regular registration $160.00 (after Dec. 1, 1989) Please return to: Dr. Fred Hoffman, Organizing Chair Int'l Symp. on Artificial Intelligence and Mathematics Department of Mathematics Florida Atlantic University, Boca Raton, Florida 33431, U.S.A. Telephone: (407) 367-3345 email: hoffmanf@servax.bitnet -- Ariel J. Frank Deputy Chairperson, Dept. of Mathematics and Computer Science Bar Ilan University, Ramat Gan, Israel 52100 Tel: (972-3) 5318407/8 BITNET: ariel@bimacs (also F68388@barilan) ARPA: ariel%bimacs.bitnet@cunyvm.cuny.edu CSNET: ariel%bimacs.bitnet%cunyvm.cuny.edu@csnet-relay UUCP: uunet!mcvax!humus!bimacs!ariel