(Previously: Dipartimento di Informatica,
Sistemi e Produzione)
* , 15th International Conference of the Italian Association for Artificial Intelligence,
Genoa, Italy, 28 November - 1 December 2016.
* , Conference of the International RoughSet Society,
Santiago, Chile, 7-11 October 2016.
* , 31st Italian Conference on Computational Logic,
Milan, Italy, 20-22 June 2016.
* , 18th International Symposium on Principles and Practice of Declarative Programming,
Edinburgh, United Kingdom, 5-7 September 2016.
* , 3rd International Workshop on Verification and Program Transformation,
London, United Kingdom, 11 April 2015.
* , 30th International Conference on Logic Programming,
Vienna, Austria, 19-22 July 2014.
* 28th Italian Conference on Computational Logic
Catania, Italy, 25-27 September 2013.
* Meeting on Algorithmic Languages and Calculi
Rome, Italy, 6-10 February 2012.
* 21st International Symposium on Logic-based Program Synthesis and Transformation
Odense, Denmark, 18-20 July 2011.
* PEPM’10 ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program
Madrid, Spain, 18-19 January 2010.
* SOFSEM 2010 36th International Conference on Current Trends in Theory and Practice of Computer Science
Špindlerův Mlýn, Czech Republic, 23-29 January 2010. Track on: Principles of Software Construction.
* 24th International Conference on Logic Programming Synthesis and Transformation
Udine, Italy, 9-13 December 2008.
* 18th International Symposium on Logic-based Program Synthesis and Transformation
Valencia, Spain, 17-18 July 2008.
* LopSTr 2007 17th International Symposium on Logic-based Program Synthesis and Transformation
Lyngby, Denmark, 22-24 August 2007.
Meeting of University Professors, Rome, Italy, 22 June 2007