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!