Program Committees

I have served on several program committees:

  1. CAV 2021 (co-chair),
  2. CALCO 2021 (co-chair),
  3. FSCD 2021,
  4. CONCUR 2020,
  5. WoLLIC 2020 (co-chair),
  6. MFPSXXXVI,
  7. CAV 2020,
  8. ESOP 2020,
  9. POPL 2020,
  10. DS-FM 2019 (co-chair),
  11. APLAS 2019,
  12. PhDL2019,
  13. WiL 2019,
  14. MPC 2019,
  15. CAV 2019,
  1. ESOP 2019,
  2. FSCD 2019,
  3. MSFP 2018,
  4. ICE 2018,
  5. MFCS 2018,
  6. CONCUR 2018,
  7. CSL 2018,
  8. FORTE 2018,
  9. CMCS'18,
  10. FoSSaCS'18,
  11. MFPS XXXIII (chair),
  12. TbILLC 2017 (co-chair),
  13. FORTE 2017 (co-chair),
  14. Radical'17,
  15. ICFP 2017,
  16. WiL 2017,
  17. PPS 2017,
  18. PLDI 2017,
  1. FSEN 2017,
  2. POPL 2017 (ERC),
  3. SOFSEM 2017,
  4. ICALP 2017,
  5. ESOP 2017,
  6. EXPRESS/SOS 2016,
  7. LSFA 2016,
  8. FORTE 2016,
  9. ICE 2016,
  10. CMCS 2016,
  11. LICS 2016,
  12. POPL 2016,
  13. ICE 2015,
  14. CALCO 2015,
  15. ICTAC 2015,
  16. WoLLiC 2015,
  17. MFPS 2015,
  18. FICS 2015,
  1. CSL 2015,
  2. LICS 2015,
  3. TbILLC 2015,
  4. FOSSACS 2015,
  5. APLAS 2014,
  6. MFPS 2014 (co-chair),
  7. ICE 2014,
  8. LICS 2013,
  9. ICE 2013,
  10. Calco 2013,
  11. Calco Tools 2013,
  12. ICE'12 (co-chair),
  13. CMCS'12,
  14. DS-FCT,
  15. QEST'11,
  16. ICE'11 (co-chair),
  17. ICE'10,
  18. CMCS'10.