Agents and Robots for reliable Engineered Autonomy (AREA) 2025, Bologna, Italy - Programme Committee
Verification and mOnitoring at Runtime Execution (VORTEX) 2025, Bergen, Norway - Program Committee
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
