Specials

ACM SIGPLAN POPL SAS 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!

Tweets by @rgiacobazzi

NOTE
From January 12, 2014 to September 2015 I will be traveling a lot. Please use email for contacting me!

Main Activities

• Shonan Meeting on Logic and Verification Methods in Security and Privacy, Tokyo Shonan Village Center, October 26-26, 2015.
• PROLE 2015 (Jornadas sobre PROgramación y LEnguajes) , September 14 - 18, 2015.
• SAS 2015, 22nd Int STATIC ANALYSIS SYMPOSIUM, Sept 9-11, 2015, St-Malo, France.
• Shonan Meeting on Low level code analysis and applications to computer security, Tokyo Shonan Village Center, March 2-8, 2015.
• POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Mumbai, India. January 11-18, 2015.
• 4th Program Protection and Reverse Engineering Workshop (PPREW-4), New Orleans, LA, December 9, 2014. Collocated with ACSAC 2014.
• ARO Workshop on Continuously Upgradeable Software Security and Protection. Scottsdale, Arizona November 7, 2014.
• 21st International Static Analysis Symposium SAS 2014, September 11-13, 2014 Munich, Germany.
• 16th International Symposium on Principles and Practice of Declarative Programming (PPDP 2014) and 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2014). Canterbury, UK September 8-11, 2014.
• Next Generation Static Software Analysis Tools - Dagstuhl Seminar 14352, August 24th – August 29th 2014.
• 5th Int. Summer School on Information Security and Protection, ISSISP2014, Verona July 27-August 1, 2014
• 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.
• NSF DALI Workshop on Dynamic Languages for Scalable Data Analytics, November 1st 2013, 2013@SPLASH in Indianapolis, IN USA.
• The Sixth International Symposium on Foundations & Practice of Security FPS’2013. 21st-22nd October 2013, La Rochelle, France.
• 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.
• La Corsa al Rettorato 2013-2019, April and May 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.
• The Alan Turing Centenary in Verona!
• 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.
• Le Poseur (CA)
• 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!