Specials

ACM SIGPLAN POPL Intranet

Address
Università di Verona
Dipartimento di Informatica Ca' Vignal 2, Strada Le Grazie 15, 37134 Verona, Italy

Phone
Office: (+39) 045 802 7995
Fax: (+39) 045 802 7928


Email
roberto.giacobazzi@univr.it roberto.giacobazzi@acm.org GnuPG public key

... and my very first Fan Club!

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!