Other scientific activities
- Member of the programme committee of CONCUR 2011.
- Co-chair of EXPRESS 2011.
- Member of the programme committee of YR-CONCUR 2011.
Previous Activities
- Organiser of YR-CONCUR 2010.
- Member of the programme committee of YR-CONCUR 2009.
- Co-organiser of a workshop on Formal Methods for Embedded Systems.
- Member of the programme committee of EXPRESS 2008.
- Member of the programme committee of EXPRESS 2007.
- Member of the programme committee of EXPRESS 2006.
- Guest editor (together with Jos Baeten) of a special
issue of the Journal of Logic and Algebraic Programming on hybrid process theory
- Process Algebra Meetings
- FMICS3