TLA+ Community Event 2014

Toulouse, France (co-located with ABZ 2014)

timetitlespeakerslides
09:00A Tutorial Introduction to TLA+Stephan Merzpdf
10:00C2TLA+ – A translator from C to TLA+Amira Methni, Matthieu Lemerre, Belgacem Ben Hedia, Serge Haddad, Kamel Barkaouipdf
10:30Coffee break
11:00Distributed TLCMarkus A. Kuppepdf
12:00Integrating ProB into the TLA ToolboxDominik Hansen, Jens Bendisposto, Michael Leuschelpdf
12:30Lunch
14:00The TLA+ Proof SystemJael Kriener, Tomer Libal, Tom Rodehefferpdf
15:30Coffee Break
16:00Open discussion on TLA+: method, applications, and tools