Most
Professional
Activities
- Founding (now
Emeritus) Member
of the IFIP Working Group 1.3
Foundations of
Systems Specification
- Member of the Steering
Committee of:
- International
Conference on Graph Transformation ICGT
- Former Member
of the Steering
Committee of:
- International
Workshop on Algebraic Development Techniques WADT 1997-2017
- Conference on
Algebra and Coalgebra in Computer Science CALCO 2005-2016
- Member of the
(current or recent) Program
Committee of: