| Thursday, January 27 | Friday, January 28 | Saturday, January 29 | |
| 09:30-10:20 | Benedikt Bollig (LSV) | Tayssir Touili (LIAFA) | Benoit Razet (TIFR) |
| 10:20-10:50 | Coffee | ||
| 10:50-11:40 | Nathalie Bertrand (INRIA) | Stefan Haar (INRIA/LSV) | Hugo Gimbert (LaBRI) |
| 11:40-12:30 | Manfred Kufleitner (Stuttgart) | Loïc Hélouet (IRISA) | Paritosh Pandya (TIFR) |
| 12:30-14:00 | Lunch | ||
| 14:00-14:30 | K Vasanta Lakshmi (IISc) | Yaron Velner (Tel Aviv) | Ramchandra Phawade(IMSc) |
| 14:30-15:00 | Soumya Paul (IMSc) | B Srivathsan (LaBRI) | Supratik Chakraborty (IIT B) |
| 15:00-15:15 | Coffee | ||
| 15:15-16:05 | Stefan Schwoon (LSV) | S P Suresh (CMI) | Hrishikesh Karmarkar (IIT B) |
| 16:05-16:20 | Coffee | ||
| 16:20-17:10 | Sylvain Salvati (LaBRI) | S Akshay (NUS) | Deepak D'Souza (IISc) |
| 17:10-17:40 | M Praveen (IMSc) | ||
| 19:00-22:30 | Banquet | ||