TLA+ Community Event @ ETAPS 2025
Table of Contents
1. Overview
- Date: May 4, 2025
- Location: Hamilton, Ontario, Canada
- URL: https://conf.tlapl.us/2025/
- Co-located with: ETAPS 2025
2. 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
3. Schedule
| Session | Content |
|---|---|
| Morning | Technical presentations, tool demos |
| Lunch | Networking |
| Afternoon | New TLA+ tooling developments |
4. Topics
- TLA+ specification language
- Model checking with TLC
- Formal verification
- PlusCal algorithm language