Guest Editor

  • JLAMP: Journal of Logical and Algebraic Methods in Programming


Organizing Committee

  • SEFM 2019: 17th International Conference on Software Engineering and Formal Methods
    Oslo, Norway.   September 16-20, 2019

  • NWPT 2018: 30th Nordic Workshop on Programming Theory
    Oslo, Norway.   October 24-26, 2018


Program Committee

  • SOFTENG 2020: 6th International Conference on Advances and Trends in Software Engineering
    Lisbon, Portugal.   February, 2020

  • NordSec 2019: 24th Nordic Conference on Secure IT Systems
    Aalborg, Denmark.   November 18-20, 2019

  • NWPT 2019: 31st Nordic Workshop on Programming Theory
    Tallinn, Estonia.   November 13-15, 2019

  • SoftEng 2019: 5th International Conference on Advances and Trends in Software Engineering
    Valencia, Spain.   March, 2019

  • NordSec 2018: 23rd Nordic Conference on Secure IT Systems
    Oslo, Norway.   November 28-30, 2018

  • NWPT 2018: 30th Nordic Workshop on Programming Theory
    Oslo, Norway.   October 24-26, 2018

  • FTSCS 2018: 6th International Workshop on Formal Techniques for Safety-Critical Systems
    Gold Coast, Australia.   November 16, 2018

  • SoftEng 2018: 4th International Conference on Advances and Trends in Software Engineering
    Athens, Greece.   April, 2018


Reviewer

  • JCL: Journal of Computer Languages. April, 2020


Sub-reviewer

  • iFM 2020: 16th International Conference on integrated Formal Methods
    Lugano, Switzerland.   November, 2020

  • SAC 2020: 35th ACM/SIGAPP Symposium On Applied Computing
    Privacy by Design in Practice track (PDP)
    Brno, Czech Republic.   March, 2020

  • FM 2018: 22nd International Symposium on Formal Methods
    Oxford, UK.   July, 2018


Dissertation Committee Member