(apologies for multiple copies)
SynCoP 2016 (ETAPS satellite event) will feature a *session for informal
presentations* where authors can present tools and ongoing or previously
published work. *These presentations will not be subject to proceedings
publication*.
We encourage all interested authors to send an abstract to
[email protected] before Feb 15.
---------------------
====================================================================
Call for informal presentations (abstracts)
SynCoP 2016
3rd International Workshop on the SYNthesis of COmplex Parameters
(ETAPS satellite event)
http://lipn.univ-paris13.fr/SynCoP2016/
====================================================================
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.
The workshop will take place on Sunday, April 3, 2016, in Eindhoven, The
Netherlands,
as a satellite event of ETAPS.
The workshop may be able to (at least partially) support the travel and the
ETAPS workshop registration fees for one or two PhD or Master student(s).
=================
IMPORTANT DATES
=================
Informal presentations: February 15, 2016
Notification: February 22, 2016
Pre-Proceedings camera ready: March, 7, 2016
Workshop: April 3, 2016
=================
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
* 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.
=================
SUBMISSION FOR INFORMAL PRESENTATIONS
=================
SynCoP will feature at least one session where authors can present
tools, ongoing work or previously published work of interest to our
community.
We encourage all interested authors to send an abstract of their
presentation to [email protected]. Selected presentations will be
announced on
February 22 but will not be subject to proceedings publication.
=================
INVITED SPEAKERS
=================
* Gregory Batt, INRIA, France
* Giorgio Delzanno, Universita degli studi di Genova, Italy
=================
PC CHAIRS
=================
* Benoit Delahaye (Universite de Nantes, Nantes, France)
* Jiri Srba (Aalborg University, Aalborg, Denmark)
=================
PROGRAM COMMITTEE
=================
* Nikola Benes, Brno, Czech Republic
* Nathalie Bertrand, Rennes, France
* Alexandre Donzé, Berkeley, USA
* Goran Frehse, Grenoble, France
* Peter Habermehl, Paris, France
* Holger Hermanns, Saarland, Germany
* Joost-Pieter Katoen, Aachen, Germany
* Marta Kwiatkowska, Oxford, UK
* Radu Mardare, Aalborg, Denmark
* Wojciech Penczek, Warszawa, Poland
* Karin Quaas, Leipzig, Germany
* Olivier H. Roux, Nantes, France
* Ocan Sankur, France
* Tayssir Touili, Villetaneuse, France
* Lijun Zhang, China
=================
STEERING COMMITTEE
=================
* Parosh Abdulla, Uppsala, Sweden
* Étienne André, Villetaneuse, France
* Kim Larsen, Aalborg, Denmark
* Didier Lime, Nantes, France
* Wojciech Penczek, Warszawa, Poland
* Laure Petrucci, Villetaneuse, France
=================
PROCEEDINGS CHAIR
=================
* Loig Jezequel (Universite de Nantes, Nantes, France)
=================
SUPPORT
=================
SynCoP 2016 is partially supported by French project ANR PACS
(Parametric analyses of concurrent systems).
--
--------------------------------------------
--------------------------------------------
Benoît Delahaye
Maître de Conférences
Responsable du M1 MIAGE
Responsable "Taxe d'Apprentissage"
Université de Nantes/LINA
+33 (0)2 51 12 58 45
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
