65. Birthday: Ugo Montanari, 2008

Graph Transformation

Constraint and Logic Programming

Software Engineering

Concurrency Theory

Models of Computation

Software Verification

Friends