WorkshopIn person

International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications (ReacTS 2026)

Name: International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications (ReacTS 2026)
Start: 2026-11-24
End: 2026-11-24
Location: University of Malta

Hosted by Università ta' Malta

24 November 2026
Add to calendar
Apple / Outlook (.ics)Google Calendar
Welcome to kongre.net
University of Malta, Malta, Malta
Formal SciencesComputer & Information SciencesEngineering & Technology

Let others know you'll be there. This does not register you for the event.

Welcome to kongre.net

Official website

Programme

Published

16 sessions

17 speakers

Browse programme

Call for Papers

Submissions are handled by the organiser

View submission details

Registration

Registration is handled by the organiser

Go to registration

Key facts

International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications (ReacTS 2026) is a workshop held 24 November 2026 in University of Malta, Malta, Malta, organised by Università ta' Malta.

Dates:: 24 November 2026
Format:: In person
Venue:: University of Malta, Malta, Malta
Subjects:: Computer & Information Sciences, Engineering & Technology
Organiser:: Università ta' Malta
Official website:: reacts-workshop.github.io/2026

The 3rd International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications brings together researchers working on different ways to model reconfigurable and reactive systems from a formal perspective.

Conference theme

Reconfigurable Transition Systems: Semantics, Logics and Applications

Objectives

This workshop aims to bring together the whole community of researchers working on different ways to model reconfigurable and reactive systems from a formal perspective, devise novel approaches and potential applications, and share a common perspective on the discipline.