"There are more things in heaven and earth, Horatio, than are dreamt of in our philosophy"
William Shakespeare
GrandCanyon3_2

Special & Program Committees

Upcoming events…

  • 44th ACM SIGPLAN-SIGTAC Symposium on Principles of Programming Languages (POPL 2017)

Old events:
  • PC chair of the 6th Numerical and Symbolic Abstract Domain Workshop (NSAD2016)
  • 1st International Workshop on Software PROtection (SPRO), May, 19th 2015 (co-located with ICSE-2015 -Florence, Italy)
  • Invited to the NII Shonan Meeting Seminar 065 - Low level code analysis and applications to Computer Security. March 2-5, 2015. Japan
  • Organizer of the Cyber Security Day in Verona, event inside the Cyber Security Month organized by ENISA
  • 5th International Summer School on Information Security and Protection (ISSISP 2014), Verona, July 2014
  • Invited speaker at Dagstuhl Seminar 14241 - Challenges in Analysing Executables: Scalability, Self-modifying Code and Synergy. Germany
  • Invited to Dagstuhl Seminar 14171 - Evaluating Software Verification Systems: Benchmarks and Competitions
  • 15th Italian Conference on Theoretical Computer Science (ICTCS’14), 2014
  • 21st International Static Analysis Symposium (SAS’14), Munich, Germany. 2014
  • 15th International symposium on Verification, Model Checking and Abstract Interpretation (VMCAI’14), San Diego, USA. 2014
  • Invited speaker to 27th CREST Open workshop - Malware CREST27, UCL, London. May 29 - 30, 2013
  • PC co-chair of the 14th International symposium on Verification, Model Checking and Abstract Interpretation (VMCAI'13), 2013
  • Member of the ERC (External Review Committee) of the 40th Annual ACM    SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'13), 2013
  • 4th Workshop on Numerical and Symbolic Abstract Domains (NSAD'12), 2012
  • 22nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'12), 2012
  • Invited speaker to 19th CREST Open workshop - Interference and DependenceCREST19, UCL, London. April 30 - May 1, 2012
  • 21st European Symposium on Programming (ESOP'12), 2012
  • 26-esimo Convegno Italiano di Logica Computazionale, (CILC'11), 31 Agosto - 2 Settembre 2011, Pescara
  • International Workshop on Scalable and Usable Model Checking for Petri Nets and other models of Concurrency, (SUMo'11), Japan, June 21, 2011
  • The 17th International Static Analysis Symposium (SAS'10), Perpignan, France, September 14-16 2010
  • ACM SIGPLAN Third Workshop on Programming Languages and Analysis for Security (PLAS'08), Tucson, Arizona, June 2008
  • Thirty years of Abstract Interpretation (30YAI), San Francisco, California, January 9, 2008
  • 3rd International Workshop on Programming Language Interference and Dependence (PLID'07), Kongens Lyngby, Denmark, August 21, 2007
  • 1st International Workshop on Programming Language Interference and Dependence (PLID'04), Verona, Italy, August 25, 2004