Specials

I was co-founder of JuliaSoft.

ACM SIGPLAN POPL SAS Intranet U-Gov S3 EasyAcademy

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

Web
Official Home page

Phone
Office: (+39)0458027995
Fax: (+39)0458027068
Skype: giacoverona

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



My POPL Stack:

POPL 2020
POPL 2019
POPL 2015
POPL 2015
POPL 2013 (General Chair)
POPL 2004
POPL 1993
POPL 1992

and my Sharam Spotify!

Tweets by @rgiacobazzi

Main Stack of Activities

• Dagstuhl-Seminar 20251: Theoretical Advances and Emerging Applications in Abstract Interpretation. Dagstuhl (14-19 June, 2020).
• The 47th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2020), Sun 19 - Sat 25 January 2020, New Orleans, Louisiana, United States. Check here the video!
• A Colloquium in Honor of Simone Martini. On the Occasion of his 60th Birthday, Department of Computer Science, University of Bologna. January 17-18, 2020.
• Workshop on Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (AVERTIS) November 29th, 2019 IMDEA Software Institute, Madrid, Spain.
• HFM19: History of Formal Methods Part of the 3rd World Congress on Formal Methods. Porto Portugal, October 11, 2019.
• The 26th Static Analysis Symposium (SAS2019) — Part of the 3rd World Congress on Formal Methods. Porto Portugal, October 7-11, 2019.
• The 60th of Manuel Hermenegildo — Part of the 3rd World Congress on Formal Methods. Porto Portugal, October 8, 2019.
• Dagstuhl Seminar 19331: Software Protection Decision Support and Evaluation Methodologies. Dagstuhl (August 11 – 16 , 2019).
• ISSISP 2019 — 10th International Summer School on Information Security and Protection, July 14-19, 2019, Qingdao, China.
• Mooly Fest at ETAPS2019, Prague April 6th, 2019.
• Seventh International Workshop on Verification and Program Transformation (VPT2019). Genova April 2, 2019.
• Journée GT Méthodes Formelles pour la Sécurité, 18 mars 2019 Paris (France)
• International Conference on Artificial Intelligence and Soft Computing (ICAISC), Bangkok, Thailand.
• 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019), Sun 13 - Sat 19 January 2019 Cascais/Lisbon, Portugal.
• 30th International Conference on Computer Aided Verification CAV 2018, July 14-17, 2018. Oxford UK
• 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, 9–12 July 2018. Oxford UK
• NII Shonan Meeting: Intensional and extensional aspects of computation: From computability and complexity to program analysis and security. Shonan Village Center, Japan, January 22 – 25, 2018.
• 45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018), Mon 8 - Sat 13 January 2018 Los Angeles, California, USA.
• CYBER SECURITY DAY, Pisa CNR, November 13, 2017.
• Fall Days on System and Software Analysis, Villa Vennendal, Nunspeet, November 6-10, 2017.
• 24th Static Analysis Symposium (SAS 2017), August 30th - September 1st, 2017, New York City, NY, USA.
• 8th International Summer School on Information Security and Protection (ISSISP 2017), Gif-sur-Yvette, France, July 17-21, 2017.
• Dagstuhl Seminar: Malware Analysis: From Large-Scale Data Triage to Targeted Attack Recognition. 09–14. July 2017, Germany.
• 3rd ESA International Security Symposium. 13 - 14 February, ESRIN Frascati, Italy.
• 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017), Wed 18 - Fri 20 January 2017 Paris, France.
• 23rd Static Analysis Symposium (SAS 2016), September 8--10, 2016, Edinburgh, UK.
• DEF CON 24: Guaranteed Security by Abstract Interpretation. Aug. 4-7 Las Vegas USA. Slides (PDF).
• ISSISP 2016. 7th Int. Summer School on Information Security and Protection. Aug. 2-6, 2016. Amrita School of Engineering Bangalore Campus, India.
• 43rd Symposium on Principles of Programming Languages, POPL 2016, Wed 20 - Fri 22 January 2016 St. Petersburg, Florida, United States.
• 5th Joint workshop on Program Protection and Reverse Engineering (PPREW) and Software Security and Protection (SSP), Hilton Los Angeles/Universal City, CA December 8, 2015
• Shonan Meeting on Logic and Verification Methods in Security and Privacy, Tokyo Shonan Village Center, October 26-26, 2015.
• Workshop on Software Correctness and Reliability, October 2-3, 2015, ETH ZÜRICH.
• 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.
• 6th Int. Summer School on Information Security and Protection, Rio de Janeiro, Brazil, July 27-31, 2015
• 2nd Microsoft Research - IMDEA Software Institute Collaborative Workshop, April 9 and 10, 2015
• 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!