[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] ABZ 2025

From: Stephan Merz <stephan.merz@xxxxxxxxx>
Date: Mon, 2 Dec 2024 15:14:02 +0100

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/

-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion visit https://groups.google.com/d/msgid/tlaplus/CAE376FA-57B2-4DAC-A8B8-A3F5A6004693%40gmail.com.

Prev by Date: Re: [tlaplus] Question about importance of "⊨ F⇒ G implies ⊨ □F ⇒□G"
Next by Date: Re: [tlaplus] Question about importance of "⊨ F⇒ G implies ⊨ □F ⇒□G"
Previous by thread: Re: [tlaplus] Why Apalachee reports InvariantViolation for the BakeryTyped spec from its source repo?
Next by thread: [tlaplus] TLAPM now publishes rolling pre-releases
Index(es):
- Date
- Thread