SynCoP 2018

(formerly SynCoP + PV)

5th International Workshop on Synthesis of Complex Parameters

This event is an ETAPS workshop organized as a series of invited talks. Everyone is welcome to attend and participate in the discussions. There are no formal proceedings.

Scientific objective of SynCoP

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.

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.

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,
  • 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.

Committees

SynCoP general chair (2018)
SynCoP (formerly SynCoP + PV) steering committee

Call for papers

In addition to invited presentations (see below), SynCoP 2018 organizes a call for papers.

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

See the call for papers for further details.

  • Deadline: 15th January, 2018 29th January, 2018 12th February, 2018
  • Notification: 22nd January, 2018 5th February, 2018 19th February, 2018
  • Final version: 20th March, 2018

Confirmed speakers

The following speakers confirmed their participation:

Invited speakers

Nathalie Bertrand

Nathalie Bertrand (Rennes, France)

Title: Population control: how to win when intuition fails?

We consider a population of identical NFA, and view it as a 2-player game: the first player chooses which action to play, and the second one resolves the non- determinism in each copy of the NFA. The objective for the first player is to synchronize all copies to a target state. In this talk, we will report on decidability and complexity of the following parameterized control problem: for every population size, does the first player have a winning strategy ?

Thao Dang

Thao Dang (Grenoble, France)

Title: TBA

Abstract: TBA

Karin Quaas

Karin Quaas (Leipzig, Germay)

Title: TBA

Abstract: TBA

Past editions

SynCoP + PV

SynCoP

PV

Contact

Support

ANR PACS