Events

I am or was involved in the organisation of the following events:

since 2018 International Conference on Formal Methods in Software Engineering (FormaliSE 2018, 2019) PC member
since 2018
International Workshop on Methods and Tools for Rigorous System Design (MeTRiD 2018, 2019)
PC chair
since 2016 International Conference on Coordination Models and Languages (Coordination 2016, 2017, 2018, 2019) PC member
since 2016 International Conference on Formal Aspects of Component Software (FACS 2016, 2017, 2018, 2019) PC member
since 2015 International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2015, 2016, 2017, 2018, 2019) PC member
PC chair in 2018
since 2008 Interaction and Concurrency Experience (ICE)
(A link to ICE 2019)
PC member,
PC chair (2010–2011),
SC member (since 2012)
since 2017 International Workshop on Foundations of Coordination Languages and Self-Adaptative Systems (FOCLASA 2017, 2018, 2019) PC member
since 2017 Formal Approaches to Parallel and Distributed Systems (4PAD 2017, 2018, 2019)

PC member,
PC chair in 2017,
SC member (since 2018)

2015–2016 International Conference on the Architecture of Computing Systems (ARCS 20152016) PC member
2014–2015 International Workshop on Embedded Multicore Systems (ICPP-EMS 2014, 2015) PC member
2012–2013 Nano-Tera/Artist International Summer School — Aix-les-Bains, France Organiser
2011 International workshop on Structural Operational Semantics (SOS 2011) PC member