Tuesday

New Type Theories
10:00 am - 11:00 am
chair: Ambrus Kaposi

Break
11:00 am - 11:30 am

Computation and Intersection Types
11:30 am - 12:30 pm
chair: Silvia Ghilezan

Lunch
12:30 pm - 1:30 pm

Working Groups
1:30 pm - 2:45 pm

Break
2:45 pm - 3:00 pm

Session Logical Relations for Noninterference
3:00 pm - 4:00 pm
by Stephanie Balzer