Logic List Mailing Archive

Symposia in Tel-Aviv University (March 2004)

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@tau.ac.il)
    * Organizing Committee Chair: Nachum Dershowitz (nachumd@tau.ac.il)
    * Models of Computation Program Chair: Alex Rabinovich
      (rabinoa@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
      University