VenueOrlando World Center Marriott
Room nameMagnolia 17
Room InformationNo extra information available
Program

This program is tentative and subject to change.

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sat 17 Jun

Displayed time zone: Eastern Time (US & Canada) change

09:00 - 11:00
(Tutorial) KTutorials at Magnolia 17
09:00
2h
From Zero to Proving: Building Your First Language with the K Framework
Tutorials
Bruce Collie Runtime Verification, Inc.
11:20 - 12:30
(Tutorial) KTutorials at Magnolia 17
11:20
70m
From Zero to Proving: Building Your First Language with the K Framework
Tutorials
Bruce Collie Runtime Verification, Inc.
14:00 - 15:30
(Tutorial) CompilersTutorials at Magnolia 17
14:00
90m
Teaching and Learning Compilers Incrementally
Tutorials
Jeremy G. Siek Indiana University, USA
16:00 - 17:50
(Tutorial) CompilersTutorials at Magnolia 17
16:00
1h50m
Teaching and Learning Compilers Incrementally
Tutorials
Jeremy G. Siek Indiana University, USA

Sat 17 Jun

Displayed time zone: Eastern Time (US & Canada) change

Sun 18 Jun

Displayed time zone: Eastern Time (US & Canada) change

Room9:003010:003011:003012:0030
Magnolia 17

Sat 17 Jun

Displayed time zone: Eastern Time (US & Canada) change