Home Program Directions Code of Conduct


Monday Tuesday Wednesday Thursday Friday
9:00-10:30 Welcome Remarks; Student Presentations Shallow vs. Deep Embeddings Hackthaon Teaming Hackathon Hackathon
10:30-11:00 - Break -
11:00-12:30 Spectra Language and Toolset Debugging the Formal: Some Lessons Learned from Network Modeling Hackathon Checkpoint Team Presentations; Discussions & Closing
12:30-14:00 - Lunch -
14:00-15:30 Introduction to Alloy & Extensions User Studies with Specifications; Specification Engineering Hackathon Hackathon
15:30-16:00 - Break -
16:00-17:30 From the Informal to the Formal (and Back Again) Analyses of Evolution in Specifications Hackathon Hackathon