==============================================================================
MOVEP 2016: 12th Summer School on Modelling and Verification of Parallel Processes
27 June-1 July 2016, Genova, Italy
Web Site: http://movep2016.dibris.unige.it/
Registrations will open April 10
For information about accomodation, please contact us before registration.
==============================================================================
The 12th European summer school MOVEP will take place in Genova (Italy), from
27 June to 1st July 2016. The event is organized by the Department of
Informatics, Bioengineering, Robotics and System Engineering (DIBRIS) of the
University of Genova.
MOVEP is a 5 day summer school about modeling and verifying parallel
processes. The first six occurrences of the School took place in Nantes
(France) every other year from 1994 to 2002. It then moved to Brussels
(Belgium) in 2004 Bordeaux (France) in 2006, Orléans (France) in 2008,
Aachen (Germany) in 2010, Marseilles (France) in 2012 and Nantes (France) in
2014.
General topics relate to specification and verification of computer systems
and software designed for the control of real-time applications, reactive or
critical systems, and involving concurrent and distributed processes.
The purpose of MOVEP is to bring together researchers, students and people
from industry working in the fields of control and verification of concurrent
and reactive systems. The School seeks to offer a broad spectrum of current
research in this area of theoretical and applied computer science. The topics
covered by MOVEP’16 include model-checking, controller synthesis, software
verification, temporal logics, real-time and hybrid systems, stochastic
systems, security, run-time verification, etc.
The program consists of tutorial sessions and more-focused
technical talks, and student sessions during which Ph.D. Students
are invited to present their on-going research.
The school is sponsored by CNRS as “École thématique 2016”, by INRIA, by GDR
“Informatique Mathématique”, GNCS/Indam, DIBRIS, and University of Genova.
Confirmed speakers and topics:
==============================
Parosh Abdulla, Uppsala University
Nathalie Bertrand, Inria-Rennes
Andreas Podelski, University of Freiburg
Antonin Kucera, Mayasarz University
David Monniaux, Verimag
Angelo Montanari, Università di Udine
Philippe Schnoebelen, LSV-Cachan
Marielle Stoelinga, University of Twente
Jean-Marc Talbot, Marseille
Paolo Tonella, FBK Trento
Preliminary Program
=================
27/6:
Andreas Podelski: Automated software analysis
28/6:
Nathalie Bertrand: Control of probabilistic systems
Tony Kucera: TBA
Marielle Stoelinga: Stochastic model checking
29/6:
Philippe Schnoebelen: Infinite-state Systems
30/6:
Parosh A. Abdulla: TBA
Paolo Tonella: Search based test-case generation
David Monniaux: Inductive invariants
1/6
Angelo Montanari: Temporal Logic, Satisfiability and Model Checking
Jean-Marc Talbot: Tree Automata
Important Dates (please refer to the Website for the full procedure):
=================
April 10, 2016 Opening of registrations
May 10, 2016 Submission deadline
May 25, 2016 End of early registrations
June 10, 2016 End of registrations
June 10, 2016 Notification of abstract acceptance
June 15, 2016 Deadline for the final version of abstracts
June 27, 2016 Opening of MOVEP’16
July 1, 2016 End of MOVEP’16
Registration Fees
====================
We have reserved rooms in student facilities of our University.
Please contact Giorgio Delzanno giorgio.delzanno@unige.it for further information.
Registrations include lunches, coffee breaks, and material for the school.
*Before May 25
Students 380 euros (accomodation from June 26 till July 1).
Students (without accomodation) 300 euros
Other participants 420 euros
*After May 25
Students 480 euros (accomodation from June 26 till July 1).
Students (without accomodation) 400 euros
Other participants 520 euros
Student sessions
================
Students have the opportunity to report on their work by giving short presentations (approx. 15 minutes). T
The presentation should introduce: the research area and main theme, the directions of the work, some results (obtained or expected).
Based on the submissions the organizing committee decides which of the abstracts are accepted for presentation at the school.
Extended abstracts should not exceed 6 pages and should be prepared in english with LaTeX2e using the documents class movep.cls.
Extended abstracts should be sent before May 10 via easychair
Submission site: https://easychair.org/conferences/?conf=movep16
Organizing Committee
====================
Giorgio Delzanno DIBRIS, University of Genova
Nicolas Markey LSV Cachan
Laura Di Rocco DIBRIS, University of Genova
Angelo Ferrando DIBRIS, University of Genova
Francesco Leofante DIBRIS, University of Genova
Steering Committee of MOVEP’16
==============================
Franck Cassez Macquire University Sydney, AU
Thierry Jéron INRIA, Rennes, F
Didier Lime IRCCyN, Nantes, F
Christof Löding RWTH Aachen, DE
Nicolas Markey LSV, Cachan, F
Pierre-Alain Reynier LIF, Marseille, F
Program Committee of MOVEP’16
=============================
Christel Baier Technical University of Dresden
Paolo Baldan Department of mathematics, University of Padua
Nathalie Bertrand Irisa/Inria Rennes
Dirk Beyer University of Passau
Patricia Bouyer LSV, ENS Cachan
Véronique Bruyère UMONS, Mons
Krishnendu Chatterjee IST Austria
Alessandro Cimatti FBK Trento
Giorgio Delzanno DIBRIS, University of Genova
Pierre Ganty IMDEA Software Institute
Silvio Ghilardi Department of Mathematics, University of Milano
Hugo Gimbert LaBRI, Bordeaux
Roberto Giacobazzi University of Verona
Javier Esparza TU München
Joost-Pieter Katoen RWTH Aachen University
Marta Kwiatkowska Oxford University
François Laroussinie LIAFA, University Paris 7
Salvatore La Torre Department of mathematics, University of Salerno
Giuseppe Lipari University of Lille
Nicolas Markey LSV, ENS Cachan
Annabelle McIver Macquarie University, Sydney
Benjamin Monmege LIF, Aix-Marseille Université
Angelo Montanari University of Udine
Aniello Murano University of Napoli “Federico II”
Jean-Francois Raskin ULB, Brussels
Olivier Roux IRCCyN, EC Nantes
Jiri Srba Department of Computer Science, Aalborg University