Tutorials Programme

back to main programme

Saturday (Satellite:Tutorials)

Location: JCMB, room 2511
Registration
8:30 - 9:00		 Registration
Registration
Session 1
9:00 - 10:30
Design by Contract and Automatic Verification for Java with JML and ESC/Java2
Joe Kiniry and Erik Poll
Location: JCMB, room 2511
Coffee
Session 2
11:00 - 12:30
Design by Contract and Automatic Verification for Java with JML and ESC/Java2
Joe Kiniry and Erik Poll
Lunch
Session 3
14:00 - 15:30
Design by Contract and Automatic Verification for Java with JML and ESC/Java2
Joe Kiniry and Erik Poll
Coffee
Session 4
16:00 - 18:00
Design by Contract and Automatic Verification for Java with JML and ESC/Java2
Joe Kiniry and Erik Poll

Sunday (Satellite:Tutorials)

Location: JCMB, rooms 2509 and 2511
Registration
8:30 - 9:00		 Registration
Registration
Session 1
9:00 - 10:30
AVASP: Automatic Validation of Security Protocols,
Jorge Cuellar, Sebastian Modersheim, and Luca Vigano
Location: JCMB, 2509
Coffee
Session 2
11:00 - 12:30
AVASP: Automatic Validation of Security Protocols,
Jorge Cuellar, Sebastian Modersheim, and Luca Vigano
Lunch
Session 3
14:00 - 15:30
AVASP: Automatic Validation of Security Protocols,
Jorge Cuellar, Sebastian Modersheim, and Luca Vigano
Dynamic Compilation and Adaptive Optimization in Virtual Machines
M. Hind
Location: JCMB, room 2511
Coffee
Session 4
16:00 - 18:00
AVASP: Automatic Validation of Security Protocols,
Jorge Cuellar, Sebastian Modersheim, and Luca Vigano
Dynamic Compilation and Adaptive Optimization in Virtual Machines
M. Hind
Evening
7.45pm for 8pm		 Dinner
Dinner at Heights Rooftop Restaurant in the Apex International Hotel, Grassmarket. Situated in one of Edinburgh's oldest parts of town, the restaurant boasts a spectacular view of the castle.