SynCoP 2018: 5th International Workshop on the Synthesis of Complex Parameters Thessaloniki, Greece, April 14-15, 2018 |
Conference website | https://lipn.univ-paris13.fr/SynCoP2018/ |
Submission link | https://easychair.org/conferences/?conf=syncop2018 |
Abstract registration deadline | January 29, 2018 |
Submission deadline | January 29, 2018 |
SynCoP (formerly SynCoP + PV — International Workshop on Parameterized
Verification) aims at bringing together researchers working on verification and
parameter synthesis for systems with discrete or continuous parameters, in
which the parameters influence the behavior 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 behavior, or to verify the behavior for a given range of
parameter values.
The workshop will take place on April 14-15, 2018, in Thessaloniki, Greece,
as a satellite event of ETAPS.
=================
IMPORTANT DATES
=================
Abstracts: January 29, 2018 (AoE) - two weeks extension
Notification: February 5, 2018
Camera ready abstracts: March, 20, 2018
Workshop: April 14-15, 2018
=================
TOPICS OF THE WORKSHOP
=================
The scientific subject of the workshop covers (but is not limited to) the
following areas:
* parameter synthesis
* parametric model checking
* regular model checking
* robustness analysis
* parameterized 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, etc.
=================
SUBMISSION AND PUBLICATION
=================
SynCoP 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 maid available to the participants of SynCoP 2018 but
they will not result in referenced publications.
Authors of accepted abstracts will be required to give an informal presentation during
the workshop.
Submission will be made in English in PDF format through Easychair:
https://easychair.org/conferences/?conf=syncop2018
=================
INVITED SPEAKERS
=================
* Nathalie Bertrand, Rennes, France
* Marco Faella, Napoli, Italy
* Ichiro Hasuo, Tokyo, Japan
* Karin Quaas, Leipzig, Germany
=================
GENERAl CHAIR
=================
* Loïg Jezequel, Nantes, France
=================
PROGRAM AND STEERING COMMITTEE
=================
* Parosh Abdulla, Uppsala, Sweden
* Étienne André, Villetaneuse, France
* Giorgio Delzanno, Genoa, Italy
* Peter Habermehl, Paris, France
* Kim Larsen, Aalborg, Denmark
* Didier Lime, Nantes, France
* Wojciech Penczek, Warszawa, Poland
* Laure Petrucci, Villetaneuse, France
=================
SUPPORT
=================
SynCoP 2018 is partially supported by French project ANR PACS (Parametric
analyses of concurrent systems).