[CA] ================================================ AMAST Links 03 01 Logic Colloquium - 96, LC'96 European Summer Meeting of the Association for Symbolic Logic Donostia - San Sebastian, Spain, July 9-15, 1996 The _Second Announcement_ is available at URL: http://www.cs.utwente.nl/data/amast/links/v03/i01/full/AC0301CA.txt LC'96 is organized by the Institute for Logic, Cognition, Language & Information (ILCLI) and the Dept. of Logic and Philosophy of Science of the University of the Basque Country. Main topics are: Model Theory, Proof Theory, Recursion and Complexity, Models of Arithmetic, Logic for Artificial Intelligence, Formal Semantics of Natural Language, Philosophy of Contemporary Logic. Contributed Papers are invited from all areas of Logic. Authors wishing to submit a paper should send two hardcopies of an abstract not more than one page long (about 300 words) written in English to Prof. J.M. Larrazabal (address below), by April 15th, 1996. Authors of accepted papers are expected to present them at the Colloquium. Abstracts from ASL members will be published as part of the meeting report in The Bulletin of Symbolic Logic. The registration fee is 28,000 ptas. (35,000 ptas. after 15th April.) (14,000 ptas. for students and accompanying persons; 18,000 ptas. after 15th April.). This fee may be paid from abroad by an international check made out to ILCLI and sent to Prof. J.M. Larrazabal (address below); by way of a bank transfer to ILCLI account n. 2101038103-10121481, CAJA GIPUZKOA-DONOSTIA KUTXA, Garibai 13, 20004 SAN SEBASTIAN, Spain (please send a copy of your transfer to Prof. J.M. Larrazabal); or by VISA, EUROCARD or MASTERCARD Credit Cards filling in the authorization form. Further information may be obtained by writing to Prof. Jesus M. Larrazabal LC'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 WWW : http://www.sc.ehu.es/scrwwwil/lc-96.html