time (CDT) | title | speaker | slides | recording |
---|---|---|---|---|
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) | video | |
10:45 | TLA+ Tiramisu | Hillel Wayne | 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) | video | |
13:45 | Verification and Visualization of a Consensus Algorithm using TLA+ | Afonso das Neves Fernandes (r) | video | |
14:30 | Coffee Break | |||
15:15 | Interactive TLA+ | Jesse Davis & Samyukta Lanka | video | |
16:00 | Elixir Code Generation from TLA + specifications | Gabriela Moreira Mafra (r) | video | |
16:45 | Semantic Highlighting in TLA+ | Andrew Helwer | odp | video |
17:30 | End of the conference |