News

June 30, 2014Schedule of the student sessions online
June 26, 2014Information on accomodation online
May 14, 2014Tentative schedule online
April 17, 2014Ph.D. Students: Please contribute extended abstracts
April 15, 2014Registrations are now open
March 15, 2014Web site opening

Important Dates

April 15, 2014Opening of registrations
May 16, 2014Submission deadline
May 23, 2014Extended submission deadline
May 27, 2014End of early registrations
June 11, 2014End of registrations
June 13, 2014Notification of abstract acceptance
June 23, 2014Deadline for the final version of abstracts
July 7, 2014Opening of MOVEP'14
July 11, 2014End of MOVEP'14

Aims and Scope

MOVEP is a 5 day summer school about modeling and verifying parallel processes. The first five 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, and Marseilles (France) in 2012.

For the 20th anniversary of the event, the 11th edition will be held once again in Nantes.

General topics relate to specification and verification of computerized systems designed for the control of real-time applications, reactive or critical systems, and involving concurrent 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'14 include model-checking, controller synthesis, software verification, temporal logics, real-time and hybrid systems, stochastic systems, security, run-time verification, etc.

The program of the School consists of six 2h30 tutorials and five 1h30 technical talks.

Student Sessions

In addition to the tutorials and talks, there will be special sessions devoted to Ph.D. students, where they will be able to present their on-going research. Moreover, extended abstracts of these presentations will be published with the proceedings of the school. Please see the dedicated page and the call for student papers for submission information.

Downloads

Supports

CNRS Inria GDR ASR AFSEC Centrale Nantes Université de Nantes Fédération AtlanSTIC IRCCyN LINA Nantes Métropole Conseil Régional Pays de la Loire