Farewell Event Schedule

THURSDAY, 14 January 2010.

FRIDAY, 15 January 2010.

9:00-9:20	Opening
9:30-10:20	Erich Grädel (Aachen): Positional Determinacy of Banach-Mazur Games
10:20-10:50	Amélie Gheerbrant (Amsterdam; GLoRiClass fellow): Complete axiomatization of the stutter-invariant fragment of the linear-time μ-calculus
11:10-12:00	Samson Abramsky (Oxford): Diagonals, Self-Reference and the Edge of Consistency: Classical and Quantum
12:00-12:30	Jonathan Zvesper (Oxford; GLoRiClass fellow): Playing with information
12:30-13:50	LUNCH BREAK
13:50-14:40	Jérôme Lang (Paris): How hard is to control sequential elections via the agenda?
14:40-15:10	Joel Uckelman (Amsterdam; GLoRiClass fellow): More Than the Sum of Its Parts: Compact Preference Representation Over Combinatorial Domains
15:30-16:20	Bernhard Nebel (Freiburg): Action Planning in Robotics: What do to When Things go Wrong
16:20-16:50	Andreas Witzel (New York NY; GLoRiClass fellow): Knowledge and Games: Theory and Implementation
17:00-17:50	Reinhard Selten (Bonn): Incomplete Equilibrium
18:30-	GLoRiClass Dinner

9:00-9:50	Robert Stalnaker (Cambridge MA): Counterfactual propositions in games
9:50-10:20	Marc Staudacher (Amsterdam; GLoRiClass fellow): Conventions and Social Norms
10:20-10:50	Jakub Szymanik (Amsterdam; GLoRiClass fellow): Quantifiers in TIME and SPACE. Computational Complexity of Generalized Quantifiers in Natural Language
11:10-12:00	Dietmar Berwanger (Cachan): Information flow in games on graphs
12:00-13:20	LUNCH BREAK
13:20-14:10	Ian Pratt-Hartmann (Manchester): Logics with Counting Quantifiers
14:30-15:20	Alain Louveau (Paris): A new representation result for Borel functions
15:20-15:50	Daisuke Ikegami (Amsterdam; GLoRiClass fellow): Games in Set Theory and Logic
16:00-16:30	Cédric Dégremont (Amsterdam; GLoRiClass fellow): Agreement theorems in dynamic-epistemic logic
16:30-17:20	Alexandru Baltag (Oxford): Games and Conditional-Belief Dynamics: From the Backward Induction Paradox to the Surprise Examination