Talks

On the μ-Calculus Augmented with Sabotage
FOSSACS 2006 - 9th International Conference of Foundations of Software Science and Computation Structures
Part of ETAPS 2006 - Joint European Conferences on Theory and Practice of Software
March 25 - 31, 2006, Vienna, Austria
Slides (PDF)
On Games and Logics over Dynamically Changing Structures
Informatik-Oberseminar, RWTH Aachen
December 8, 2005, Aachen, Germany
Slides (PDF)
Games and Logics over Dynamically Changing Structures
GAMES 2005 - Annual Meeting of the RTN "Games and Automata for Synthesis and Validation"
September 21 - 24, 2005, Paris, France
Slides (PDF)
On Games and Logics over Dynamically Changing Structures
DAAD Procope Aachen/Rennes
April 4 - 6, 2005, Aachen, Germany
Slides (PDF)
Network Ressource Allocation
Arbeitsgemeinschaft Logik und Automaten, RWTH Aachen
October 14, 2004, Aachen, Germany
Slides (PDF)
Moving in a Crumbling Network: The Balanced Case
CSL 2004 - Annual Conference of the European Association for Computer Science Logic
September 20 - 24, 2004, Karpacz, Poland
Slides (PDF)
Network Ressource Allocation
GI-Dagstuhl-Seminar "Game-Theoretic Analyses of the Internet"
August 30 - September 3, 2004, Schloss Dagstuhl, Germany
Slides (PDF)
Model Checking and Satisfiability for Sabotage Modal Logic
FSTTCS 2003 - 23rd Conference on Foundations of Software Technology and Theoretical Computer Science
December 15 - 17, 2003, Mumbai (Bombay), India
Slides (PostScript)
Über die Erfüllbarkeit der Sabotage-Modallogik
FMT 2003 - Workshop on Finite Model Theory
November 13 - 14, 2003, Marburg, Germany
Slides (PostScript)
Ein e-Lecture-System für die Theoretische Informatik
DeLFI 2003 - 1. Fachtagung "e-Learning" der Gesellschaft für Informatik
September 16 - 18, 2003, München, Germany
Slides (PDF)
Sabotage Game and Sabotage Modal Logic
GAMES 2003 - Annual Meeting of the RTN "Games and Automata for Synthesis and Validation"
August 30 - September 2, 2003, Vienna, Austria
Slides (PDF)
Solving the Sabotage Game is PSPACE-hard
MFCS 2003 - 28th International Symposium on Mathematical Foundations of Computer Science
August 25 - 29, 2003, Bratislava, Slovak Republic
Slides (PDF)
Das Sabotage-Spiel und die Sabotage-Modallogik
Oberseminar Mathematische Logik, Universität Bonn
July 4, 2003, Bonn, Germany
Slides (PostScript)
A Presentation and Tutoring Environment for Courses in Theoretical Computer Science
ICNEE 2003 - 5th International Conference on New Educational Environments
May 26 - 28, 2003, Lucerne, Switzerland
Slides (PDF)
Über Erweiterungen des Axioms der Determiniertheit
Arbeitsgemeinschaft Logik und Automaten, RWTH Aachen
December 20, 2001, Aachen, Germany
Slides (PostScript)
Über die Ausdrucksstärke des modalen μ-Kalküls im Verhältnis zur monadischen Logik zweiter Stufe
Oberseminar Mengenlehre, Universität Bonn
December 13, 2001, Bonn, Germany
Slides (PostScript)
Über Erweiterungen des Axioms der Determiniertheit
Students conference "Mathematics 2001"
September 12 - 14, 2001, Aachen, Germany
Über die Ausdrucksstärke des modalen μ-Kalküls im Verhältnis zur monadischen Logik zweiter Stufe
GI-Dagstuhl-Seminar "Automata, Logics and Infinite Games"
February 19 - 23, 2001, Schloss Dagstuhl, Germany

Conferences and Workshops

FOSSACS 2006 - 9th International Conference of Foundations of Software Science and Computation Structures
Part of ETAPS 2006 - Joint European Conferences on Theory and Practice of Software
March 25 - 31, 2006, Vienna, Austria
Information (FOSSACS 2006)  |  Information (ETAPS 2006)
GAMES 2005 - Annual Meeting of the RTN "Games and Automata for Synthesis and Validation"
September 21 - 24, 2005, Paris, France
Information
DAAD Procope Aachen/Rennes: Finitely Represented Infinite Graphs - Structure, Behaviour, Algorithmics
April 4 - 6, 2005, Aachen, Germany (Local organizer)
Information
GAMES - Spring School on Infinite Games and Their Applications
March 15 - 19, 2005, Bonn, Germany (Local organizer)
Information
AlMoTh 2005 - Algorithmic Model Theory
February 21 - 22, 2005, Darmstadt, Germany
Information
FotFS V - Infinite Games
November 26 - 29, 2004, Bonn, Germany
Information
CSL 2004 - Annual Conference of the European Association for Computer Science Logic
September 20 - 24, 2004, Karpacz, Poland
Information
GAMES 2004 - Annual Meeting of the RTN "Games and Automata for Synthesis and Validation"
September 15 - 18, 2004, Bordeaux, France
Information
GI-Dagstuhl-Seminar "Game-Theoretic Analyses of the Internet"
August 30 - September 3, 2004, Schloss Dagstuhl, Germany
Information
SAMT 2004 - Seminar on Algorithmic Model Theory
February 25 - 26, 2004, Berlin, Germany
FSTTCS 2003 - 23rd Conference on Foundations of Software Technology and Theoretical Computer Science
December 15 - 17, 2003, Mumbai (Bombay), India
Information
FMT 2003 - Workshop on Finite Model Theory
November 13 - 14, 2003, Marburg, Germany
DeLFI 2003 - 1. Fachtagung "e-Learning" der Gesellschaft für Informatik
September 16 - 18, 2003, München, Germany
Information
GAMES 2003 - Annual Meeting of the RTN "Games and Automata for Synthesis and Validation"
August 30 - September 2, 2003, Vienna, Austria
Information
MFCS 2003 - 28th International Symposium on Mathematical Foundations of Computer Science
August 25 - 29, 2003, Bratislava, Slovak Republic
Information
ICNEE - 5th International Conference on New Educational Environments
May 26 - 28, 2003, Lucerne, Switzerland
Information
GAMES - Kick-Off Meeting
September 26 - 28, 2002, Edinburgh, Scotland
Information
CSL 2002 - Annual Conference of the European Association for Computer Science Logic
September 22 - 25, 2002, Edinburgh, Scotland
Information
STACS 2002 - 19th International Symposium on Theoretical Aspects of Computer Science
March 14 - 16, 2002, Antibes - Juan-les-Pins, France
Information
Annual Amsterdam Aachen Meeting on Games
February 15th, 2002, Amsterdam, The Netherlands
FotFS III: Complexity in Mathematics and Computer Science
September 21 - 24, 2001, Vienna, Austria (Local organizer)
Information
15. ÖMG-Kongress
September 16 - 22, 2001, Vienna, Austria
Information
Students conference "Mathematics 2001"
September 12 - 14, 2001, Aachen, Germany
Information
GI-Dagstuhl-Seminar "Automata, Logics and Infinite Games"
February 19 - 23, 2001, Schloss Dagstuhl, Germany
Information GI
FotFS II: Applications of Mathematical Logic in Philosophy and Linguistics
November 10 - 13, 2000, Bonn, Germany (Local organizer)
Information
AD+
Short Course by Richard Ketchersid (University of California, Los Angeles)
October 2000, Bonn, Germany
Determinacy & the Wadge Hierarchy
Short Course by Alessandro Andretta (Università di Torino)
April 2000, Bonn, Germany
Mecon 1997 and Mecon 1998 - Conference for Digital Media
Cologne, Germany
Information
Komm 1997 and Komm 1998 - The E-Conference
Düsseldorf, Germany
Information