Preliminary Announcement

Logic Colloquium'96

European Summer Meeting of the Association for Symbolic Logic

Donostia - San Sebastian, July 9-15, 1996

LC'96 is organized by the Institute for Logic, Cognition, Language and
Information (ILCLI) and the Dept. of Logic and Philosophy of Science of
the University of the Basque Country. It will take place in the Faculty
of Philosophy of the Univ. of the Basque Country at Donostia - San Sebastian.

MAIN TOPICS:
1. Model Theory (4 lectures)
2. Proof Theory (4 lectures)
3. Recursion and Complexity (4 lectures)
4. Models of Arithmetic (3 lectures)
5. Logic for Artificial Intelligence (4 lectures)
6. Formal Semantics of Natural Language (3 lectures)
7. Philosophy of Contemporary Logic (2 lectures)

There will be 6 Tutorials. Contributed Papers are invited from all areas
of Logic. Abstracts should be double spaced and not more than one page
long (about 300 words). Deadline: April 1st, 1996.

(Note: the deadline was later changed to April 15, 1996, as
is shown in the http://www.sc.ehu.es/scrwwwil/lc-96.html Web page)

The registration fee is 28,000 ptas. (35,000 ptas. after 1st April.)
(14,000 ptas. for students and accompanying persons; 18,000 ptas. after
1st April.)

Program Committee
K. Ambos Spies (Heidelberg), J.L. Balcazar (Barcelona), J. E. Fenstad
(Oslo), D. Israel (Stanford), H. Kamp (Stuttgart), R. Kaye (Birmingham),
J.M. Larrazabal (San Sebastian), D. Lascar (Paris, Chair), A. Marcja
(Firenze), G. Mints (Stanford), M. Otero (Madrid), S. Ronchi della Rocca
(Torino), K. Segerberg (Uppsala), L. Vega (Madrid).

Organizing Committee
X. Arrazola (San Sebastian), A. Arrieta (San Sebastian), R. Beneyto
(Valencia), B. Carrascal (San Sebastian), K. Korta (San Sebastian), J.M.
Larrazabal (San Sebastian, Chair), J.C. Martinez (Barcelona), J.M. Mendez
(Salamanca), F. Migura (Vitoria), J. Perez (Vitoria).

Further information:    Prof. Jesus M. Larrazabal
                                Logic Colloquium'96
                                ILCLI, Univ. of the Basque Country
                                Apdo. 220. 20080 DONOSTIA - SAN SEBASTIAN
                                Spain
                                Tel.: 34 43 320940. Fax: 34 43 293677.
                                E.mail: ilcli@sf.ehu.es