Professional activities
PC co-chair of
CONCUR'2019
in Amsterdam, The Netherlands, 26-31 August 2019
PC member of
FMICS'2019
in Amsterdam, The Netherlands, 30-31 August 2019
PC member of
ICALP'2019
in Patras, Greece, 8-12 July 2019
PC member of
FSEN'2019
in Tehran, Iran, 1-3 May 2019
Editor of
Logical Methods in Computer Science
Editor of
Electronic Proceedings in Theoretical Computer Science
Member of the
CONCUR
steering committee
Chair of the board of the
Institute for Programming research and Algorithmics (IPA)
Member of
IFIP WG 1.8: Concurrency Theory
Member of the
Formal Methods Europe Book Review Committee