| time | title | speaker | slides |
|---|---|---|---|
| 09:00 | A Tutorial Introduction to TLA+ | Stephan Merz | |
| 10:00 | C2TLA+ – A translator from C to TLA+ | Amira Methni, Matthieu Lemerre, Belgacem Ben Hedia, Serge Haddad, Kamel Barkaoui | |
| 10:30 | Coffee break | ||
| 11:00 | Distributed TLC | Markus A. Kuppe | |
| 12:00 | Integrating ProB into the TLA Toolbox | Dominik Hansen, Jens Bendisposto, Michael Leuschel | |
| 12:30 | Lunch | ||
| 14:00 | The TLA+ Proof System | Jael Kriener, Tomer Libal, Tom Rodeheffer | |
| 15:30 | Coffee Break | ||
| 16:00 | Open discussion on TLA+: method, applications, and tools |