Conference · International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications
ReacTS 2026
Official page- Type
- Conference
- Organisation
- International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications
- Location
- Valletta, Malta
- Submissions close
- 17 September 2026
- Takes place
- 24 November 2026
- Found
- 26 September 2026
About this listing
International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications. Submissions close 2026-09-17. Held in Valletta, Malta. Held with SEFM 2026. Topics: formal methods, logic, semantics. Listed by PLFM (https://pl-fm.github.io/, MIT).
Last checked 9 October 2026. Found via PLFM (pl-fm.github.io).