Software Verification and Testing Track (SVT) 2025, Catania, Italy - Program Committee

Formal Methods for Autonomous Systems (FMAS) 2024, Manchester, UK - Programme Committee 

Agents and Robots for reliable Engineered Autonomy (AREA) 2024, Santiago di Compostella, Spain - Programme Committee

Integrated Formal Methods (iFM) 2024, Manchester, UK - Programme Committee 

Verification and mOnitoring at Runtime Execution (VORTEX) 2024, Vienna, Austria - Program Committee

Software Verification and Testing Track (SVT) 2024, Avila, Spain - Program Committee

Software Verification and Testing Track (SVT) 2023, Tallinn, Estonia - Program Committee

Software Verification and Testing Track (SVT) 2022, Virtual - Program Committee 

Verification and mOnitoring at Runtime Execution (VORTEX) 2021, Virtual - Program Committee 

Software Verification and Testing Track (SVT) 2021, Gwangju, South Korea - Program Committee

Runtime Verification (RV) 2020, Los Angeles, USA - Program Committee

Software Verification and Testing Track (SVT) 2020, Prague, Czech Republic - Program Committee

MODELSWARD 2020, Valletta Malta - Local Chair

Runtime Verification (RV) 2019, Porto, Portugal - Program Committee

Runtime Verification (RV) 2018, Limassol, Cyprus - Program Chair

Secure Communication in the Quantum Era kickoff meeting 2018, Msida, Malta - Organiser

RUME Workshop 2018, Lisbon, Portugal - Program Committee

Runtime Verification (RV) 2017, Seattle, USA - Program Committee

RV-CuBES 2017, Seattle, USA - Program Committee

Formal Methods on Privacy 2016, Limassol, Cyprus - Program Committee

Runtime Verification (RV) 2016, Madrid, Spain - Program Committee

Summer School on Runtime Verification 2016, Madrid, Spain - Organiser 

National Workshop in ICT (WICT) 2016, Msida, Malta - Organisation Chair

ARVI IC1402 COST action meeting 2015, Valletta, Malta - Organiser

The Computer Science Annual Workshop (CSAW) 2013, Malta - Organiser

Runtime Verification (RV) 2010, St Julians, Malta - Organiser