Yoo Chung. Luxembourg City, as viewed from one side of the valley.
9th International Workshop on Synthesis of Complex Parameters
April 6-7, 2024
About SynCoP 2024
This event is an ETAPS
workshop organised as a series of invited talks and submitted contributions.
Everyone is welcome to attend and participate in the discussions. There are no
Scientific objective of SynCoP 2024
SynCoP 2024 aims at bringing together researchers working on verification
and parameter synthesis for systems with discrete or continuous parameters, in
which the parameters influence the behaviour of the system in ways that are
complex and difficult to predict. Such problems may arise for real-time, hybrid
or probabilistic systems in a large variety of application domains. The
parameters can be continuous (e.g. timing, probabilities, costs) or discrete
(e.g. number of processes). The goal can be to identify suitable parameters to
achieve desired behaviour, or to verify the behaviour for a given range of
Systems composed of a finite but possibly arbitrary number of identical
components occur everywhere from hardware design (e.g. cache coherence
protocols) to distributed applications (e.g. client-server applications).
Parameterised verification is the task of verifying the correctness of this kind
of systems regardless the number of their components.
Topics of SynCoP 2024
The scientific subject of the workshop covers (but is not limited to) the following areas:
parametric model checking,
regular model checking,
parameterised logics, decidability and complexity issues,
formalisms such as parametric timed and hybrid automata, parametric time(d) Petri nets, parametric probabilistic (timed) automata, parametric Markov Decision Processes, networks of identical processes,
specifications in automata and logic, term and graph rewriting, Petri nets, process algebra, …
validation methods via assertional and regular model checking, reachability and coverability decision procedures, abstractions, theorem proving, constraint solving, …
interactions between discrete and continuous parameters,
tools and applications to hardware design, cache coherence protocols, security and communication protocols, multithreaded and concurrent programs, programs with relaxed memory models, mobile and distributed systems, database languages and systems, biological systems, …
Final version of abstracts:
SynCoP 2024 seeks short abstracts only. Recently published works, ongoing
works, or works under submission are welcome.
The page limit is 3 pages (excluding bibliography) single
column. All accepted abstracts will be made available to the
participants of SynCoP 2024 but they will not result in referenced
Authors of accepted abstracts will be required to give an informal presentation
during the workshop.