When? Monday, February 18, and Tuesday, February 19.
We start on Monday at 14:30.
Where? Universität Freiburg, Mathematisches Institut,
Eckerstraße 1, Room 404 (fourth floor).
Program
The program as pdf and as ps.
Updated version (Friday, February 15) including a talk by Mark Weyer.
Orientation
Perhaps you find this
map useful.
Important adresses are:
Apart Hotel , Mathildenstr. 28, 79106 Freiburg, Tel.: 0761
273700,
Location Hotel am Rathaus, Rathausgasse 4-8, 79098 Freiburg, Tel.: 0761 296160
Location
Gaststätte Paradies
Location
Below you find the lists of participants and talks planned sofar.
There is still some place left for talks.
Please write to moritz.mueller@math.uni-freiburg.de
Talks
Jan Altenbernd, Reachability over word rewriting systems
Achim Blumensath, Interpretation degrees for guarded second-order logic
Kord Eickmeyer, Approximation of W[P]-complete minimization problems
Diana Fischer, Model-Checking games for the quantitative mu-calculus
Tobias Ganzow, Order-invariant MSO is stronger than Counting MSO in the finite
Erich Grädel, Descriptive complexity of parity games
Martin Grohe, Definable tree decompositions
Dietrich Kuske, Hamiltonsche Kreise in automatischen Graphen
Moritz Müller, Kernelization lower bounds
Michaela Slaats, Regular strategies for higher-order pushdown parity games
Marc Thurley, The complexity of partition functions
Participants
In parentheses you find the name of the hotel where a room has been reserved under your name.
Jan Altenbernd (Rathaus)
Christoph Berkholz
Dietmar Berwanger (Rathaus)
Henrik Björklund (Rathaus)
Achim Blumensath (Rathaus)
Andre Böhm (Rathaus)
Yijia Chen
Holger Dell (Rathaus)
Adrian Dietz
Kord Eickmeyer
Johannes Fichte
Diana Fischer (Apart)
Jörg Flum
Tobias Ganzow (Rathaus)
Wouter Gelade
Erich Graedel
Martin Grohe (Rathaus)
Magdalena Grüber (Apart)
Berit Grußien
Andre Hernich (Rathaus)
Michael Holtmann (Rathaus)
Alexander Holz
Lukasz Kaiser (Apart)
Wong Karianto (Rathaus)
Alexander Kartzow (Rathaus)
Dietrich Kuske (Rathaus)
Martin Lange (Rathaus)
Björn Lellmann
Christof Loeding (Rathaus)
Rebecca Lukas
Marcel Marquardt (Rathaus)
Wim Martens (Rathaus)
Moritz Müller
Martin Otto (Rathaus)
Louchka Popova (Apart)
Frank Radmacher (Rathaus)
Nicole Schweikhardt (Rathaus)
Thomas Schwentick (Rathaus)
Michaela Slaats (Rathaus)
Alex Spelten (Rathaus)
Wolfgang Thomas (Rathaus)
Marc Thurley (Apart)
Michael Ummels (Rathaus)
Volker Weber (Rathaus)
Mark Weyer (Rathaus)
Thomas Wilke
