|
|
|
|
| Affiliations |
Universitair Docent (UD) at the Institute for Logic, Language and
Computation (ILLC) of the Universiteit van
Amsterdam |
| Privatdozent at the Mathematical Logic Group
of the Rheinische
Friedrich-Wilhelms-Universität Bonn |
| Professor at the Department Mathematik of the Universität Hamburg
|
|
| Research |
Publications
|
| Research Projects
|
|  | 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-2009)
|
| | NWO/DFG-Projekt ICWAC
(Infinitary
Combinatorics without the Axiom of Choice; 2007-2010):
Workshop, June 2009
|
| | ESF EuroCoRes Project
DiFoS
(Dialogical Foundations of Semantics; 2008-2011)
|
| | Member of the Steering
Committee of the ESF Research Networking Programme
INFTY
(New frontiers of infinity: mathematical, philosophical, and
computational prospects; 2009-2014)
|
| Editorial Activities
|
| | Editor of the Journal
of Logic, Language and Information (JoLLI)
|
| | Managing 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
the book series Texts in Logic and
Games (TLG; Amsterdam University Press)
|
| 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)
|
|
| 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
|
| | 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]
|
|
|
GLLC 12: Games and Sets
[Amsterdam 2006]
|
|
| ALI events (Association for Logic in India): International Conference on
Logic, Navya-Nyaya & Applications [Calcutta 2007]; Second Indian Winter School on
Logic [Kanpur 2008]; ICLA 2009 [Chennai
2009]; Third Indian School on Logic and its
Applications, 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].
|
|
|
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]
|
|
| Department, University and Community Service |
| Scientific Editor of the ILLC Publications
|
|
| Opleidingsdirecteur
M.Sc. in Logic
|
|
| 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)
|
|
| Erasmus Mundus External Cooperation Window 15: India
|
