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,