[FOM] Symposia in Tel-Aviv University

[Arnon Avron]

The School of Computer Science at Tel Aviv University
invites you to participate in the following symposia as part of the
INTERNATIONAL LOGIC AND COMPUTER SCIENCE SEMESTER AT TEL-AVIV

    * Models of Computation (March 10-12)

      Including lectures (subject to change) by:
          o Samson Abramsky (Oxford)
          o Bob Constable (Cornell)
          o F=E9lix Costa (Lisbon)
          o Janos Makowsky (Technion)
          o Nissim Francez (Technion)
          o Doron Peled (Warwick)
          o Gordon Plotkin (Edinburgh)
          o Hilary Putnam (Harvard)
          o Vladimir Sazonov (Liverpool)
          o Udi Shapiro (Weizmann)
          o Boaz Trakhtenbrot (Tel Aviv)

    * Logic and Computation (March 17-19)

      Including lectures (subject to change) by:
          o Sergei Artemov (Graduate Center CUNY)
          o Mel Fitting (CUNY)
          o Haim Gaifman (Columbia U)
          o Zurab Khasidashvili (Intel Haifa)
          o Daniel Lehmann (Hebrew U)
          o Zohar Manna (Stanford)
          o Anatol Slissenko (Paris)
          o Mars Valiev (Moscow)

Registration is free.

Please send titles and abstracts of a proposed talk (by February 15)
and/or notification of intent to participate (by March 1) to one of the=20
following:

    * Logic and Computation Program Chair: Arnon Avron (aa at tau.ac.il)
    * Organizing Committee Chair: Nachum Dershowitz (nachumd at tau.ac.il)
    * Models of Computation Program Chair: Alex Rabinovich=20
(rabinoa at tau.ac.il)

Web site (for further details, as they develop):
http://www.cs.tau.ac.il/~nachumd/semester.html

Of Related Interest:

    * March 23-29: Symposium on Cardinal Arithmetic at Work (in Jerusalem=
)
      See http://www.as.huji.ac.il/midrasha04.htm

    * April 28, 16:00: Lecture by Yuri Gurevich (Microsoft) at Tel Aviv=20
University