13. EUROCAST 2011: Las Palmas de Gran Canaria, Canary Islands, Spain

Concepts and Formal Tools

Software Applications

Computation and Simulation in Modelling Biological Systems

Intelligent Information Processing

Heuristic Problem Solving

Computer Aided Systems Optimization

Model-Based System Design, Simulation, and Verification

Computer Vision and Image Processing

a service of Schloss Dagstuhl - Leibniz Center for Informatics