MoVeP 2010 (28. June - 02. July 2010, Aachen)
About
Organization
Program
Schedule
Student session
Registration
Venue
Accommodation
Sponsors
News
Feb. 2012 Homepage of MOVEP 2012
10.7.2010 most of the slides are online
5.7.2010 picture gallery of
MOVEP 2010
18.6.2010 detailed schedule is online
17.6.2010 local information leaflet
31.5.2010 accommodation: special rates
now until June 7
22.5.2010 submission closed
4.5.2010 tentative schedule is online
3.5.2010 abstracts of some talks online
19.4.2010 information on accommodation
14.4.2010 style file for abstracts online
13.4.2010 information on travel grants
12.4.2010 registration is open
12.4.2010 Call for participation
10.4.2010 travel information is online
Important Dates
registration: April 12 - June 1, 2010
submission: until May 21, 2010
(for student session)
special rates for accommodation:
until May 27, 2010
school: June 28 - July 2, 2010
About MoVeP

Aims and Scope

MOVEP is a 5 day summer school about modelling and verifying parallel processes.

The first five MOVEP schools took place in Nantes (France) every two years from 1994 to 2002. The next editions were held in Brussels (Belgium) in December 2004, in Bordeaux (France) in June 2006, and in Orleans (France) in June 2008.

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 2010 include model checking, testing, synthesis, real-time and hybrid systems, games, stochastic systems, security, computational systems biology etc.

Student Sessions

In addition to the tutorials and talks, there will be special sessions where Ph.D. students have the possibility to present their on-going research. See here for more information.

Downloads

  • Call for participation: [PDF]
  • Poster: [PDF]
 Contact
  movep2010@automata.rwth-aachen.de
Disclaimer Chair of Computer Science 7 , RWTH Aachen University. Design by Stylish Website Templates.