ReacTS

’26

International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications

WorkshopValletta, MaltaNovember 24, 2026

Logic
Formal Methods

Dates & Deadlines

AbstractSep 8passed
PaperSep 163d
NotificationOct 164w
Camera-readyNov 62mo

Notes

Satellite workshop of SEFM 2026
Camera-ready is for the informal pre-proceedings; the Springer LNCS post-proceedings deadline is not yet announced

Co-located with

SEFMInternational Conference on Software Engineering and Formal MethodsNov 23 – 27, 2026

Last updated Sep 10, 2026