|
|
|
|
| Affiliations |
(January to July 2012:) Visiting Fellow at the Isaac Newton Institute for the
Mathematical Sciences (Principal Organizer of the programme Semantics &
Syntax and at the College of Corpus Christi and the
Blessed Virgin Mary of the University of Cambridge.
|
| Universitair Docent (UD) at the Institute for Logic, Language and
Computation (ILLC) of the Universiteit van
Amsterdam
|
| Professor at the Fachbereich Mathematik of the Universität Hamburg
|
|
| Research |
Publications
|
| Research Projects
|
|  | ESF EuroCoRes Project
DiFoS
(Dialogical Foundations of Semantics; 2008-2012)
|
| | Member of the Steering
Committee of the ESF Research Networking Programme
INFTY
(New frontiers of infinity: mathematical, philosophical, and
computational prospects; 2009-2014)
|
| | John Templeton Foundation Project What makes
stories similar? (2011-2013)
|
| Editorial Activities
|
| | Editor of the Journal
of Logic, Language and Information (JoLLI)
|
| | Editor of
the Tbilisi
Mathematical Journal (TMJ)
|
| | Member of the
Editorial Committee (Redaktion) of the Abhandlungen aus dem
Mathematischen Seminar der Universität Hamburg
|
| | Managing Editor of
Mathematical Logic
Quarterly
(MLQ)
|
| | Managing Editor of
Computability
|
| Completed Research Projects
|
| | | NWO Project Verzamelingstheoretische
Modelvorming voor Oneindige Spelen van Imperfecte Informatie
(2003)
|
| | NWO/DFG-Projekt Determiniertheitsaxiome,
Infinitäre Kombinatorik und ihre Wechselwirkungen (2003-2006)
|
|
| | Marie Curie
Research Training Site GLoRiClass (Games in
Logic Reaching Out for Classical Game Theory; 2006-2010)
|
| |
DFG Scientific
Network PhiMSAMP
(Philosophy of Mathematics: Sociological Aspects and
Mathematical Practice; 2006-2010)
|
| |
NWO/DFG-Projekt ICWAC
(Infinitary
Combinatorics without the Axiom of Choice; 2007-2011):
Workshop, June 2009
|
|
| Teaching |
|
| Teaching of Past
Semesters/Trimesters
|
|
| Events |
|
Foundations of the Formal
Sciences Conference Series (FotFS): FotFS I [Berlin 1999],
FotFS II [Bonn 2000],
FotFS III [Vienna 2001],
FotFS IV [Bonn 2003],
FotFS V [Bonn
2004],
FotFS VI
[Amsterdam 2007],
FotFS VII
[Brussels 2008]
|
|
| CiE
Conference Series (CiE-CS):
CiE 2005
[Amsterdam 2005],
CiE 2006 [Swansea 2006],
CiE 2007
[Siena
2007],
CiE 2008 [Athens
2008],
CiE 2009
[Heidelberg 2009], CiE 2010 [Ponta
Delgada (Açores)
2010], CiE 2011
[Sofia 2011], CiE 2012 [Cambridge 2012]
|
| | Informal Meeting of
Set Theorists (IMST):
IMST 2001,
IMST 2002;
GLLC 12: Games and Sets
[Amsterdam 2006]; continued as Set Theory in Amsterdam: Set
Theory
2009, Set
Theory 2010
|
| | Amsterdam/Bonn
Cooperation: LiB-Day in Amsterdam
(June 30th, 2003), ILLC-Day in Bonn (November
30th, 2003), ILLC-Day 2 in Bonn "Language" (June
7th, 2004)
|
|
|
Special Session on Set Theory at the
AMS-DMV-ÖMG
Joint
Meeting [Mainz 2005]
|
|
|
7th Augustus de Morgan Workshop: "Interactive Logic: Games and Social
Software" [London 2005]
|
|
|
LOFT: LOFT06
[Liverpool 2006], LOFT08
[Amsterdam 2008]
|
|
| PhiMSAMP workshops:
PhiMSAMP-0 [Bonn
2005], Towards a new epistemology of
mathematics [PhiMSAMP-1, GAP.6, Berlin 2006], PMP 2007 [Brussels 2007], PhiMSAMP-2 [Utrecht 2007],
18th Novembertagung [Bonn 2007], PhiMSAMP-3 [Vienna 2008], PhiMSAMP-4
[Brussels 2008], PhiMSAMP-5 [Hatfield 2009], PhiMSAMP-6
[Amsterdam/Utrecht 2010].
|
|
| ALI events (Association for Logic in
India): International
Conference on Logic, Navya-Nyaya & Applications [Calcutta 2007]; ISLA 2008 [Kanpur
2008]; ICLA 2009 [Chennai 2009]; ISLA 2010, ISLA 2010 [Hyderabad
2010]; Workshop on Set Theory @ ISLA 2010; Conference on Mathematical Logic and
Set Theory [Chennai 2010; satellite to the ICM 2010 in Hyderabad];
ICLA 2011 [Delhi 2011].
|
|
|
KNAW Academie-Colloquium
New perspectives on Games and
Interaction (Amsterdam, February 2007)
|
|
|
CSL:
CSL 2007 [Lausanne],
CSL 2009
[Coimbra]
|
|
|
GPMR Workshop on Logic and
Semantics:
GPMR-LS1 (Bonn, June 2007)
|
|
|
Foundations of Artificial
Intelligence: FAInt-07
(Osnabrück, September 2007)
|
|
|
Seventh International
Tbilisi Symposium on Language, Logic and Computation: Tbilisi (October
2007)
|
|
|
Infinity in Logic and Computation:
Cape Town (November 2007)
|
|
|
ESSLLI: ESSLLI 2008 [Hamburg]
|
|
|
WoLLIC:
WoLLIC 2011 [Philadelphia PA]
|
|
| Department, University and Community Service |
| Scientific Editor of the ILLC Publications
|
|
| Vice President (Stellvertretender Vorsitzender) of
the Deutsche
Vereinigung für Mathematische Logik und für Grundlagen
der Exakten Wissenschaften (DVMLG)
|
|
| Member of the Board
(Vorstand) of
the European
Association for Computer Science Logic (EACSL)
|
|
| Member of the Board
of
the Association Computability in Europe (ACiE)
|
|
| UvA Scientific Coordinator for Erasmus Mundus External Cooperation Window Lot 15 (EMECW15,
2009-2012),
Erasmus Mundus External Cooperation Window Lot 13 (EMECW13,
2010-2013),
Erasmus Mundus Europe Asia 11 (EMEA11, 2011-2014),
Erasmus Mundus Action 2 for South Africa (EMA2SA, 2011-2014).
|
