Workshop

ReacTS

’26

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

Valletta, MaltaNovember 24, 2026

Logic
Formal Methods

Dates & Deadlines

AbstractSep 82mo
PaperSep 132mo
NotificationOct 163mo
Camera-readyNov 63mo

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 Jul 25, 2026