65. Birthday: Ugo Montanari, 2008

Graph Transformation

Constraint and Logic Programming

Software Engineering

Concurrency Theory

Models of Computation

Software Verification

Friends

a service of Schloss Dagstuhl - Leibniz Center for Informatics