Celebrating Kurt Gödel's Centennial (1906--2006)

Brazilian Logic Society and Association for Symbolic Logic -- April 24--28 / 2006

• Fotos do evento

• Submissões para IGPL Journal

• Scientific Committee

• Invited Speakers

• Topics of Interest

• Call for Abstracts

• Planned Activities

• Mini-Course

• Registrations

• Accomodation

• Travel Info

• Organization Committee

Links

• ASL homepage - http://www.aslonline.org

• SBL homepage - http://www.cle.unicamp.br/sbl/

• Itatiaia Info - http://www.crescentefertil.org.br/parquenacional/index1.htm

Sponsors