Preliminary schedule of the Workshop "Types, Homotopy Type theory, and Verification"

Monday, June 4

10:15 - 10:50 Registration & Welcome coffee
10:50 - 11:00 Opening remarks
11:00 - 12:00 Talk 1
12:00 - 14:00 Lunch break
14:00 - 15:00 Talk 2
15:00 - 16:00 Talk 3
16:00 - 16:30 Tea and cake
16:30 - 17:30 Talk 4
afterwards Reception

Tuesday, June 5

09:30 - 10:30 Talk 5
10:30 - 11:00 Group photo and coffee break
11:00 - 12:00 Talk 6
12:00 - 14:00 Lunch break
14:00 - 15:00 Talk 7
15:00 - 16:00 Talk 8
16:00 - 16:30 Tea and cake
16:30 - 17:30 Talk 9

Wednesday, June 6

09:30 - 10:30 Talk 10
10:30 - 11:00 Coffee break
11:00 - 12:00 Talk 11
12:00 - 14:00 Lunch break
14:00 - 15:00 Talk 12
15:00 - 16:00 Talk 13
16:00 - 16:30 Tea and cake
16:30 - 17:30 Talk 14

Thursday, June 7

09:30 - 10:30 Talk 15
10:30 - 11:00 Coffee break
11:00 - 12:00 Talk 16
12:00 - 14:00 Lunch break
14:00 - 15:00 Talk 17
15:00 - 16:00 Talk 18
16:00 - 16:30 Tea and cake
16:30 - 17:30 Talk 19

Friday, June 8

09:30 - 10:30 Talk 20
10:30 - 11:00 Coffee break
11:00 - 12:00 Talk 21
12:00 - 14:00 Lunch break
14:00 - 15:00 Talk 22