| 09:00 | Welcome & Opening Announcements | | | |
| 09:10 | Keynote: What can you do with a few days? | Mike Lusignan | | video |
| 10:00 | Verifying Payment Channels with TLA+ | Matthias Grundmann (r) | pdf | video |
| 10:45 | TLA+ Tiramisu | Hillel Wayne | pdf | video |
| 11:30 | Ask me anything TLA+ | Leslie Lamport (r) | | video |
| 12:00 | Lunch | | | |
| 13:00 | TLA+ Specification and Model Checking of the Agoric Smart Contracts Kernel | Andrey Kupriyanov & Daniel Tisdall (r) | pdf | video |
| 13:45 | Verification and Visualization of a Consensus Algorithm using TLA+ | Afonso das Neves Fernandes (r) | pdf | video |
| 14:30 | Coffee Break | | | |
| 15:15 | Interactive TLA+ | Jesse Davis & Samyukta Lanka | pdf | video |
| 16:00 | Elixir Code Generation from TLA + specifications | Gabriela Moreira Mafra (r) | pdf | video |
| 16:45 | Semantic Highlighting in TLA+ | Andrew Helwer | odp | video |
| 17:30 | End of the conference | | | |