Skip to main content Accessibility help
×
Home
  • Print publication year: 2017
  • Online publication date: March 2017

Preface

Summary

The 1996 European Summer Meeting of the Association of Symbolic Logic was held held the University of the Basque Country, at Donostia (San Sebastián) Spain, on July 9-15, 1996. It was organised by the Institute for Logic, Cognition, Language and Information (ILCLI) and the Department of Logic and Philosophy of Sciences of the University of the Basque Country. It was supported by: the University of Pais Vasco/Euskal Herriko Unibertsitatea, the Ministerio de Educatiόn y Ciencia (DGCYT), Hezkuntza Saila (Eusko Jaurlaritza), Gipuzkoako Foru Aldundia, and Kuxta Fundazioa.

The main topics of the meeting were Model Theory, Proof Theory, Recursion and Complexity Theory, Models of Arithmetic, Logic for Artificial Intelligence, Formal Semantics of Natural Language and Philosophy of Contemporary Logic.

The Program Committee consisted of K. Ambos Spies (Heidelberg), J.L. Balcázar (Barcelona), J.E. Fenstad (Oslo), D. Israel (Stanford), H. Kamp (Stuttgart), R. Kaye (Birmingham), J.M. Larrazabal (San Sebastián), D. Lascar (Paris, chairman), A. Marcja (Firenze), G. Mints (Stanford), M. Otero (Madrid), S. Ronchi della Rocca (Torino), K. Segerberg (Uppsala) and L. Vega (Madrid).

The organizing Committee consisted of X. Arrazola (San Sebastián), A. Arrieta (San Sebastián), R. Beneyeto (Valencia), B. Carrascal (San Sebastián), K. Korta (San Sebastián), J.M. Larrazabal (San Sebastián, chairman), J.C. Martínez (Barcelona), J.M. Méndez (Salamanca), F. Migura (Victoria) and J. Pérez (Victoria).

Twenty-three one hour lectures were given at the meeting by: N. Asher (University of Texas), M.L. Bonet (Universidad Politécnica de Cataluña), J. Etchmendy (Stanford University), D. Evans (University of East Anglia), L. Gordeev (Tuebingen), M. Hyland (University of Cambridge), V. Kanovei (Moscow TEI), U. Kohlenbach (Frankfurt University), R. Kossak (City University of New York), M. Kummer (Universität Karlsruhe), S. Lempp (University of Wisconsin), B. Nebel (University of Ulm), A. Nesin (Tehran), H.J. Ohlbach (Imperial College, London), M. Pentus (Moscow State University), M. Pinkal (Universität des Saarlandes), G. Priest (University of Queensland), M. Reynolds (King's College, London), E. Sandewall (Linkoping University), J. Schmerl (University of Connecticut), S. Starchenko (Vanderbilt University), G. Takeuti (University of Illinois) and L. Torentliev (University of Amsterdam).