|
FSTTCS 2010: Programme
Wednesday, 15 December, 2010 |
|
|
14:30-15:30
|
Invited Talk:
Wiesław Zielonka
Playing in stochastic environment: from multi-armed
bandits to two-player games
|
|
Chair:
Kamal Lodaya
|
|
|
|
Thursday, 16 December, 2010 |
|
|
|
|
|
|
|
17:15-18:00
|
IARCS Business Meeting
|
|
|
Friday, 17 December, 2010 |
09:00-10:00
|
Invited Talk:
Pavel Pudlák
On extracting computations from propositional proofs
|
|
Chair:
V. Arvind
|
|
|
|
|
14:00-15:30
|
Session 5 |
Chair:
K Narayan Kumar
|
Cyril Nicaud, Carine Pivoteau and Benoît Razet.
Average Analysis of Glushkov Automata under a BST-Like Model
|
Sven Schewe.
Beyond Hyper-Minimisation--Minimising DBAs and DPAs is NP-Complete
|
Udi Boker, Orna Kupferman and Avital Steinitz.
Parityizing Rabin and Streett
|
|
|
|
|
|
Saturday, 18 December, 2010 |
09:00-10:00
|
Invited Talk:
Bruno Courcelle
Special tree-width and the verification of monadic second-order
graph properties
|
|
Chair:
Anil Seth
|
|
|
|
|
|