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:

Program Committees

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,