TLA+ Community Meeting 2023
Saturday, April 22, 2023
Paris, France

TLA+ Community Event 2023

time (CEST)titlespeakersliderecording
08:00 to 09:00Registration
09:00 to 10:00Presentation of the TLA+ Foundation and of its founding members
10:00 to 10:30Coffee
10:30 to 12:00Tutorial on the TLA+ language and its support toolsIgor Konnov (Informal Systems) & Stephan Merz (Inria)
12:30 to 14:00Lunch
12:30 to 13:05From Hardware Designs to TLA+ Specifications for Timing Analysis of Real-Time SystemsSamira Ait Bensaid, Mihail Asavoae, Farhat Thabet, Mathieu Jan (CEA)
13:05 to 13:40Quint: protocols as code in the logic of TLA+Shon Feder, Igor Konnov, Jure Kukovec, Gabriela Moreira, Thomas Pani (Informal Systems)
13:40 to 14:15A Sound SMT Encoding for TLAPSRosalie Defourné (Inria)
14:15 to 14:50Towards verifying algorithms for model-based engineering with TLA+Olivier Constant (Thales)
14:50 to 15:25TLA+ at AWS: Past, Present, and FutureCezara Dragoi & Scarlet Schwiderski-Grosche (AWS)
15:25 to 16:00Discussion on future work
16:00 to 16:30Coffee
18:00End of the conference

The TLA+ Community Event 2023 will be organized as a satellite of ETAPS 2023 in Paris, on April 22, 2023.