A Tutorial of DISC. Online attendance is free of charge but requires prior registration.
| time (CEST) | title | speaker | slides | recording |
|---|---|---|---|---|
| 14:30-15:30 | Introduction to TLA+ | Stephan Merz | pdf, EWD840, SyncTerminationDetection | video |
| 15:30-15:45 | break | |||
| 15:45-16:15 | Symbolic model checking for TLA+ using Apalache | Igor Konnov | video extended version | |
| 16:15-16:45 | The TLA+ Proof System | Stephan Merz | pdf, EWD840_proof, EWD840, SyncTerminationDetection | video |
| 16:45-17:00 | break | |||
| 17:00-18:00 | Fireside chat on the use of TLA+ and its tools | Igor Konnov, Markus Kuppe, Stephan Merz | video |
Organizing Committee: Stephan Merz, Igor Konnov, Markus Kuppe