Welcome to the CLE 30/ XV EBL / XIV SLALM homepage.

Post-conference publications

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

, , , , ,