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

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/