posted by organizer: petrucci || 1844 views || tracked by 4 users: [display]

SynCoP 2019 : International Workshop on Synthesis of Complex Parameters

FacebookTwitterLinkedInGoogle

Link: https://conf.researchr.org/track/etaps-2019/syncop-2019-papers
 
When Apr 6, 2019 - Apr 7, 2019
Where Prague
Submission Deadline Jan 14, 2019
Notification Due Feb 22, 2019
Final Version Due Mar 15, 2019
Categories    computer science   verification
 

Call For Papers

====================================================================
Call for contributions

SynCoP 2019
6th International Workshop on the SYNthesis of COmplex Parameters

(ETAPS satellite event)

https://conf.researchr.org/track/etaps-2019/syncop-2019-papers
====================================================================

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.

=================
IMPORTANT DATES
=================
Abstracts: January 14, 2019 (AoE)
Notification: February 22, 2019
Final version of abstracts: March 15, 2019
Workshop: April 6-7, 2019


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


=================
SUBMISSION
=================

SynCoP seeks short abstracts only.

Recently published works, ongoing works, or works under submission are welcome.

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:
https://easychair.org/conferences/?conf=syncop2019


=================
INVITED SPEAKERS
=================
* 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)


=================
GENERAL CHAIRS
=================
* Laure Petrucci, Université Paris 13 & CNRS, France
* Jaco van de Pol, Aarhus University, Denmark


=================
PROGRAM AND STEERING COMMITTEE
=================
* 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


=================
SUPPORT
=================
SynCoP 2019 is partially supported by French project ANR PACS (Parametric
analyses of concurrent systems). https://lipn.univ-paris13.fr/PACS/

Related Resources

COMPLEX NETWORKS 2020   COMPLEX NETWORKS 2020 : The Ninth International Conference on Complex Networks and their Applications
AVC 2020   Advances in Vision Computing: An International Journal
Discrete Applied Mathematics of GROW 2020   Special issue of Discrete Applied Mathematics dedicated to the Ninth Workshop on Graph Classes, Optimization, and Width Parameters, GROW 2019.
AIKE 2020   IEEE Artificial Intelligence & Knowledge Engineering 2020
DEBS 2020   14th ACM/IFIP International Conference on Distributed and Event-based Systems 2020 - CFP Research Papers
ACM--NLPIR--Ei Compendex and Scopus 2020   ACM--2020 4th International Conference on Natural Language Processing and Information Retrieval (NLPIR 2020)--Scopus, Ei Compendex
GESB 2021   Genome Engineering and Synthetic Biology (4th edition)
JSE 2020   9th International Conference on Software Engineering and Applications
LABELS 2020   The 5th MICCAI Workshop on Large-scale Annotation of Biomedical data and Expert Label Synthesis
ICSIE--ACM, Ei Compendex, Scopus 2020   2020 9th International Conference on Software and Information Engineering (ICSIE 2020)--ACM, Ei Compendex, Scopus