Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

11-17 May 2008, Three logic events in Brazil (CLE30, XV EBL, XIV SLALM), Paraty, Brazil

Date: 11-17 May 2008
Location: Paraty, Brazil
Deadline: 15 January 2008

Three simultaneous events be held between 11-17 May 2008 in Paraty, Brazil: * CLE 30 - 30th Anniversary of the Centre for Logic, Epistemology and the History of Science (CLE), UNICAMP
* XV EBL - 15th Brazilian Logic Conference
* XIV SLALM - 14th Latin-American Symposium on Mathematical Logic

The topics include Philosophical and Mathematical Logic and applications with emphasis on Model Theory and Proof Theory, Set Theory, Non-Classical Logics and applications, History and Philosophy of Logic, Philosophy of the Formal Sciences and Foundations of Mathematics. A "Logic School" intended for students (but open to anyone interested) is planned to be held in the State University of Campinas (UNICAMP) between 7 - 9 May, 2008.

For more information, see http://www.cle.unicamp.br/cle30-ebl-slalm/

Contributions are invited on all topics of the events. Deadline for submission: January 15th, 2008.

Please note that this newsitem has been archived, and may contain outdated information or links.