This page in English. 
Esta página em português. 
Cette page en français.
Universidade Nova de Lisboa,
Departamento
de Matemática
Zimmer
46
Gebäude VII
P-2829-516 Caparica
Universität Tübingen,
WSI
D-72076 Tübingen
Sand 13
E-mail:
kahle@informatik.uni-tuebingen.de
CENTRIA,
Universidade Nova de Lisboa,
Departamento
de Informática
P-2829-516 Caparica
Telefax: 21-2948541
bzw.
00351-21-2948541
E-mail:
kahle@fct.unl.pt
CMUC,
Universidade de Coimbra, Departamento
de Matemática
P-3001-454 Coimbra
Apartado 3008
E-mail:
kahle@mat.uc.pt
CMAF, Universidade de Lisboa
P-1649-003 Lisboa
Av. Prof. Gama Pinto 2
Privat:
D-37120 Bovenden
Berliner Str. 43
Telephon:
0551-81080
bzw.
0049-551-81080
Funktelephon:
96-7973901
bzw.
00351-96-7973901
E-mail:
reinhard@kahle.ch
- Beweistheorie
- Logikprogrammierung
- Funktionale Programmierung
- Intensionalität
- Geschichte der Logik
- 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
-
Logic and
interactions 2012 - Complexity, Luminy, January 30-February 3, 2012
- Days in Logic
2012, Évora, February 6-8, 2012
-
Logical Approaches to Barriers in Complexity II, Cambridge, March 26-30, 2012
-
DICE 2012,
Third International Workshop on Developments in Implicit
Complexity, Tallinn, Estonia, March 31st and April 1st, 2012
- HAPOP, Birmingham,
July 2-6, 2012
Past
Legend: Organizer (OC or PC),
Speaker, Participant, Organizer
and Speaker, Organizer and
Participant, Just of interest.
- Tübingen
- Bovenden
- Göttingen
This page in English. Esta página em português. Cette page en français.