[Apologies for multiple postings] ================================================ 13th MOVEP Summer School on Modelling and Verification of Parallel Processes
ENS Paris-Saclay, Cachan, France July 16 - 20, 2018 https://www.benedikt-bollig.org/movep-2018 ================================================ MOVEP is a five-day summer school on modelling and verification of parallel processes. It aims to bring together researchers and students working in the fields of control and verification of concurrent and reactive systems. MOVEP 2018 will consist of ten invited tutorials. In addition, there will be special sessions that allow PhD students to present their on-going research (each talk will last around 20 minutes). Extended abstracts (2-4 pages) of these presentations will be published in informal proceedings. ================== Confirmed Speakers ================== * Olivier Bournez (Ecole Polytechnique, LIX, France) Dynamical Systems * Vincent Cheval (Inria, LORIA, France) Verification of Cryptographic Protocols * Bernd Finkbeiner (Universität des Saarlandes, Germany) Synthesis of Reactive Systems * Frédéric Herbreteau (Université de Bordeaux, Bordeaux INP, CNRS, LaBRI, France) Verification of Timed Systems * Marcin Jurdzinski (University of Warwick, UK) Parity Games * Daniel Neider (Max Planck Institute for Software Systems, Kaiserslautern, Germany) Automata Learning * Sylvain Schmitz (LSV, ENS Paris-Saclay & CNRS & Inria, France) Algorithmic Complexity of Well-Quasi-Orders * Ana Sokolova (University of Salzburg, Austria) Semantics of Concurrent Data Structures * Mariëlle Stoelinga (University of Twente, The Netherlands) Risk happens and stochastic model checking can help * Nikos Tzevelekos (Queen Mary University of London, UK) Automata over Infinite Alphabets ========================================= Important Dates for Student Presentations ========================================= - Deadline for abstracts: April 9, 2018 - Notification of acceptance: April 27, 2018 ============ Organization ============ Co-chairs: - Benedikt Bollig (CNRS, LSV, ENS Paris-Saclay, France) - Peter Habermehl (Université Paris Diderot, France) Program committee: - Parosh Abdulla (Uppsala University, Sweden) - Christel Baier (TU Dresden, Germany) - Ezio Bartocci (Vienna University of Technology, Austria) - Benedikt Bollig (CNRS, ENS Paris-Saclay, France) - Giorgio Delzanno (DIBRIS, Università di Genova, Italy) - Christoph Haase (University of Oxford, UK) - Peter Habermehl (Université Paris Diderot, France) - Nicolas Markey (CNRS, Université Rennes, France) - Mark Ryan (University of Birmingham, UK) - Mahsa Shirmohammadi (CNRS, Aix-Marseille Université, France) - Jiri Srba (Aalborg University, Denmark) - Slawomir Lasota (University of Warsaw, Poland) - Tomas Vojnar (Brno University of Technology, Czech Republic) Steering committee: - Nathalie Bertrand (Inria Rennes-Bretagne Atlantique, Rennes, France) - Giorgio Delzanno (DIBRIS, Università di Genova, Italy) - Thierry Jéron (Inria Rennes-Bretagne Atlantique, Rennes, France) - Didier Lime (LS2N, École Centrale de Nantes, France) - Christof Löding (RWTH Aachen, Germany) - Nicolas Markey (CNRS, Université Rennes, France) ---- [[ 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] ]]
