TLA+ Community Event 2018

Oxford, Great Britain (co-located with FM 2018, part of FLoX 2018)

timetitlespeakerslidesrecording
09:00Keynote: TLA+ in Engineering Systems: QuinceaƱeraDavid Langworthypptxvideo
10:00Modeling Virtual Machines and Interrupts in TLA+ and PlusCalValentin Schneiderpdfvideo
10:30Coffee break
11:00An Animation Module for TLA+William Schultzpdfvideo
11:45BMCMT: Bounded Model Checking of TLA+ Specifications with SMTIgor Konnov, Jure Kukovec, Thanh Hai Tranpdfvideo
12:30Lunch
14:00Applying TLA+ in a Safety-Critical Railway ProjectStefan Reschpdfvideo
14:30Tutorial: State Space Explosion or: How To Fight An Uphill BattleMarkus Kuppepdfvideo
15:30Coffee Break
16:00Proving Properties of a Minimal Covering AlgorithmIoannis Filippidis, Richard M. Murraypdf
16:45Invariants in Distributed AlgorithmsAnnie Liu, Scott D. Stoller, Saksham Chand, Xuetian Wengpdfvideo
17:30Discussion and wrap-up
18:00End of the meeting