Held by the Kurt Gödel Society and the Italian Association of Logic and its Applications. The meeting coincides with the Gödel Society's 4th Kurt Gödel Colloquium and will be affiliated to the International LMPS-IUHPS Symposium on Logic, Methodology and Philosophy of Science, held August 19-25 in Florence.
Program Committee: Maurice Boffa (Co-chair), Mons, Belgium; Gregory Cherlin, Rutgers, U.S.A.; Ulrich Felgner, Tuebingen, Germany; Wilfrid Hodges, London, U.K.; Annalisa Marcja (Co-chair), Florence, Italy; Daniele Mundici (Chair), Milan, Italy; Gabriel Sabbagh, Paris, France.
Invited Speakers: Zoe Chatzidakis, David Evans, Ehud Hrushovski, Angus MacIntyre, Dave Marker, Francis Oger, Mike Prest, Anand Pillay, Zachary Robinson, Philipp Rothmaler, Carlo Toffalori.
Submissions: Three copies of a full paper, preferably in LaTeX format, before February 1, 1995, to the program committee chairman, Daniele Mundici, at the address below. All papers should be original, and in their final form. The Proceedings will be published in a special issue of the Annals of Pure and Applied Logic. All papers shall be refereed.
Program Chair:
Daniele Mundici
Department of Computer Science, University of Milan,
via Comelico 39-41, I-20135 Milan, Italy.
Phone: +39 2 55006247. Fax: +39 2 55006253.
E-mail: mundici@imiucca.csi.unimi.it.
LMPS-IUHPS Information:
LMPS, Centro Servizi di Segreteria,
via A. Lapini, 1, I-50136 Florence, Italy.
Phone: +39 55 670369, Fax: +39 55 660236.