member of programme committee, WTSC 2020
member of programme committee, PADL 2020
member of programme committee, WTSC 2019
chair of programme committee, TyDe '16
co-organizer, Agda Implementors' Meeting XXIII 2016
member of organizing committee, SPLS 2016
member of programme committee, TLCA 2015
member of programme committee, APLAS 2014
organizer, Agda Implementors' Meeting XX
member of programme comittee, SPLST 2011
member of organizing committee, ETAPS 2012
chair of programme committee, MSFP 2012
member of EURAXESS advisory board 2011-2015
organizer, Epigram meeting 2010
chair of programme committee, MSFP 2010
member of organizing committee, DTP 2008
member of organizing committee, TYPES 2006