Events

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

since 2021 GDR GPL working groupe “trustworthY and Optimal Dynamic Adaptation” (Yoda) Co-organiser (with Hélène Coullon and Rabéa Ameur-Boulifa)
since 2021 International Conference on Formal Methods for Industrial Critical Systems (FMICS 2021) PC member
since 2020 International Colloquium on Theoretical Aspects of Computing (ICTAC 2020, 2021) PC member
since 2020 International Conference on Microservices (Microservices 2020) PC member
since 2020 Topics in Theoretical Computer Science (TTCS 2020) PC member (Track B)
since 2019 Workshop on Formal Approaches for Advanced Computing Systems (FAACS 2019, 2020) PC member
since 2018 International Conference on Formal Methods in Software Engineering (FormaliSE 2018, 2019, 2020, 2021) PC member
PC chair in 2021 (with Laura Semini)
since 2018 Embedded Systems and the Internet of Things track at Euromicro Software Engineering and Advanced Applications conference (ES-IoT@SEAA 2018, 2019, 2020) PC member
since 2017 International Workshop on Foundations of Coordination Languages and Self-Adaptative Systems (FOCLASA 2017, 2018, 2019, 2020) PC member
since 2016 International Conference on Coordination Models and Languages (Coordination 2016, 2017, 2018, 2019, 2020, 2021) PC member
PC chair (2020, with Laura Bocchi)
SC member (since 2020)
since 2016 International Conference on Formal Aspects of Component Software (FACS 2016, 2017, 2018, 2019, 2021) PC member
2020 NASA Formal Methods Symposium (NFM 2020) PC member
2015-2020 International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2015, 2016, 2017, 2018, 2019, 2020) PC member
PC chair in 2018 (with Faouzi Atig)
2018–2019 International Workshop on Methods and Tools for Rigorous System Design (MeTRiD 2018, 2019) PC chair (with Saddek Bensalem in 2018, Panagiotis Katsaros in 2019)
2008–2019 Interaction and Concurrency Experience (ICE)
(A link to ICE 2019)
PC member,
PC co-chair (2010–2011),
SC member (2012–2019)
2017–2019 Formal Approaches to Parallel and Distributed Systems (4PAD 2017, 2018, 2019)

PC member,
PC chair in 2017 (with Borzoo Bonakdarpour),
SC member (2018–2019)

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