Monday, June 2, 2025
| Time | Event | (+) |
| 09:00 - 09:30 | Welcome - Welcoming participants, possibly coffee | |
| 09:30 - 10:20 | Saket Saurabh - Saket Saurabh | |
| 10:30 - 11:00 | Coffee break | |
| 11:00 - 11:25 | Carola Doerr - Carola Doerr | |
| 11:30 - 11:55 | Georg Zetzsche - Georg Zetzsche | |
| 12:00 - 13:30 | Lunch | |
| 13:30 - 14:20 | Sandra Kiefer - Sandra Kiefer | |
| 14:30 - 15:00 | Coffee break | |
| 15:00 - 15:25 | Amik Raj Behera - Amik Raj Behera | |
| 15:30 - 15:55 | B. Srivathsan: Synthesizing Asynchronous Automata from Fair Specifications - B. Srivathsan |
|
| 16:00 - 17:00 | Coffee break |
Tuesday, June 3, 2025
| Time | Event | (+) |
| 09:30 - 10:20 | Claire Mathieu - Claire Mathieu | |
| 10:30 - 11:00 | Coffee break | |
| 11:00 - 11:25 | Stéphane Vialette - Stéphane Vialette | |
| 11:30 - 11:55 | C. Aiswarya - C. Aiswarya | |
| 12:00 - 13:30 | Lunch | |
| 13:30 - 14:20 | Joanna Fijalkow - Joanna Fijalkow | |
| 14:30 - 15:00 | Coffee break | |
| 15:00 - 15:25 | Sébastien Tavenas - Sébastien Tavenas | |
| 15:30 - 15:55 | Sophie Pinchinat - Sophie Pinchinat | |
| 16:00 - 17:00 | Coffee break | |
| 19:00 - 22:00 | Conference Dinner |
Wednesday, June 4, 2025
| Time | Event | (+) |
| 09:30 - 10:20 | Benjamin Monmege - Benjamin Monmege | |
| 10:30 - 11:00 | Coffee break | |
| 11:00 - 11:25 | Sourav Chakraborty - Sourav Chakraborty | |
| 11:30 - 11:55 | K.S. Thejaswini - K.S. Thejaswini | |
| 12:00 - 13:30 | Lunch | |
| 13:30 - 14:20 | Sylvain Perifel - Sylvain Perifel | |
| 14:30 - 15:00 | Coffee break |
Thursday, June 5, 2025
| Time | Event | (+) |
| 09:30 - 10:20 | Siddharth Barman: Fair Division Beyond Monotone Valuations - Siddharth Barman |
|
| 10:30 - 11:00 | Coffee break | |
| 11:00 - 11:25 | Nabil Mustafa: The Multiplicative Weights Update Technique - Nabil Mustafa |
|
| 11:30 - 11:55 | Patricia Bouyer-Decitre - Patricia Bouyer-Decitre | |
| 12:00 - 13:30 | Lunch | |
| 13:30 - 14:20 | Supratik Chakraborty - Supratik Chakraborty | |
| 14:30 - 15:00 | Coffee break | |
| 15:00 - 15:25 | K.V. Subrahmanyam - K.V. Subrahmanyam | |
| 15:30 - 15:55 | Anantha Padmanabha: Decidable fragments of First Order Modal Logic - Anantha Padmanabha |
|
| 16:00 - 17:00 | Coffee break |
Friday, June 6, 2025
| Time | Event | (+) |
| 09:30 - 10:20 | Nutan Limaye - Nutan Limaye | |
| 10:30 - 11:00 | Coffee break | |
| 11:00 - 11:25 | Ramprasad Saptharishi - Ramprasad Saptharishi | |
| 11:30 - 11:55 | Olaf Beyersdorff - Olaf Beyersdorff | |
| 12:00 - 13:30 | Lunch | |
| 13:30 - 14:20 | Dmitry Chistikov - Dmitry Chistikov | |
| 14:30 - 15:00 | Coffee break | |
| 15:00 - 15:25 | Jonas Ellert - Jonas Ellert | |
| 15:30 - 15:55 | Marie Fortin - Marie Fortin | |
| 16:00 - 17:00 | Coffee break |
