| time | title | speaker | slides | recording |
|---|---|---|---|---|
| 9:00 | Keynote: TLA+ at Microsoft: 16 Years in Production | David Langworthy | pptx | video |
| 9:45 | Building Hyperscale IoT Services With TLA+ | Vaibhav Sharma | pptx | video |
| 10:30 | Coffee break | |||
| 11:00 | Compiling Distributed System Models into Implementations with PGo | Ivan Beschastnikh | video | |
| 11:45 | S-expressions for Actions with Logic Temporal | David McNeil | video | |
| 12:30 | Lunch | |||
| 14:00 | Exposing Design Flaws in Shared-Clock Systems with TLA+ | Russell Mull | video | |
| 14:25 | Using TLA+ for fun and profit in the development of Elasticsearch | Yannick Welsch | pptx | video |
| 14:45 | Fixing a MongoDB Replication Protocol Bug with TLA+ | William Schultz | video | |
| 15:30 | Coffee Break | |||
| 16:00 | Alloy for TLA+ users | Jay Parlar | ||
| 16:45 | On Advocacy and Instruction | Hillel Wayne | ||
| 17:30 | Discussion and wrap-up | |||
| 18:00 | End of the conference | |||
| 19:00 | Further networking during the Strange Loop Party at the City Museeum |