Workshop on Symbolic Methods for Cyber Physical Systems

SMCPS 2024

This workshop is addressed to the people interested in the development of Symbolic Methods for Safety and Security of Critical Cyber-physical Systems.

The program consists of 6 talks that will be given by people working and/or interested in the goals of the project “Symbolic rewriting methods for safety and security of critical cyber-physical systems (SYMSAFE)” in the frame of the NATO program Science for Peace and Security (SPS). 

SMCPS 2024 is organized by Department of Computer Science, West University of Timisoara, Romania under the supervision of Prof. Mircea Marin.

It is held on July 11^th 2024 in Timișoara, Romania.