PROGRAM FOR FRIDAY, JUNE 14TH: SESSION VIEW
Days:
previous day
all days
View: with abstractstalk overview
9:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
09:15-10:30
Session 22
Special Session for Peter Aczel
11:00-12:00
Session 23
Special Session for Peter Aczel
13:30-14:50
Session 24
Models of Type Theory
10:30-11:00 Coffee Break
12:00-13:30 Lunch Break
14:50-15:20 Coffee Break