[C4] ================================================ AMAST Links 01 03

       Kurt G"odel Society - AILA Joint Meeting on Model Theory
                  August 21-24, 1995, Florence, Italy 

  Held by the Kurt G"odel Society and the Italian Association of Logic
and its Applications. The meeting coincides with the G"odel Society's
4th Kurt G"odel 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.