Conferências

• Organização de encontros
• Meetings where I gave a talk
• Talks
• Meetings where I participate
• Forthcoming meetings

Organização de encontros

2004

• Proof, Computation, Complexity in connection with Summer School on Proof Theory and Automated Theorem Proving

  2003

• Proof Theory, Computation, Complexity in connection with Summer School on Proof Theory, Computation and Complexity

  2002

• Intensionality workshop at ESSLLI 2002
• Proof, Computation, Complexity
• Geburtstagskolloquium für Prof. Helmut Schwichtenberg

  2001

• Dagstuhl seminar Proof Theory in Computer Science

2000

• Intensionality workshop
• GAP IV Workshop Philosophie der Mathematik

1999

• Proof theoretic semantics

Fachschaftstagungen Mathematik des Cusanuswerkes

• 1997 Unendlichkeit, 25.-28.8.1997, Bad Honnef.

Attended Meeting with talk

2004

• Degrees of Belief, Konstanz, 22.-24.7.2004
• Days in Logic, Braga, 22.-24.1.2004

  2002

• Logic Colloquium 2002
• Deduktive Aspekte von Beweistheorie und Informatik, Institut für Informatik und Angewandte Mathematik der Universität Bern.
• National Seminar for the History of Mathematics, Évora
• Encontro nacional da sociedade portuguesa de matemática 2002

  2001

• Modality in Contemporary English
• Logic Colloquium 2001
• 100 Jahre Russell-Paradoxie
• LLP 2001, Logic and Logical Philosophy 2001

  2000

• CSL 2000
• ESSLLI 2000. Birmingham
• Logic Colloquium 2000
• MFCSIT 2000
• Hopos 2000

  1999

• The Twelfth Amsterdam Colloquium, 1999
• Sinn & Bedeutung 99
• Logic Colloquium 1999
• Foundations of the Formal Sciences

  1998

• Colloquium Logicum
• Logic Colloquium 1998

  1997

• ESSLLI 97, 11.-22.8.1997, Aix-en-Provence
• Logic Colloquium 1997
• Workshop on Proof Theory, Ordinal Analysis and their Applications

Talks

• 17.1.2003 Hilbert, Cantor e os pardoxos. A História e a Herança da Matemática, Universidade Aveiro
• 19.12.2002 Dynamische Logikprogrammierung. Oberseminar "Knowledge Representation and Markup Languages" und "Data Modelling and Inferencing", Institut für Informatik der Ludwig-Maximilians-Universität München.
• 21.11.2002 Teorias aplicadas e suas aplicações. Centro de Matemática e Aplicações Fundamentais, Universidade de Lisboa.
• 11.10.2002 Applicative Theories and their Applications. Logic and Algorithms Seminar, University of Athens
• 15.8.2002 Intensionality -- Goals and Perspectives. Intensionality Workshop at ESSLLI 03, Trento
• 5.8.2002 Least Fixed Points in Applicative Theories. Logic Colloquium 2002, Münster
• 10.6.2002 Dynamische Logikprogrammierung. Deduktive Aspekte von Beweistheorie und Informatik , Institut für Informatik und Angewandte Mathematik der Universität Bern.
• 8.4.2002] Proof, Computation, Complexity. PCC Workshop, Tübingen

Attended meetings

2000

• Logic and Complexity

  1999

• Proof and Computation / Schütte-Colloquium

1998

• ICM
• Empty Name, Fiction and the Puzzles of Non-Existence, 22.-24.3.1998, CSLI, Stanford University

  1997

• Fachschaftstagung Physik des Cusanuswerkes: Was ist fundamental in der Physik? Elementare Teilchen vs. komplexe Strukturen, 1.-5.10.1997, Vogelburg/Volkach
• GAP III, 15.-18.9.1997, München

Forthcoming meetings