Topics: The focus will be mainly but not exclusively on Set Theory, Model Theory, Recursion Theory and Proof Theory, and their mutual interaction and on Logical Aspects of Computer Science and Linguistics.
Invited Speakers:
Tutorials K Compton (0-1 Laws in Finite Model Theory), S Goldwasser (Interactive Proofs), D Marker (Stability: The Spectrum Problem to Geometric Stability), T Slaman (Recent Advances in Recursion Theory).
Plenary lectures H Becker (Set Theory), P Blackburn (Logic and Linguistics), W Buchholz (Proof Theory), Z Chatzidakis (Model Theory), B Cooper (Recursion Theory), A Dawar (Finite Model Theory), R Downey (Recursion Theory), L Harrington (Recursion Theory), I Herzog (Model Theory), E Hrushovski (Model Theory), P King (Logic and Linguistics), J Krajicek (Proof Theory & Complexity), J Lynch (Finite Model Theory), P Maddy (Set Theory: 100 years), M Makkai (Categorical Model Theory), D Martin (Set Theory: 100 Years), G Moore (Set Theory: 100 Years), A Nies (Recursion Theory), M Rathjen (Proof Theory), M Pentus (Logic and Linguistics), Y Peterzil (Model Theory), A Pillay, (Model Theory), S Shelah (Set Theory), L Soukup (Set Theory), A Stolboushkin (Theoret. Computer Science), S Wainer (Proof Theory).
Submissions: Participants intending to present a contributed paper are requested to submit a one page abstract, preferably by e-mail to:
logic95-abstracts@cs.technion.ac.il by April 30, 1995
Grants: Limited number available for participants in the following categories: graduate students in logic, participants from countries with severe foreign currency problems, and individuals without any external financial support.
Further Information: WWW
logic95-registration@cs.technion.ac.il (prereg. and registration)
logic95-grants@cs.technion.ac.il (grants)
logic95-abstracts@cs.technion.ac.il (submitting abstracts)
Correspondence: Logic Colloquium 95
Yvonne Sagi, Dep't of Computer Science
Technion-Israel Institute of Technology, Haifa 32000, Israel