Diese Seite auf deutsch. 
Esta página em português. 
Cette page en français.
Universidade Nova de Lisboa,
Departamento
de Matemática
Room
46
Building 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
Fax: 21-2948541
or
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
Home address:
D-37120 Bovenden
Berliner Str. 43
Telephone:
0551-81080
or
0049-551-81080
Mobile phone:
96-7973901
or
00351-96-7973901
E-mail:
reinhard@kahle.ch
- Proof theory
- Logic programming
- Functional programming
- Intensionality
- History of logic
- 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
Diese Seite auf deutsch. Esta página em português. Cette page en français.