Home Program Directions Code of Conduct


Sunday Monday Tuesday Wednesday Thursday Friday
9:00-10:30 Welcome remarks; Intro to reactive synthesis Triggers; Vacuity; Systematic exploration Quantitative relational modeling; Alloy4fun Hackathon Hackathon Hackathon
10:30-11:00 - Break -
11:00-12:30 Designing software with complex configurations Synthesis and optimization in Alloy Non-well-separation; Exploratory user study Hackathon Checkpoint Hackathon
12:30-14:00 - Lunch -
14:00-15:30 Robotic mission specification patterns Witnessing model correctness Debugging Alloy; Hackathon ideas; Tool architecture Hackathon Hackathon Team presentations; discussion
15:30-16:00 - Break -
16:00-17:30 Student presentations Spectra architecture & developer tutorial Spectra Hackaton ideas; Hackathon teaming Hackathon Hackathon