Name: Summer school "Proofs assistants and applications"
Start: 2026-08-31T09:00:00+02:00
End: 2026-09-04T19:50:00+02:00
Location: No location set

Summer school "Proofs assistants and applications"

from Monday, 31 August 2026 (09:00) to Friday, 4 September 2026 (19:50)

Monday, 31 August 2026

09:00 Lecture 1: L. Pujet (L1)
L. Pujet (L1)
09:00 - 10:30

11:00 Lecture 2: Lecturer (L1)
Lecturer (L1)
11:00 - 12:30

14:00 Lecture 1: L. Pujet (Practical)
L. Pujet (Practical)
14:00 - 16:00
Tuesday, 1 September 2026

09:00 Lecture 1: L. Pujet (L2)
L. Pujet (L2)
09:00 - 10:30

11:00 Lecture 3: Lecturer (L1)
Lecturer (L1)
11:00 - 12:30

14:00 Lecture 2: Lecturer (practical)
Lecturer (practical)
14:00 - 16:00

16:30 Speaker (talk)

16:30 - 17:30
Wednesday, 2 September 2026

09:00 Lecture 2: Lecturer (L2)
Lecturer (L2)
09:00 - 10:30

11:00 Lecture 4: Lecturer (L1)
Lecturer (L1)
11:00 - 12:30

14:00 Lecture 3: Lecturer (practical)
Lecturer (practical)
14:00 - 16:00
Thursday, 3 September 2026

09:00 Lecture 3: Lecturer (L2)
Lecturer (L2)
09:00 - 10:30

11:00 Lecture 5: Lecturer (L2)
Lecturer (L2)
11:00 - 12:30

14:00 Lecture 4: Lecturer (Practical)
Lecturer (Practical)
14:00 - 16:00

16:30 Speaker (talk): Speaker (talk)
Speaker (talk)
16:30 - 17:30
Friday, 4 September 2026

09:00 Lecture 5: Lecturer (L2)
Lecturer (L2)
09:00 - 10:30

11:00 Lecture 4: Lecturer (L2)
Lecturer (L2)
11:00 - 12:30

14:00 Lecture 5: Lecturer (practical)
Lecturer (practical)
14:00 - 16:00