• SQIG - Security and Quantum Information Group - IST, Lisbon, Portugal
• CLE - Centre for Logic, Epistemology and the History of Science - UNICAMP, Campinas, Brazil
• CLE e-Prints - Electronic Preprints Server of CLE
• Kripke in Brazil - Workshop "Semantics and Meaning" (SeMe-2005), CLE-UNICAMP, July 25-28, 2005 (Videos and pictures)
• ASL - Association for Symbolic Logic
• Stanford Encyclopedia of Philosophy
• Wikipedia - Free encyclopedia
• MathWorld - Free encyclopedia of Mathematics
• Merrian-Webster Online - Free english dictionary
• Research Groups in Logic and Theoretical Computer Science Worldwide
• ConsRel: Logical Consequence and Combinations of Logics -  FAPESP Thematic Project Number 2004/14107-2
• FibLog - Research project on Fibring Logics of the CLC (at IST, Portugal)
• XIV Brazilian Logic Conference -  Itatiaia National Park, RJ, Brazil,  April 24--28, 2006
• XIII Latin-American School of Mahematical Logic  - Universidad Autónoma Benito Juárez de Oaxaca, Oaxaca, Mexico, August 01--05, 2006
• XIII Latin-American Symposium of Mathematical Logic - Universidad Autónoma Benito Juárez de Oaxaca, Oaxaca, Mexico, August 07--12, 2006
• XIII Brazilian Meeting of Philosophy (XIII Encontro Nacional de Filosofia da ANPOF) - Canela, RS, Brazil, October 6--10, 2008
• CLE 30 years/XV Brazilian Logic Conference/XII Latin-American Symposium of Mathematical Logic - Paraty, RJ, May 11-17, 2008
  

Home