Program

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:00Course – Part 1
10:30Coffee break
10:45Course – Part 2
12:15Lunch
13:45Course – Part 3
15:15Coffee break
15:30Course – Part 4
17:00End