Candidatura al Rettorato 2013-2019
Main Activities
- The 23rd European Symposium on Programming, ESOP 2014. April 2014, Grenoble.
- The 41st ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, POPL2014. January 22-24, 2014. San Diego USA.
- Int. Symp. on Foundations of Open Source Intelligence and Security Informatics. IEEE FOSINT-SI 2013. Niagara Falls, CA. August 26-27, 2013.
- The Fourth International Summer School on Information Security and Protection (ISSISP), Xìan, China, July 21 - 27, 2013.
- ACM PLDI 2013, SAS 2013, and SSP 2013, Seattle Washington USA, June 16-22, 2013.
- IEEE Intelligence and Security Informatics 2013, Seattle Washington, USA. June 4-7, 2013.
- The 40th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, POPL2013! January 23-25, 2013. Rome Italy.
- 14th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI’13, Rome 20-22, 2013.
- ACM SIGPLAN Partial Evaluation and Program Manipulation PEPM'13, Rome 21-22, 2013.
- The 19th International Static Analysis Symposium SAS’12, 11-13 September 2012, Deauville, France.
- Black Hat & DEFCON in Las Vegas, June 25-29, 2012
- 11th Biennial IQSA Meeting Quantum Structures, Cagliari 22-27 August 2012.
- The Alan Turing Centenary Conference, Manchester UK, June 22-25, 2012.
- 2nd Software Security and Protection Workshop (SSP2012), Beijing June 16, 2012.
- Third International Summer School on SW Protection ISSISP12, Tucson Arizona, May 20-25, 2012. slides1.pdf & slides2.pdf
- The 19th CREST Open workshop - Interference and Dependence in London, April 30 and May 1st, 2012.
- Program Protection and Reverse Engineering Workshop, (PPREW), Grenoble March 28-30, 2012.
- Dagstuhl Seminar on Analysis of Executables: Benefits and Challenges, Dagstuhl Jan 29-Feb 3, 2012.
- The 39th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, POPL 2012, Philadelphia USA, January 2012.
- 2011 IEEE Int. Conference on Information Theory and Information Security ICITIS’2011, Hangzhou China, Nov 4-6, 2011.
- The 18th International Static Analysis Symposium SAS’11, Venice 14-16 September 2011.
- IEEE ISI 2011 and SSP2011 (Software Security and Protection Workshop), IEEE Intelligence and Security Informatics, Beijing China, July 10-12, 2011.
- ISISP11, Second International Summer School on Information Security and Protection on Software Security and Protection, Gent, July 4 - 8, 2011. Slides1 , Slides2 , Papers, and pics.
- PLDI 2011, 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, June 4 - 8 San Jose, California.
- IEEE Software - Special Issue on Software Protection.
- 2010 IEEE Int. Conference on Information Theory and Information Security, Beijing China, Dec 17-19, 2010.
- SAS'2010 - 17th International Static Analysis Symposium, Perpignan, France.
- ISISP10, First International Summer School on Information Security and Protection on Software Security and Protection, Beijing, JULY 26 - 30, 2010.
- Amir Pnueli Memorial Symposium, NYU. May 7-9, 2010.
- The 37th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, POPL 2010, Madrid Spain, January 2010.
- Giorgio Levi Festschrift (2009) web-page!!
- 30 Years of Abstract Interpretation, 30YAI, January 09 2008, San Francisco USA, co-located with POPL'08.
- …old stuff!





