[FM-India] Call for informal contributions: SynCoP 2019 (ETAPS satellite event)

Étienne André Andre.Etienne at lipn13.fr
Fri Jan 18 06:26:21 IST 2019

                      Call for contributions
                           SynCoP 2019
6th International Workshop on the SYNthesis of COmplex Parameters
                     (ETAPS satellite event)
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 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 behavior, or to verify the behavior for a given range of
parameter values.
The workshop will take place on April 6-7, 2019, in Prague, Czech
Republic, as a satellite event of ETAPS.
Abstracts:                    February 15, 2019 (AoE)
Notification:                February 22, 2019
Final version of abstracts:    March 15, 2019
Workshop:                    April 6-7, 2019
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
* 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, etc.
* validation methods via assertional and regular model checking,
reachability and coverability decision procedures, abstractions, theorem
proving, constraint solving, etc.
* 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,
SynCoP seeks short abstracts only.
Recently published works, ongoing works, or works under submission are
The page limit is 3 pages (excluding bibliography), LNCS style.
All accepted abstracts will be made available to the participants of
SynCoP 2019 but they will not result in referenced publications.
Authors of accepted abstracts will be required to give a presentation
during the workshop.
We intend to select the best abstracts and presentations for a full
paper in a special issue of a journal.
Submissions must be made in English in PDF format through Easychair:
* Christel Baier (Dresden, Germany)
* Nikola Benes (Brno, Czech Republic)
* Benoît Delahaye (Nantes, France)
* Peter Habermehl (Paris, France)
* Nils Jansen (Nijmegen, The Netherlands)
* Jan Kretinsky (Munich, Germany)
* Laura Nenzi (Trieste, Italy)
* Laure Petrucci, Université Paris 13 & CNRS, France
* Jaco van de Pol, Aarhus University, Denmark
* Parosh Abdulla, Uppsala University, Sweden
* Étienne André, Université Paris 13 & CNRS, France
* Giorgio Delzanno, Università degli studi di Genova, Italy
* Peter Habermehl, Université Paris 7 & CNRS, France
* Loïg Jezequel, École Centrale de Nantes & CNRS, France
* Kim Larsen, Aalborg University, Denmark
* Wojciech Penczek, IPI-PAN, Warszawa, Poland
* Laure Petrucci, Université Paris 13 & CNRS, France
SynCoP 2019 is partially supported by French project ANR PACS (Parametric

analyses of concurrent systems). https://lipn.univ-paris13.fr/PACS/

Referenced on https://www.conferences-computer.science/

Étienne André
Université Paris 13

More information about the FMIndia mailing list