Professional Activities
Member in Program Committee
- WST 2021 (program chair)
- SAS 2020
- VECoS 2020
- HCVS 2020
- VECoS 2019
- DICE-FOPARA 2019
- WST 2018
- TAPAS 2018
- FLOPS 2018
- TAPAS 2017
- NSAD 2016
- E-MuCoCoS 2016
- ICLP 2014
- FLOPS 2014
- PROLE 2013
- PEPM 2013
- VMCAI 2013
- WST 2012
- WLPE 2011
- ICLP 2011
- BYTECODE 2011
- CICLOPS-WLPE 2010
- ICLP 2010
- WST 2010
- ISMM 2010
- TGC 2010
- BYTECODE 2010
- BYTECODE 2009 (program chair)
- PLID 2008 (program chair)
- PLID 2007
- WST 2007
- BYTECODE 2007
- SAC 2007