Conferences and Journals
I have been actively involved in the formal methods’ research community for a number of years in the form of various activities.
Organisation of conferences
I have organised several international conferences and summer schools including:
- the MOVEP (Modelling and Verification of Parallel Processes) series. I started this summer school and organised it from 1998 to 2004; I organised the edition of a textbook published by Springer following the 2000 (millenium!) edition. After 20 years MOVEP is still going!
- FORMATS 2008, The 6th International Conference on Formal Modelling and Analysis of Timed Systems. FORMATS (sometimes co-located with QEST) is a leading conference in the area of modelling techniques and tools for timed systems.
- SSV 2012 (webpage has apparently been re-purposed) but the proceedings are still available,
- ATVA 2014, the (International Symposium on Automated Technology for Verification and Analysis) is a leading venue in the area of software verification technology.
I regularly serve on Program Committees (PC) of international conferences and reviewer for journals.
Here is a list of interesting venues I was invited to serve on the PC for:
ATVA 2021, ICFEM 2020, GandALF 2020, HCVS 2020, ATVA 2020, TMPA 2019, ICFEM 2019, GandALF 2019, FORMATS 2019, SV-COMP 2019, ATVA 2019, ACSD 2019, ICFEM 2018, Scala Symposium 2018, ACSD 2018, SV-COMP 2018, TACAS 2018, V2CPS 2017, TMPA 2017, MFCS 2017, SNR 2017, SV-COMP 2017, ATVA 2017, FORTE 2017, ACSD 2017, AAAI 2017, TACAS 2017, MOVEP 2016, ACSD 2016, ATVA 2016, SV-COMP 2016, TACAS 2016, FSTTCS 2015, ATVA 2015, LPAR 2015, FORMATS 2015, SV-COMP 2015, ACSD 2015, ATVA 2014, ACSD 2014, MOVEP 2014, ACSD 2013, FORMATS 2012, ACSD 2012, SSV 2012, RTNS 2012, MOVEP 2012, MOVEP 2010, FORMATS 2009, TIME 2009, FORMATS 2008, MOVEP 2008, MOVEP 2006,
Journals I am regularly reviewing for include: Theoretical Computer Science, Science of Computer Programming, Fundamenta Informatica, IEEE Transactions on Automatic Control,