This page gives a fuller view of the provisional schedule. Speaker names and talk titles will be updated as the program is finalized.
Day 1 — Tuesday, June 16, 2026
| Time | Session | Details |
|---|---|---|
| 9:00 | Welcome | Arrival and opening of the workshop. |
| 9:20 | Introduction | General presentation of the aims of the two days. |
| 9:30-10:30 | Omar Fawzi | tba |
| 11:00-12:00 | Talk 2 | Invited talk. |
| 12:00-13:30 | Lunch break | Buffet. |
| 13:30-14:30 | Ivan Nourdin | tba |
| 15:00-16:00 | Talk 4 | Invited talk. |
Day 2 — Wednesday, June 17, 2026
| Time | Session | Details |
|---|---|---|
| 9:00-10:30 | Cyril Cohen | Hands-on session: formalization |
| 10:35-12:05 | Xavier Roblot | Hands-on session: formalization, Lean and Mathlib |
| 12:05-13:30 | Lunch break | Free lunch break. |
| 13:30-15:00 | Theo Stoskopf | Hands-on session: autoformalization. |
| 15:30-16:30 | Talk 5 | Invited talk. |
| 17:00-18:00 | Talk 6 | Invited talk. |
Notes
This detailed program is provisional. Titles, speakers, and exact session formats may still change. Registration information will be added to the main page as soon as it becomes available.
Return to the main page: AI, Proof and Formalization Days.