From owner-dma-list@NIC.SURFNET.NL Wed May 21 04:37:04 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 EAA23755; Wed, 21 May 1997 04:37:04 -0700 (PDT) Received: from hearnnt.nic.surfnet.nl (hearnnt.nic.surfnet.nl [192.87.5.133]) by CS.Stanford.EDU (8.8.4/8.8.4) with ESMTP id EAA06176; Wed, 21 May 1997 04:36:13 -0700 (PDT) Received: from hearnnt (192.87.5.133) by hearnnt.nic.surfnet.nl (LSMTP for Windows NT v1.1a) with SMTP id <0.81F4DF40@hearnnt.nic.surfnet.nl>; Wed, 21 May 1997 13:33:03 +0200 Received: from NIC.SURFNET.NL by NIC.SURFNET.NL (LISTSERV release 1.8c) with NJE id 3286 for DMA-LIST@NIC.SURFNET.NL; Wed, 21 May 1997 13:36:26 +0200 Received: from HEARN (NJE origin SMTP@HEARN) by HEARN.NIC.SURFNET.NL (LMail V1.2c/1.8c) with BSMTP id 8538; Wed, 21 May 1997 13:36:23 +0200 Received: from relay.surfnet.nl by HEARN.nic.SURFnet.nl (IBM VM SMTP V2R2) with TCP; Wed, 21 May 97 13:36:05 +0200 Received: from utmfu6.math.utwente.nl by relay with SN-SMTP (PP) with ESMTP; Wed, 21 May 1997 13:34:13 +0200 Received: from utmfu0.math.utwente.nl (utmou1.math.utwente.nl) by utmfu6.math.utwente.nl with ESMTP (1.40.112.8/16.2) id AA229304446; Wed, 21 May 1997 13:34:07 +0200 Received: by utmfu0.math.utwente.nl ($Revision: 1.36.108.11 $/16.2) id AA188774445; Wed, 21 May 1997 13:34:05 +0200 Mailer: Elm [revision: 66.36.1.1] Approved-By: DMANET Message-ID: <199705211134.AA188774445@utmfu0.math.utwente.nl> Date: Wed, 21 May 1997 13:34:04 METDST Reply-To: kogan@rutcor.rutgers.edu Sender: DMANET From: DMANET Subject: 5th AI and MATH Symposium, 1st CFP To: DMA-LIST@NIC.SURFNET.NL X-Mozilla-Status: 0001 Content-Length: 5420 FIRST CALL FOR PAPERS Fifth International Symposium on --------------------------------------- ARTIFICIAL INTELLIGENCE AND MATHEMATICS --------------------------------------- January 4-6, 1998, Fort Lauderdale, Florida http://rutcor.rutgers.edu/~amai Email: amai@rutcor.rutgers.edu APPROACH OF THE SYMPOSIUM ------------------------- The International Symposium on Artificial Intelligence and Mathematics is the fifth 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 Advisory Committee for the series. INVITED TALKS will be given by ------------------------------ Robert Aumann (Hebrew University, Israel) Joe Halpern (Cornell University) Pat Hayes (University of West Florida) Scott Kirkpatrick (IBM, Yorktown Heights) William McCune (Argonne National Laboratory) SUBMISSIONS ----------- Authors must e-mail a short abstract (up to 200 words) in plain text format to amai@rutcor.rutgers.edu by SEPTEMBER 23, 1997, and either e-mail postscript files or TeX/LaTeX source files (including all necessary macros) of their extended abstracts (up to 10 double-spaced pages) to amai@rutcor.rutgers.edu or send five copies to Endre Boros RUTCOR, Rutgers University P.O. Box 5062 New Brunswick, NJ 08903 USA to be received by SEPTEMBER 30, 1997. Authors will be notified of acceptance or rejection by OCTOBER 31th, 1997. The final versions of the accepted extended abstracts, for inclusion in the conference volume, are due by NOVEMBER 30, 1997. Authors of accepted papers 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. IMPORTANT DATES --------------- Abstracts received: September 23, 1997 Extended abstracts due: September 30, 1997 Authors notified: October 31, 1997 Final versions received: November 30, 1997 AI & Math Symposium: January 4-6, 1998 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. If additional funding is secured, partial travel subsidies may be available to junior researchers. General Chair: Martin Golumbic, Bar-Ilan University, Ramat Gan Conference Chair: Frederick Hoffman, Florida Atlantic University Program co-chairs: Endre Boros, Rutgers University Russ Greiner, Siemens Corporate Research Inc. Publicity Chair: Alex Kogan, Rutgers University Program Committee: Martin Anthony (London School of Economics, England) Peter Aurer (Technical University of Graz, Austria) Peter van Beek (University of Alberta, Canada) Jimi Crawford (i2 Technologies) Thomas Eiter (Technical University of Vienna, Austria) Boi Faltings (EPFL, Switzerland) John Franco (University of Cincinnati) Eugene Freuder (University of New Hampshire) Giorgio Gallo (University of Pisa, Italy) Georg Gottlob (Technical University of Vienna, Austria) Peter L. Hammer (Rutgers University) David Heckerman (Microsoft Corporation) Michael Kaminski (Technion, Israel) Henry Kautz (AT&T) Helen Kirschner (CRIN-CRNS, Nancy, France) Jean-Claude Latombe (Stanford) Maurizio Lenzerini (University of Rome, Italy) Heikki Mannila (University of Helsinki, Finnland) Eddy Mayoraz (IDIAP, Switzerland) Dale Schuurmans (University of Pennsylvania) Bart Selman (AT&T) Eduardo D. Sonntag (Rutgers University) Ewald Speckenmeyer (University of Koeln, Germany) Paul Vitanyi (CWI, The Netherlands) INFORMATION ----------- Further information and future announcements can be obtained from the Conference Web Site at http://rutcor.rutgers.edu/~amai or by (e)mail to Professor Frederick Hoffman Florida Atlantic University, Department of Mathematics PO Box 3091, Boca Raton, FL 33431, USA hoffman@acc.fau.edu -- ****************************************************** Contributions to be spread via DMANET are submitted to DMANET@math.utwente.nl Replies to a message carried on DMANET should NOT be addressed to DMANET but to the original sender. The original sender, however, is invited to prepare an update of the replies received and to communicate it via DMANET. DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)