3rd CALCO 2009: Udine, Italy

Algebraic Effects and Recursive Equations

Theory of Coalgebra

Coinduction

Bisimulation

Stone Duality

Game Theory

Graph Transformation

Software Development Techniques

CALCO Tools Workshop

a service of Schloss Dagstuhl - Leibniz Center for Informatics