conferences.computer.science

All conferences / SynCoP / 2024

SynCoP 2024

9th International Workshop on Synthesis of Complex Parameters

Held6–7 Apr 2024 WhereLuxembourg 🇱🇺 RankCORE absent Website sites.lipn.univ-paris13.fr/workshops/syncop24 ↗
Closed

Submission closed on 25 Feb 2024, after an extension of 21 days.

Submission timeline

  • 25 Feb 2024 Full paper AoE 4 Feb 2024 → 25 Feb 2024 +21 days
  • 26 Feb 2024 Notification
  • 6 Apr 2024 Conference opens

What to submit

Format
3 pages + bibliography
Proceedings
informal

Satellite workshop of ETAPS. Since 2017, SynCoP moved to informal presentations and invited talks only (no formal proceedings).

Call for papers

The call, as published

Reproduced verbatim from the organisers’ announcement, after a deadline extension. The conference’s own page is at sites.lipn.univ-paris13.fr/workshops/syncop24. 

                                Call for Talks


         9th International Workshop on Synthesis of Complex Parameters
                                 (SynCoP 2024)

                             April 6th - 7th, 2024
                          Affiliated with ETAPS 2024
                          Luxembourg City, Luxembourg

https://sites.lipn.univ-paris13.fr/workshops/syncop24



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
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).
Parameterised verification is the task of verifying the correctness of this
kind of systems regardless the number of their components.

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

We thus invite short abstracts that present recently published works, ongoing
works, or works under submission.

SUBMISSION GUIDELINES

SynCoP seeks short abstracts only.

The page limit is *3 pages* (excluding bibliography) in single column. All
accepted abstracts will be made available to the participants of the workshop
but they will not result in referenced publications.

Authors of accepted abstracts will be required to give an informal presentation
during the workshop.

Submission must be in English and submitted in PDF format via a simple email to
syncop24@lipn.univ-paris13.fr.

IMPORTANT DATES (AoE)

 * Submission: February 4, 2024, extended to February 25, 2024
 * Notification: February 26, 2024
 * Final version: March 17, 2024
 * Workshop: April 6-7, 2024

GENERAL CHAIRS

Jaime Arias, CNRS, LIPN, Université Sorbonne Paris Nord, France
Guillaume Cantin, LS2N, Université de Nantes, France

STEERING COMMITTEE

Étienne André, LIPN, Université Sorbonne Paris Nord, CNRS, France
Benoît Delahaye, LS2N, Université de Nante, France
Giorgio Delzanno, Università degli studi di Genova, Italy
Peter Habermehl, Université Paris 7, CNRS, France
Kim Larsen, Aalborg University, Denmark
Wojciech Penczek, IPI-PAN, Warszawa, Poland
Laure Petrucci, LIPN, Université Sorbonne Paris Nord, CNRS, France
Jaco van de Pol, Aarhus University, Denmark

VENUE AND TRAVEL INFORMATION

SynCoP 2024 is part of the European Joint Conferences on Theory and Practice of
Software (ETAPS 2024). Information about venue and travelling in/to Luxembourg
can be found at the webpage of ETAPS.

WORKSHOP ORGANISERS AND CONTACT

All questions about the workshop should be emailed to Jaime Arias and Guillaume
Cantin at syncop24@lipn.univ-paris13.fr.

Data entirely hand-typed, one call for papers at a time. There is no scraper behind any of this: I read the announcement and type the dates in, in the gaps between other work, and with the hope it is useful to others. Organisers then move deadlines without telling anyone, calls get edited in place, and now and then the typing is simply wrong. Treat this as a well-meaning notebook rather than an authority, and check the conference’s own page before you submit anything you care about.