====================================================================
                          Call for papers                          

                            SynCoP 2015
 2nd International Workshop on the SYNthesis of COmplex Parameters
 
                      (ETAPS satellite event)

              http://lipn.univ-paris13.fr/SynCoP2015/             
====================================================================


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 Saturday, April 11, 2015, in London, UK, 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
=================
Abstract:               January 26, 2015 (extended)
Full papers:            February 2, 2015 (extended)
Informal presentations: February 20, 2015
Notification:           February 27th, 2015
Workshop:               April 11th, 2015
Camera ready:           May 1st, 2015


=================
 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 and control 
engineering.


=================
 SUBMISSION AND PUBLICATION
=================

SynCoP seeks both regular papers and tool papers.

The content of papers should be original and not submitted elsewhere. All 
papers will be assigned to at least three reviews.

The page limit is 12 pages in OASIcs LaTeX format 
(http://www.dagstuhl.de/en/publications/oasics/) for regular papers and 4 
pages for tool papers.
All accepted papers will be published in the Dagstuhl's OpenAccess Series in 
Informatics (OASIcs), using the Creative Commons CC-BY license. Hereby, the 
authors retain their copyright. All accepted papers will be referenced using 
an ISBN and a DOI in all major databases (such as DBLP).

Accepted tool papers will be required to do a demo during the workshop.

Submission will be made in English in PDF format through Easychair:
https://www.easychair.org/conferences/?conf=syncop2015


=================
INVITED SPEAKERS (confirmed)
=================
* Parosh Abdulla, Uppsala, Sweden
	"Cut-offs in Parameterized Verification"

* Marta Kwiatkowska, Trinity College, Oxford, UK
	TBA


=================
   PC CHAIRS
=================
* Etienne Andre (Universite Paris 13, Sorbonne Paris Cite, France)
* Goran Frehse (Universite Joseph Fourier Grenoble 1 - Verimag, France)


=================
PROGRAM COMMITTEE
=================

* Alessandro Cimatti, Trento, Italy
* Benoit Delahaye, Nantes, France
* Giorgio Delzanno, Genova, Italy
* Alexandre Donze, Berkeley, USA
* Laurent Fribourg, Cachan, France
* Antoine Girard, Grenoble, France
* Peter Habermehl, Paris, France
* Claude Jard, Nantes, France
* Vineet Kahlon, Austin, TX, USA
* Sumit Kumar Jha, Orlando, USA
* Kim Larsen, Aalborg, Denmark
* Didier Lime, Nantes, France
* Wojciech Penczek, Warszawa, Poland
* Laure Petrucci, Villetaneuse, France
* Olivier H. Roux, Nantes, France
* Jiri Srba, Aalborg, Denmark
* Jun Sun, Singapore
* Ashish Tiwari, USA
* Tayssir Touili, Villetaneuse, France
* Tomas Vojnar, Brno, Czech Republic


=================
   TOOL DEMONSTRATION CHAIRS
=================
* Laure Petrucci, Villetaneuse, France
* Jiri Srba, Aalborg, Denmark


=================
   PUBLICITY CHAIRS
=================
* Benoit Delahaye, Nantes, France
* Claude Jard, Nantes, France


=================
SUPPORT
=================
Partially supported by ANR PACS 2014 (Agence Nationale de la Recherche,
Parametric Analyses of Concurrent Systems)