Reinhard Kahle

• Adresse
• Veröffentlichungen
• Lehre
• Forschungsprojekte
• Forschungsinteressen
• Kommittees
• Events

Professor an der

Privatdozent an der

Wissenschaftler am

Wissenschaftler (Mitarbeiter) am

• The notion of mathematical proof (PTDC/MHC-FIL/5363/2012)
• Hilbert's Legacy in the Foundations of Mathematics (PTDC/FIL-FCI/109991/2009)
• Dialogical Foundations of Semantics (LOGICCC/0001/2007), 2009-2013

• Beweistheorie
• Intensionalität
• Geschichte der Logik

• Member of the board of the European Association for Computer Science Logic, EACSL, since 2009.
• Member of the ESSLLI Standing Committee (European Summer School in Logic, Language, and Information), 2010-13.
• 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

• HAPOP, Birmingham, July 2-6, 2012
• ESSLLI 2012, Opole, Poland, August 6-17, 2012
• Proof, Computation, Complexity, PCC 2012, Kopenhagen, Danemark, August 17--18, 2012
• CSL 2012, Fontainebleau, France, September 3-6, 2012

Past

• Logic and Computational Complexity, LCC 2012, Dubrovnik, Croatia, Sunday, June 24, 2012
• 25.º Encontro do Seminário Nacional de História da Matemática, Coimbra, June 15-16, 2012
• Explicit Paradigms in Logic and Computer Science, Bern, Switzerland, June 4-6, 2012
• DICE 2012, Third International Workshop on Developments in Implicit Complexity, Tallinn, Estonia, March 31st and April 1st, 2012
• 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