[FM-India] [call for participation] SynCoP + Parameterized Verification 2017 (ETAPS joint workshop, Uppsala, Sweden)

André Étienne Andre.Etienne at lipn13.fr
Thu Mar 9 21:23:56 IST 2017

                      Call for participation

                           SynCoP 2017
4th International Workshop on the SYNthesis of COmplex Parameters
                            PV 2017
3rd International Workshop on Parameterized Verification

                  (a joint ETAPS satellite event)


22-23 April 2017
Uppsala, Sweden

(Early registration deadline: 12th March)

 * Saddek Bensalem (Grenoble, France)
        Compositional Parameter Synthesis

 * Béatrice Bérard (Paris, France)
        Polynomial Interrupt Timed Automata

 * Ahmed Bouajjani (Paris, France)

 * Alain Finkel (Cachan, France)
        WBTS: the new class of WSTS without WQO

 * Joost-Pieter Katoen (Aachen, Germany)
        Advancing Parameter Synthesis in Markov Models

 * Panagiotis Kouvaros (London, England)

 * Kim G. Larsen (Aalborg, Denmark)

 * Ahmed Rezine (Linköping, Sweden)

 * Philipp Rümmer (Uppsala, Sweden)
        Analysis of parameterised timed systems using Horn constraints

 * David Safranek (Brno, Czech Republic)
        Parameter synthesis in dynamical systems by model checking

 * Sun Jun (Singapore)
        Parameterized Verification of Timed Security Protocols with
Clock Drift

 * Florian Zuleger (Vienna, Austria)
        Liveness of Parameterized Timed Networks


SynCoP 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.

Topics of SynCoP

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,
 * parametric 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,
 * interactions between discrete and continuous parameters,
 * tools and applications to major areas of computer science, biology
and control engineering.


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). Parameterized verification is the task of verifying the
correctness of this kind of systems regardless the number of their
components. The workshop is aimed at bringing together researchers
working on Parameterized Verification using

 * 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, …
 * 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, …

* Giorgio Delzanno, Genoa, Italy (PV)
* Peter Habermehl, Paris, France (SynCoP)


* Parosh Abdulla, Uppsala, Sweden
* Étienne André, Villetaneuse, France
* Kim Larsen, Aalborg, Denmark
* Didier Lime, Nantes, France
* Wojciech Penczek, Warszawa, Poland
* Laure Petrucci, Villetaneuse, France

More information about the FMIndia mailing list