Professional Activities

Member in Program Committee

  1. ICLP 2014
  2. FLOPS 2014
  3. PEPM 2013
  4. VMCAI 2013
  5. WST 2012
  6. WLPE 2011
  7. ICLP 2011
  8. BYTECODE2011
  9. WST 2010
  10. CICLOPS-WLPE2010
  11. ICLP 2010
  12. TGC 2010
  13. ISMM 2010
  14. BYTECODE 2010
  15. BYTECODE 2009 (Program co-Chair with Elvira Albert)
  16. PLID 2008 (Program Chair)
  17. PLID 2007
  18. WST 2007
  19. BYTECODE 2007
  20. SAC 2007, Technical Track on Software Verification