==================================================================== Call for papers 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 ================= Abstract: January 10, 2016 (AoE) Full papers: January 17, 2016 (AoE) Informal presentations: February 15, 2016 Notification: February 22, 2016 Pre-Proceedings camera ready: March, 7, 2016 Workshop: April 3, 2016 Camera ready: May 15, 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 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 EPTCS LaTeX format (http://www.eptcs.org/) for regular papers and 4 pages for tool papers. All accepted papers will be published in the Electronic Proceedings in Theoretical Computer Science (EPTCS), an international refereed open access, using the Creative Commons CC-BY license. Hereby, the authors retain their copyright. All accepted papers will be referenced using 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=syncop2016 ================= 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).