Fourth International Symposium on
                         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

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



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

TO:       Email (postscript):

          Or, send five copies to 
               Bart Selman
               AT&T Bell Laboratories, Room 2T-414
               600 Mountain Avenue
               Murray Hill, NJ 07974
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.


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.


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: or hoffman@fauvax.bitnet

Back to AI/MATH-96 home page.