FINAL CALL FOR PAPERS

                   Fourth International Symposium on
               ---------------------------------------
               ARTIFICIAL INTELLIGENCE AND MATHEMATICS
               ---------------------------------------
                         January 3-5, 1996,
               Marina Marriott, Fort Lauderdale, Florida

                            General Chair:
            Martin Golumbic, Bar-Ilan University, Ramat Gan

                           Conference Chair:
            Frederick Hoffman, Florida Atlantic University

                          Program co-chairs:
                     Henry Kautz and Bart Selman
                          AT&T Bell Labs

                            Publicity Chair:
             Ugur Halici, Middle East Technical University

                           Program Committee:

      Fahiem Bacchus (Waterloo) * Rachel Ben-Eliyahu (Technion)
 Endre Boros (Rutgers) * Alan Bundy (Edinburgh) * Marco Cadoli (Rome)
 James Crawford (Oregon) * Ernest Davis (NYU) * Rina Dechter (Irvine)
Boi Faltings (EPFL) * Melvin Fitting (CUNY) * Eugene Freuder (New Hampshire)
Erol Gelenbe (Duke) * Matt Ginsberg (Oregon) * Georg Gottlob (Vienna)
Russell Greiner (Siemens) * Adam Grove (NEC) * Joseph Halpern (Almaden)
      Leo Joskowicz (Yorktown Heights) * Helene Kirchner (Nancy)
Daphne Koller (Berkeley) * Richard Korf (UCLA) * Gerhard Lakemeyer (Bonn)
   Jean-Louis Lassez (Yorktown Heights) * Maurizio Lenzerini (Rome)
Hector Levesque (Toronto) * Alon Levy (Bell Labs) * Vladimir Lifschitz (Texas)
Alan Mackworth (UBC) * Witkor Marek (Kentucky) * Steven Minton  (NASA Ames)
Pandurang Nayak (NASA Ames) * Bernhard Nebel (Ulm) * Anil Nerode (Cornell)
Ilkka Niemela (Helsinki) * Christos Papadimitriou (UCSD) * Jan Plaza (Miami)
     Teodor Przymusinski (UC Riverside) * Mauricio Resende (Bell Labs)
Stuart Russell (Berkeley) * Elisha Sacks (Purdue) * Robert Schapire (Bell Labs)
Yoav Shoham (Stanford) * Mark Stickel (SRI) * Moshe Tennenholtz (Technion)
Leslie Valiant (Harvard) * Moshe Vardi (Rice) * Pierre Wolper (Liege)

                        APPROACH OF THE SYMPOSIUM

The International Symposium on Artificial Intelligence and Mathematics
is the fourth of a biennial series. Our goal is to foster interactions
among mathematics, theoretical computer science, and artificial
intelligence.

The meeting includes paper presentation, invited speakers, and special
topic sessions.  Topic sessions in the past have covered computational
learning theory, nonmonotonic reasoning, and computational complexity
issues in AI.

The editorial board of the Annals of Mathematics and Artificial
Intelligence serves as the permanent organizing committee for the
series.

                          SUBMISSIONS 

DEADLINE: SEPTEMBER 15th, 1995

FORMAT:   Extended abstracts (up to 10 double-spaced pages).

TO:       Email (postscript): selman@research.att.com

          Or, send five copies to 
               Bart Selman
               AT&T Bell Laboratories, Room 2T-414
               600 Mountain Avenue
               Murray Hill, NJ 07974
               USA
Authors will be notified of acceptance or rejection on October 14th,
1995. 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, J.C. Baltzer Scientific
Publishing Co.

                              SPONSORS

The Symposium is partially supported by the Annals of Math and AI,
Florida Atlantic University, and the Florida- Israel Institute.  Other
support is pending. Partial travel subsidies may be available to
junior researchers.

                            INFORMATION

For further information and future announcements contact:

			  Frederick Hoffman,
				   
       Florida Atlantic University, Department of Mathematics,
		PO Box 3091, Boca Raton, FL 33431, USA
	 E-mail: hoffman@acc.fau.edu or hoffman@fauvax.bitnet

Back to AI/MATH-96 home page.