ABZ 2025
36 views
Skip to first unread message
Stephan Merz
Dec 2, 2024, 9:14:20 AM12/2/24
to tla...@googlegroups.com
ABZ 2025, the 11th International Conference on Rigorous State Based Methods will be organized at the Heinrich Heine University of Düsseldorf, Germany, in June 2025 [1]. Papers describing the use of the TLA+ specification language and its tools are very welcome, and several such papers have been accepted in previous editions of ABZ. The deadline for submitting abstracts is February 3, 2025.
Stephan
[1] https://abz-conf.org/site/2025/
Stephan
[1] https://abz-conf.org/site/2025/
Reply all
Reply to author
Forward
0 new messages