This page in English.
Esta página em português.
Cette page en français.
Universidade Nova de Lisboa,
Departamento
de Matemática
Zimmer
2
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
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
- Intensionalität
- Geschichte der Logik
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
Legend: Organizer (OC or PC),
Speaker, Participant, Organizer
and Speaker, Organizer and
Participant, Just of interest.
This page in English.
Esta página em português.
Cette page en français.