Program
Thursday, March 31
13:15 -->14:45 (Wolfgang Thomas)
On the Impact and Perspectives of Büchi's Work - Some Personal Impressions
15:00 -->16:30 (Christof Löding)
Strategy Synthesis for Infinite Games
17:00 -->18:30 (Mikolaj Bojanczyk)
Extensions of Omega-Regular Languages
Friday, April 1
10:00 -->11:30 ( Igor Walukiewicz)
MSOL-transfer theorems
11:45 -->13:15 (Thomas Colcombet)
The Monadic Theory of Order
