Tue 6 Nov 2018 14:00 - 15:00 at Cabot - Capabilities and Effects

Tue 6 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

13:30 - 15:00
Capabilities and EffectsOCAP at Cabot
13:30
30m
Talk
Designing with Static Capabilities and Effects
OCAP
Colin GordonDrexel University
14:00
60m
Talk
Formal Methods Panel
OCAP
James NobleVictoria University of Wellington, Philipp HallerKTH, Sweden, Colin GordonDrexel University