Monday, February 1 | Tuesday, February 2 | Wednesday, February 3 | |
09:30-10:20 | P S Thiagarajan (NUS) | Dietmar Berwanger (LSV) | Ahmed Bouajjani (LIAFA) |
10:20-10:50 | Coffee | ||
10:50-11:40 | Paul Gastin (LSV) | Paritosh Pandya (TIFR) | Kamal Lodaya (IMSc) |
11:40-12:30 | Akash Lal (MSR) | Deepak D'Souza (IISc) | Antoine Meyer (M-l-V) |
12:30-14:00 | Lunch | ||
14:00-14:50 | Joel Ouaknine (Oxford) | Tayssir Touili (LIAFA) | Stefan Haar (LSV) |
14:50-15:40 | Benedikt Bollig (LSV) | James Worrell (Oxford) | Stefan Schwoon (LSV) |
15:40-16:10 | Coffee | ||
16:10-17:00 | Sylvain Salvati (LaBRI) | Loic Helouet (IRISA) | Laurent Doyen (LSV) |
17:00-17:50 | S P Suresh (CMI) | ||
19:30-22:30 | Banquet |