12. EUROCAST 2009: Las Palmas de Gran Canaria, Canary Islands, Spain

Systems Theory and Simulation: Formal Approaches

Computation and Simulation in Modelling Biological Systems

Intelligent Information Processing

Applied Formal Verification

Computer Vision and Image Processing

Mobile and Autonomous Systems: Robots and Cars

Simulation Based System Optimization

Signal Processing Methods in Systems Design and Cybernetics

Polynomial Models in Control System Design

Heuristic Problem Solving

Simulation and Formal Methods in Systems Design and Engineering

Models of Co-operative Engineering Systems

a service of Schloss Dagstuhl - Leibniz Center for Informatics