Day 1 (18 September): Andrei Sipoș, Introduction to Type Theory for Interactive Theorem Proving
Day 2 (19 September): Vlad Rusu, Traian Florin Șerbănuță, Introduction to Coq
Day 3 (20 September): Julian Sutherland, Horațiu Cheval, Introduction to Lean
Registration – 18 September, 8:30.
School dinner – 19 September, 18:00 – Institute for Logic and Data Science (Popa Tatu 18).
Each day will have the following schedule:
| 09:00 | Course – Part 1 |
| 10:30 | Coffee break |
| 10:45 | Course – Part 2 |
| 12:15 | Lunch |
| 13:45 | Course – Part 3 |
| 15:15 | Coffee break |
| 15:30 | Course – Part 4 |
| 17:00 | End |