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

TLA+ Community Event 2023

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

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