Reinhard Kahle

• Endereço
• Publicações
• Ensino
• Projectos de Investigação
• Áreas de Investigação
• Comités
• Events

Professor na

Privatdozent na

Investigador no

Investigador (colaborador) no

Investigador (colaborador) no

• Hilbert's Legacy in the Foundations of Mathematics
• Dialogical Foundations of Semantics

• Teoria de demonstração
• Programação em Lógica
• Programação Funcional
• Intensionalidade
• História de Lógica

• Member of the ESSLLI Standing Committee (European Summer School in Logic, Language, and Information), since 2010.
• Member of the board of the European Association for Computer Science Logic, EACSL, since 2009.
• Member of the Advisory Board of the Hilbert-Bernays Project (translation of the two volumes Grundlagen der Mathematik of Hilbert and Bernays into English by the International Federation of Computational Logic)

Forthcoming

• DICE 2012, Third International Workshop on Developments in Implicit Complexity, Tallinn, Estonia, March 31st and April 1st, 2012
• Workshop in Berne, Beginning of June, 2012
• Logic and Computational Complexity, LCC 2012, Dubrovnik on Sunday, June 24, 2012
• HAPOP, Birmingham, July 2-6, 2012

Past

• Days in Logic 2012, Évora, February 6-8, 2012
• Logic and interactions 2012 - Complexity, Luminy, January 30-February 3, 2012
• HAPOC, Ghent, November 7-10, 2011
• Axiomatic theories of truth, Oxford, 19-20 September 2011
• ESF Ponta Delgada Workshop, September 7-10 2011
• Logical Constants at ESSLLI 2011

Mapas e melhores itinerários

• Tübingen
  • Mapa
• Bovenden
  • Mapa
• Göttingen
  • Mapa