| time (CEST) | title | speaker | slides |
|---|---|---|---|
| 08:00 to 09:00 | Registration | ||
| 09:00 to 10:00 | Presentation of the TLA+ Foundation and of its founding members | Stephan Merz (Inria) | |
| 10:00 to 10:30 | Coffee | ||
| 10:30 to 12:00 | Tutorial on the TLA+ language and its support tools | Igor Konnov (Informal Systems) & Stephan Merz (Inria) | part 1 TLA specs part 2 |
| 12:30 to 14:00 | Lunch | ||
| 14:00 to 14:40 | From Hardware Designs to TLA+ Specifications for Timing Analysis of Real-Time Systems | Samira Ait Bensaid, Mihail Asavoae, Farhat Thabet, Mathieu Jan (CEA) | |
| 14:40 to 15:20 | Quint: protocols as code in the logic of TLA+ | Shon Feder, Igor Konnov, Jure Kukovec, Gabriela Moreira, Thomas Pani (Informal Systems) | |
| 15:20 to 16:00 | A Sound SMT Encoding for TLAPS | Rosalie Defourné (Inria) | |
| 16:00 to 16:30 | Coffee | ||
| 16:30 to 17:10 | Towards verifying algorithms for model-based engineering with TLA+ | Olivier Constant (Thales) | pptx |
| 17:10 to 17:50 | TLA+ at AWS: Past, Present, and Future | Cezara Dragoi & Scarlet Schwiderski-Grosche (AWS) | |
| 18:00 | End of the meeting |
v0.2