posted by user: delzannog || 4095 views || tracked by 3 users: [display]

MOVEP 2016 : 12th Summer School on Modelling and Verification of Parallel Processes

FacebookTwitterLinkedInGoogle


Conference Series : Modeling and Verification of Parallel Processes
 
Link: http://movep2016.dibris.unige.it
 
When Jun 27, 2016 - Jul 1, 2016
Where Genova
Submission Deadline May 10, 2016
Notification Due Jun 10, 2016
Final Version Due Jun 15, 2016
Categories    computer science   verification   logic and automata
 

Call For Papers

==============================================================================


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


Related Resources

SBD Summer School 2024   SoBigData RI Summer School 2024 Empowering data for social good
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
SNPD 2024   27th ACIS International Summer Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
CTISC 2024   2024 6th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2024) -EI Compendex
SSRM 2024   Summer School on Remote Sensing and Microscopy Image Processing
GreeNet Symposium - SGNC 2024   15th Symposium on Green Networking and Computing (SGNC 2024)
UBISS 2024   12th International UBI Summer School
CVIV 2024   2024 6th International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2024) -EI Compendex
StochMod 2024   8th Meeting of the EURO Working Group on Stochastic Modelling
S3P 2024   IEEE-EURASIP Summer School on Signal Processing