ariel@bimacs.bitnet (Ariel J. Frank) (08/24/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
--
Someday has arrived