Activities

I have served on several program committees: CAV'21 (co-chair), CALCO'21 (co-chair), FORTE 2017 (co-chair), MFPS 2020, ... (see more).

I am the chair of Conference Committee of ACM SIGLOG, and was the Secretary of its Executive Committee 2013-2019. I am a member of the Steering Committee of LICS, PLMW, CMCS and ICE.

I was the co-chair of the organization committee of MFPS and CALCO 2019, WoLLIC 2017, CALCO 2015, MFPS 2015, and CMCS'10 and the publicity chair of CMCS and CALCO in the period 2012-2015. I was also a member of the organizing committee of DisCoTec'10.

I have given invited talks at FSTTCS 2019, MFCS 2019, VECoS 2018, CiE 2018, BCTCS 2018, FSCD 2017, LearnAut 2017, TACL 2017, RAMiCS 2017, CWI Lectures in honour of Adriaan van Wijngaarden (100th anniversary), CSL 2016, BLC 2016, ICE 2016, WIP 2016, CMCS 2016 (invited tutorial speaker), CONCUR 2015, WOLLIC 2015 (invited talk and tutorial), TRENDS 2014, MFPS 2014, APLAS 2013, FICS 2013 and TbiLLC 2013.

From 2011-2015, I was the site representative in Nijmegen of COIN: Coalgebra in the Netherlands, a bi-monthly seminar, alternatingly taking place at CWI and the Radboud University Nijmegen. From 2012-2014, I co-organized the Brouwer seminar. From 2008-2011, I organized with Frank de Boer the ACG seminar.

I collaborate(d) with wonderful people: