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 |