Boston University Boston University

Types, Semantics, and Applications

June 3-June 13, 2024

Technical Lectures

The sessions are non-overlapping, so participants will have the opportunity to attend all lectures. Each lecture is 80 minutes, including time for questions.

The lectures will be given in room B50 of the Stone Science Building on June 3 through 13, except June 9.
Session 1 is 9:00 AM until 10:20am.
Session 2 is 10:40 AM until noon.
Session 3 is 2:00 PM until 3:20 PM.
Session 4 is 3:40 PM until 5:00 PM.

Morning Afternoon
Date Session 1 Session 2 Session 3 Session 4
MON 6/3 Pfenning Downen Ahmed Silva
TUE 6/4 Pfenning Ahmed Downen Silva
WED 6/5 Silva Downen Pfenning Ahmed
THR 6/6 Silva Arvind / Bourgeat Ahmed Pfenning
FRI 6/7 Pfenning Downen Arvind / Bourgeat Matsakis
SAT 6/8 Arvind / Bourgeat Downen Arvind / Bourgeat Free
SUN 6/9 Free
MON 6/10 Holtzen Stoughton Chong Zdancewic
TUE 6/11 Stoughton Chong Zdancewic Holtzen
WED 6/12 Holtzen Stoughton Chong Zdancewic
THR 6/13 Zdancewic Holtzen Stoughton Chong