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.

Most 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.

The evening lectures on June 4 and June 7 will be given in room 1750 of Center for Computing & Data Sciences at 7:00 PM. The evening lecture on June 6 will be given in room B50 of the Stone Science Building

Morning Afternoon
Date Session 1 Session 2 Session 3 Session 4 Evening
MON 6/3 Pfenning Downen Ahmed Silva
TUE 6/4 Pfenning Ahmed Downen Silva Casinghino
WED 6/5 Silva Downen Pfenning Ahmed
THR 6/6 Silva Arvind / Bourgeat Ahmed Pfenning Banerjee
FRI 6/7 Pfenning Downen Arvind / Bourgeat Ahmed Tasiran
SAT 6/8 Arvind / Bourgeat Downen Arvind / Bourgeat Matsakis
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 Chong Stoughton