Timetable

Toggle to add or remove courses from the tables below.

Invited
IYPP Implement your POPL Paper
Introductory
Advanced
Time Monday Tuesday Wednesday Thursday Friday
LectureExercise LectureExercise LectureExercise LectureExercise LectureExercise
8:50–9:00 Coffee/tea/biscuits
9:00–9:55 LCCA LCCACAL LCCACAL LCCACAL LCCACAL
10:00–10:55 TTUA TTUA
CBPVICR
 TTUA
CBPVICR
 TTUA
CBPVICR
 TTUA
CBPVICR
11:00–11:30 Coffee/tea/biscuits
11:30–12:25 CT CTSHT CTSHT CTSHT CTSHT
12:30–14:00 Lunch
14:00–14:55 IYPP IYPP IYPP IYPP
15:00–15:55
CBPVSHT
 TTUA
CBPVSHT
 TTUA
CBPVSHT
 TTUA
CBPVSHT
 TTUA
16:00–16:30 Coffee/tea/biscuits
16:30–17:25
ICRCAL
CTLCCA
ICRCAL
CTLCCA
ICRCAL
CTLCCA
ICRCAL
CTLCCA
17:30–18:00
19:00–21:00

Parallel sessions: Where two courses appear in one cell, they run simultaneously in separate rooms — participants choose one.

Monday exercise classes: No exercises on Monday morning. TTUA exercises begin at 15:00; CT and LCCA exercises at 16:30.

Room Allocations

All lectures and exercise classes are held on the ground floor of the Sir Clive Granger building.

Lecture Rooms

Course Monday Tuesday Wednesday Thursday Friday
Implement your POPL Paper IYPP A48A48A48A48
Lambda Calculus & Combinatory Algebra LCCA A48A48A48A48A48
Type Theory using Agda TTUA A48A48A48A48A48
Category Theory CT A48A48A48A48A48
Effects & Call-By-Push-Value CBPV A48A39A39A40
Synthetic Homotopy Theory SHT A39A48A48A48
Categorical Algebra & Logic CAL A48A48A48A48
Inductive & Coinductive Reasoning ICR A39A39A39A40

Note: the courses Effects & Call-By-Push-Value and Inductive & Coinductive Reasoning change lecture rooms on Thursday.

Classrooms

Course Monday Tuesday Wednesday Thursday Friday
Lambda Calculus & Combinatory Algebra LCCA A44A44A44A44
Type Theory using Agda TTUA A42A42A42A42
Category Theory CT A42A42A42A42
Effects & Call-By-Push-Value CBPV A42A42A42A42
Synthetic Homotopy Theory SHT A42A42A42A42
Categorical Algebra & Logic CAL A42A42A42A42
Inductive & Coinductive Reasoning ICR A44A44A44A44