The 10th school of MOVEP will take place at the CIRM in Luminy (Marseille) and will be hosted by the LIF from 3 to 7 of december 2012.


Important dates

  • July 3, 2012: Opening of pre-registration
  • September 3, 2012: Opening of registration
  • October 19, 2012: Submission deadline
  • November 2, 2012: End of registration
  • November 12, 2012: Notification to authors for abstract submission
  • November 21, 2012: Deadline for final version of the abstract
  • December 3–7, 2012: Winter school

School for young researchers about Modelling and Verifying Parallel processes (MOVEP)

call for participation

Aims and scope

MoVeP is a 5 day school about modelling and verifying parallel processes. The 2012 edition of MOVEP school will be the tenth edition of a serie of succesfull meetings :

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 2012 include model checking, synthesis, abstract interpretation, real-time and probabilistic systems, logic, games, Petri nets, security, etc.
The program of the School consists of six 2h30 tutorials and five 1h30 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. Please see the devoted section for submission information.