==================================================================== Call for contributions and participation SynCoP 2020 7th International Workshop on the SYNthesis of COmplex Parameters (ETAPS satellite event) https://project.inria.fr/syncop20/ ==================================================================== 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 25-26, 2020, in Dublin, Ireland, as a satellite event of ETAPS. ================= IMPORTANT DATES ================= Abstracts: March 09, 2020 (AoE) Notification: March 16, 2020
Workshop: April 25-26, 2020 ================= 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 2020 but they will not result in referenced publications. Authors of accepted abstracts will be required to give a presentation during the workshop. Submissions must be made in English in PDF format and sent to the organizers by email at the address [email protected] ================= INVITED SPEAKERS ================= * Anthony Widjaja Lin (TU Kaiserslautern, DE) * Cezara Dragoi (Inria Paris, FR) * Didier Lime (Centrale Nantes, FR) * Jaco van de Pol (Aarhus University, DK, & University of Twente, NL) * Kim G Larsen (Aalborg University, DK) * Michael Blondin (Université de Sherbrooke, CA) * Swen Jacobs (CISPA Helmholtz Center for Information Security, DE) * Tali Sznajder (Université Pierre et Marie Curie, FR) ================= GENERAL CHAIRS ================= * Nathalie Bertrand, Inria Rennes Bretagne Atlantique, France * Benoît Delahaye, Université de Nantes, France ================= PROGRAM AND STEERING COMMITTEE ================= * Étienne André, Université Paris 13 & CNRS, France * Nathalie Bertrand, Inria Rennes Bretagne Atlantique, France * Benoît Delahaye, Université de Nantes, 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 * Jaco van De Pol, Aarhus University, Denmark -- -------------------------------------------- -------------------------------------------- Benoît Delahaye Maître de Conférences Responsable du M1 MIAGE Responsable "Taxe d'Apprentissage" Université de Nantes/LS2N +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] ]]
