Christian Appold	Improving BDD Based Symbolic Model Checking with Isomorphism Exploiting Transition Relations
Massimo Benerecetti, Marco Faella and Stefano Minopoli	Towards Efficient Exact Synthesis for Linear Hybrid Systems
Laura Bozzelli	New results on pushdown module checking with imperfect information
Laura Bozzelli, Bastien Maubert and Sophie Pinchinat	Opacity Issues in Games with Imperfect Information
Davide Bresolin, Angelo Montanari, Pietro Sala and Guido Sciavicco	An Optimal Decision Procedure for MPNL over the Integers
Davide Bresolin and Marta Capiluppi	A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems
Vaclav Brozek	Optimal Strategies in Infinite-state Stochastic Reachability Games
Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini and Walter Vogler	Automated Analysis of MUTEX Algorithms with FASE
Krishnendu Chatterjee and Nathanaël Fijalkow	A reduction from parity games to simple stochastic games
Makoto Tatsuta and Ferruccio Damiani	Type Inference for Bimorphic Recursion
Rüdiger Ehlers and Bernd Finkbeiner	Reactive Safety
Daniel Funke and Olga Tveretina	Deciding Reachability for 3-Dimensional Multi-Linear Systems
Sten Grüner, Frank G. Radmacher and Wolfgang Thomas	Connectivity Games over Dynamic Networks
Stefan Haar, Christian Kern and Stefan Schwoon	Computing the Reveals-Relation in Occurrence Nets
Markus Latte	Separation of Test-Free Propositional Dynamic Logics over Context-Free Languages
Giacomo Lenzi	On P-transitive graphs and applications
Yoad Lustig and Moshe Vardi	Synthesis from Recursive-Components Libraries
Zhilin Wu	A Decidable Extension of Data Automata
Martin Zimmermann	Optimal Bounds in Parametric LTL Games