TLA+ Community Event @ ETAPS 2025
Overview
- Date: May 4, 2025
- Location: Hamilton, Ontario, Canada
- URL: https://conf.tlapl.us/2025/
- Co-located with: ETAPS 2025
Notes
- Forum for industrial and academic TLA+ users
- Technical presentations and tool demonstrations
- Case studies from industry and academia
- See tla-etaps-2025 repo for detailed notes
Schedule
| Session | Content |
|---|---|
| Morning | Technical presentations, tool demos |
| Lunch | Networking |
| Afternoon | New TLA+ tooling developments |
Topics
- TLA+ specification language
- Model checking with TLC
- Formal verification
- PlusCal algorithm language