Logic and Computer Science Semester at Tel-Aviv

Tel Aviv University

School of Computer Science

invites you to participate in an

INTERNATIONAL
LOGIC AND COMPUTER SCIENCE
SEMESTER AT TEL-AVIV

March-May 2004

Planned Symposia:

Models of Computation (March 10-12)

Program (Subject to change):

Wednesday afternoon (13:45-17:45) -- Berglas Building 101 (School of Economics)
Thursday morning (8:45-12:00) -- Berglas Building 101
Thursday afternoon (14:00-18:00) -- Berglas Building 101
Friday morning (8:45-12:00) -- Schreiber Building 006

Logic and Computation (March 17-19)

Program (Subject to change):

Wednesday afternoon (13:45-18:00) -- Schreiber Building 309
Thursday morning (8:45-12:00) -- Schreiber Building 309
Thursday afternoon (14:00-17:50) -- Schreiber Building 309
Friday morning (8:45-12:40) -- Schreiber Building 006

Related Events (March-May):

March 23-29: Symposium on Cardinal Arithmetic at Work (Jerusalem)
April: Dov Gabbay (Kings College)
April 28: Yuri Gurevich (Microsoft)
May 16-19: Minerva School on Verification (Shefayim)

Committee:

Arnon Avron (Logic and Computation Program Chair) [aa@tau.ac.il]
Nachum Dershowitz (Organizing Committee Chair) [nachumd@tau.ac.il]
Alex Rabinovich (Models of Computation Program Chair) [rabinoa@tau.ac.il]

See http://www.cs.tau.ac.il/~nachumd/Semester/ for program and reservation details.
Map of campus at http://www2.tau.ac.il/map/unimaple1.asp.