WM2012FPSessionPart1

Chair: Mary

10.00	Johan	TBA
10.25	Michal	Shrinking a term
10.40	Nikita	A SAT-based approach to the phase ordering problem
10.55	Break
11.05	Shayan	On Bidirectionalization -- the free return ticket!
11.30	Koen	Testing Grammars