Committees
PC member of
FICS'2012
in Tallinn, Estonia, 24 March 2012
PC member of
SAC-SVT'2012
in Riva del Garda, Italy, 25-29 March 2012
IPC member of
ADHS'2012
in Eindhoven, The Netherlands, 4-8 June 2012
PC member of
CONCUR'2012
in Newcastle upon Tyne, UK, 3-8 September 2012
Editor of
Electronic Proceedings in Theoretical Computer Science
Member of the advisory board of the ISC international journal
ISeCure
on information security
Chair of the board of the
Institute for Programming research and Algorithmics (IPA)
Member of
IFIP WG 1.8: Concurrency Theory