ReacTS
’26WorkshopValletta, MaltaNovember 24, 2026
- Logic
- Formal Methods
Dates & Deadlines
Official page- AbstractSep 8passed
- PaperSep 16passed
- NotificationOct 16passed
- Camera-readyNov 62w
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
Last updated Sep 10, 2026