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