SET /

WM2012FPSessionPart1

Chair: Mary

10.00JohanTBA
10.25MichalShrinking a term
10.40NikitaA SAT-based approach to the phase ordering problem
10.55Break
11.05ShayanOn Bidirectionalization -- the free return ticket!
11.30KoenTesting Grammars