 |
|
|
 |
 |
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 |
|
|
 |
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.
|
|
INRIA Rennes The French National Institute for Research in
Computer Science and Control: INRIA Rennes - Bretagne Atlantique
|
|
ASR/AFSEC (CNRS)
Action AFSEC (Formal Approaches for
Communicating Embedded Systems) of the CNRS GDR ASR (Architecture,
systems and network).
|
|
AlgoSyn
AlgoSyn is a graduate school funded by the DFG.
|
AlgoSyn
|
RWTH Aachen
MOVEP 2010 is hosted by the RWTH Aachen University.
|
|
|
|
