Welcome to the CLE 30/ XV EBL / XIV SLALM homepage. Final Program here The three simultaneous events will be held between 11-17 May 2008 in Paraty, RJ: - "CLE 30 – 30th Anniversary of the Centre for Logic, Epistemology and the History of Science, UNICAMP"
- " XV EBL -15th Brazilian Logic Conference
- "XIV SLALM – 14th Latin-American Symposium on Mathematical Logic"
Topics 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. Logic School 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. Pre-Book Launching and Announcements "Modalities and Multimodalities" Carnielli, W., Pizzi, C., Vol. 12, 2008, ISBN 978-1-4020-8589-5, to appear in August 2008 "Logic, Proof and Knowledge-Essays on Oswaldo Chateaubriand's Logical Forms - Part II"Special issue of Manuscrito-Revista Internacional de Filosofia", CLE- UNICAMP Walter Carnielli and Jairo José da Silva, editors Third revised edition "Computability: Computable Functions, Logic, and the Foundations of Mathematics"Richard L. Epstein and Walter Carnielli e-book and hardcover editions Advanced Reasoning Forum Official Languages The official languages of the conferences will be Portuguese, Spanish and English. Scientific Sponsorship Association for Symbolic Logic (ASL) Sociedade Brasileira de Lógica / Brazilian Logic Society (SBL) Centro de Lógica, Epistemologia e História da Ciência / Centre for Logic, Epistemology and the History of Science (CLE) National Science Foundation (NSF) Organization Centro de Lógica, Epistemologia e História da Ciência / Centre for Logic, Epistemology and the History of Science (CLE) Funding , , , , , |