"There are more things in heaven and earth, Horatio, than are dreamt of in our philosophy"
William Shakespeare
Special & Program Committees
Upcoming events…
- 28th European Symposium on Programming (ESOP '19)
- Italian Conference on Cybersecurity (ITASEC'19)
Old events:
- 8th Workshop on Tools for Automatic Program Analysis (TAPAS2017)
- 44th ACM SIGPALN-SIGTAC Symposium on Principles of Programming Languages (POPL 2017)
- 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