The ninth school took place in Aachen (Germany) in 2010 and was hosted by the RWTH Aachen University. The school was financially supported by the ESF GAMES project, by INRIA Rennes, the Action AFSEC of the CNRS, and the DFG Research and Tranining Group AlogSyn.