Program Schedule
CERTAIN is structured as a full-day workshop. The morning establishes the formal assurance of AI-enabled systems, with the Student Award Talks placed immediately after a keynote to give emerging researchers a central platform. Future Pitches then lead directly into posters and lunch, turning shared interests into conversations. The afternoon develops the complementary theme of AI for formal reasoning and concludes with extended Guided Discussions, converting the day's ideas into open problems and potential collaborations.
Morning
| 08:55–09:00 | Opening remarks |
| 09:00–09:40 | Keynote 1Marta Kwiatkowska |
| 09:40–10:05 | Invited 1Chuchu Fan |
| 10:05–10:20 | BreakCoffee break |
| 10:20–10:45 | Invited 2Lucas Garcia |
| 10:45–11:25 | Keynote 2Yoshua Bengio |
| 11:25–12:05 | Student Award TalksStudent Award Talks |
| 12:05–12:35 | InteractiveFuture Pitches |
Afternoon
| 12:35–13:45 | Posters & LunchStudent posters and lunch |
| 13:45–14:25 | AMA KeynoteLeonardo de Moura |
| 14:25–14:50 | Invited 3Shubho Sengupta |
| 14:50–15:05 | BreakCoffee break |
| 15:05–15:30 | Invited 4Gabriel Poesia |
| 15:30–15:55 | Invited 5Mirco Giacobbe |
| 15:55–17:00 | InteractiveGuided Discussions |
| 17:00–17:05 | Closing remarks |