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
Our Sponsors

ESF GAMES

GAMES is an ESF Research Networking Programme. It supports events in the area of design and verification of computing systems, using a methodological framework that is based on the interplay of finite and infinite games, mathematical logic and automata theory.
GAMES logo   ESF logo

INRIA Rennes

The French National Institute for Research in Computer Science and Control: INRIA Rennes - Bretagne Atlantique
 
INRIA Rennes logo

ASR/AFSEC (CNRS)

Action AFSEC (Formal Approaches for Communicating Embedded Systems) of the CNRS GDR ASR (Architecture, systems and network).
 
ASR logo   AFSEC logo   CNRS logo

AlgoSyn

AlgoSyn is a graduate school funded by the DFG.
 
AlgoSyn

RWTH Aachen

MOVEP 2010 is hosted by the RWTH Aachen University.
 
RWTH logo
 Contact
  movep2010@automata.rwth-aachen.de
Disclaimer Chair of Computer Science 7 , RWTH Aachen University. Design by Stylish Website Templates.