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

Name: International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications
Start: 2024-11-05
End: 2024-11-05

International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications will be held in Aveiro, Portugal

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.

The event welcomes contributions in all research areas related to: computer science, semantics, modelling, logical methods.

Accepted regular papers will be published after the Workshop by Springerin a volume of Lecture Notes in Computer Science

The deadline for submitting contributions is: Aug 20, 2024

Date

05 Nov. 2024
05 Nov. 2024

City

Aveiro

Country

Portugal

Topic Area

Mathematics and Statistics

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

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

Date

City

Country

Topic Area

Share With Colleagues