SET /
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 |