Some of the conferences I have reviewed for or helped organize either as PC member, local organizer, or student volunteer.
Conference organization
- ISEC’19 – 12th Innovations in Software Engineering Conference
(Program Committee member) - DHS’17 – International Workshop on Methods and Tools for Distributed Hybrid Systems
(Program Committee member) - ALP4IoT’17 – Workshop on Architectures, Languages and Paradigms for IoT
(Program Committee member) - GraMSec’17 & ’16 & ’15 – International Workshop on Graphical Models for Security
(Program Committee member) - RAMiCS’17 – 16th Int. Conf. on Relational and Algebraic Methods in Computer Science
(Program Committee member) - FSCONS’17 – 11th Free Society Conference and Nordic Summit
(Local Organizing Committee member) - RuleML’15 – The 9th International Web Rule Symposium
(Program Committee member) - FM’15 – International Conference on Formal Methods
(Tutorials Co-Chair) - SaFoMe15 – The 2nd International Workshop on Safety and Formal Methods
(Program Committee member) - DEON’12 – 11th International Conference on Deontic Logic in Computer Science
(Program Committee member) - FCT’11 – 18th International Symposium on Fundamentals of Computing Theory
(Publicity Chair & Organizer) - TABLEAUX’09 – 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
(part of organization committee as student volunteer) - DisCoTec’08 – 3rd Federated Event on Distributed Computing Techniques
(part of organization committee as student volunteer) - NWPT’07 – 19th Nordic Workshop on Programming Theory
(part of organization committee as student volunteer) - FLACOS’07 – 1st Workshop on Formal Lang. and Analysis of Contract-Oriented Software
(part of organization committee as student volunteer) - ECOOP’07 – 21st European Conference on Object-Oriented Programming
(part of organization committee as student volunteer)
Sub-reviewer for:
- MPC 2019 – 13th International Conference on Mathematics of Program Construction,
- iFM 2018 – 14th International Conference on integrated Formal Methods,
- ICTAC 2018 – 15th International Colloquium on Theoretical Aspects of Computing,
- FASE 2018 – International Conference on Fundamental Approaches to Software Engineering,
- WADT 2017 – International Workshop on Algebraic Development Techniques,
- FM 2016 – International Symposium on Formal Methods,
- IFIP SEC 2015 – International Conference on ICT Systems Security and Privacy Protection,
- LICS 2015 – Annual ACM/IEEE Symposium on Logic in Computer Science,
- STACS 2015 – Int. Symposium on Theoretical Aspects of Computer Science,
- SEFM 2012, 2010, 2009 – Int. Conference on Software Engineering and Formal Methods,
- FORTE 2015, 2010, 2008 – International Conference on Formal Techniques for Networked and Distributed Systems,
- CONCUR 2019, 2009 – International Conference on Concurrency Theory,
- FACS 2009 – International Symposium on Formal Aspects of Component Software,
- RV 2008 – International Conference on Runtime Verification,
- FLACOS 2010 – Workshop on Formal Languages and Analysis of Contract-Oriented Software,
- FMOODS 2008 – Int. Conf. on Formal Methods for Open Object-based Distributed Systems,