8:50 Start
9:00-10:00 Invited Talk (Chair: Luca Cardelli)
10:00-10:30 Break
10:30-12:00 Session 1 (Chair: Martin Odersky)
12:00-2:00 Lunch
2:00-3:00 Session 2 (Chair: Sophia Drossopoulou)
3:00-3:30 Break
3:30-4:30 Session 3 (Chair: John H. Reppy)
4:30-5:30 Discussion