Courses at international schools, tutorials, invited talks, and seminars



seminar: Séminaire de l'équipe Méthodes Formelles, LaBRI, Talence, France, November 21, 2017, Model Checking: the Interval Way (slides).

seminar: Istituto di Scienze e Tecnologie della Cognizione, CNR, Roma, 3rd Meeting of the INdAM-GNCS Project 2016 on Logic, Automata, and Games for Self-Adaptive Systems, January 23, 2017, Interval Temporal Logic Model Checking (slides).

invited talk: TIME 2016: 23rd International Symposium on Temporal Representation and Reasoning, October 17-19, 2016, Technical University of Denmark (DTU), Lyngby, Denmark, October 17-19, 2016, Interval Temporal Logic Model Checking (slides).

seminar: Università di Catania, 2nd Meeting of the INdAM-GNCS Project 2016 on Logic, Automata, and Games for Self-Adaptive Systems, September 16, 2016, Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling (slides).

invited talk: MOVEP 2016: 12th Summer School on Modelling and Verification of Parallel Processes, Genova, Italy, June 27 - July 1, 2016, Interval Temporal Logic, Satisfiability and Model Checking (slides: part 1 and part 2 ).

seminar: University of Klagenfurt, Klagenfurt, Austria, March 14, 2016, Interval Temporal Logic: Back to the Future.

seminar: Fondazione Bruno Kessler, ICT, Center for Information and Communication Technologies, Trento, Italy, March 3, 2016, Interval Temporal Logic: Back to the Future (slides).

course: Università di Genova, Scuola di Logica Computazionale (CILC 2015), July 1, 2015, Past, present, and future of Interval Temporal Logics (slides).

seminar: Rijksuniversiteit Groningen, Faculty of Mathematics and Natural Sciences, The Netherlands, February 11, 2015, Past, present, and future of Interval Temporal Logics (slides).

tutorial (with Dario Della Monica and Pietro Sala): Clarion Congress Hotel Prague, 21st European Conference on Artificial Intelligence (ECAI), Prague, Czech Republic, August 18-22, 2014 - Temporal Representation and Reasoning in Interval Temporal Logics

seminar: Università di Udine, Dipartimento di Matematica e Informatica, Italy, February 22, 2013 - Interval Temporal Logics: a Journey

course: AILA Summer School on Logic, Palazzo Feltrinelli, Gargnano, Italy, August 2012 - A Guided Tour through Interval Temporal Logics

seminar: Politecnico di Milano, Dipartimento di Elettronica e Informazione, Italy, March 22, 2012 - Interval Temporal Logics: a Journey

seminar: Università di Napoli, Dipartimento di Scienze Fisiche, Italy, February 14, 2012 - A short walk through interval temporal logics

seminar: Università di Verona, Dipartimento di Informatica, Italy, December 1, 2011 - A short walk through interval temporal logics

invited talk: Intelligent systems IS 2011, Ljubljana, Slovenia, October 12-13, 2011 - A short walk through interval temporal logics

course (with Nicola Vitacolonna): Copenhagen, Denmark, 22nd European Summer School on Logic, Language and Information (ESSLLI 2010), August 2010 - Ehrenfeucht-Fraïssé Games: Applications and Complexity

tutorial (with Nicola Vitacolonna): Università di Udine, Annual Workshop of the ESF Networking Programme on Games for Design and Verification (GAMES), Udine, Italy, September 14-17, 2009 - Ehrenfeucht-Fraissé Games: Appplications and Complexity

tutorial: Università di Udine, 24th International Conference on Logic Programming (ICLP), Udine, Italy, December 9-13, 2008 - Back to Interval Temporal Logics

course (with Valentin Goranko): Hamburg, Germany, 20th European Summer School on Logic, Language and Information (ESSLLI 2008), August 2008 - Interval Temporal Logics

seminar: Università di Salerno, Dipartimento di Informatica, Italy, June 27, 2008 - (Un)Decidability and tableau methods for interval temporal logics

invited talk: Meeting GNCS 2008, Montecatini, Italy, February 4-6, 2008 - Interval Temporal Logics: Theory and Applications

tutorial (with Valentin Goranko): Aix-Marseille University, 16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX), Aix en Provence, France, July 3-6, 2007 - Tableau methods for interval temporal logics

course (with Gabriele Puppis): Malaga, Spain, 18th European Summer School on Logic, Language and Information (ESSLLI 2006), August 2006 - Verification of Infinite State Systems
Lecture 1: Introduction
Lecture 2: Basic results and techniques for MSO
Lecture 3: Context-free and prefix-recognizable graphs
Lecture 4: The contraction method
Lecture 5: Rational and automatic graphs
Lecture 6: Reachability over pushdown systems and Petri nets
Lecture 7: Conclusions
Lecture Notes

seminar: University of Johannesburg, South Africa, December 9, 2002, - Model Checking and Combined Automata

seminar: University of Klagenfurt, Austria, November 15, 2002, - Data models with multiple temporal dimensions: completing the picture

seminar: Università di Genova, Dipartimento di Informatica e Scienze dell'Informazione, Italy, November 2002 - Automata-based model checking and combined automata

course (with Massimo Franceschet, Carla Piazza, Alberto Policriti, and Paolo Traverso): Trento, Italy, 14th European Summer School on Logic, Language and Information (ESSLLI 2002), August 2002 - Model Checking and its Complexities

course (with Alberto Policriti): Birmingham, UK, 12th European Summer School on Logic, Language and Information (ESSLLI 2000), August 2000. - An Introduction to Metric and Layered Temporal Logics for Time Granularity

seminar: University of Waterloo, Canada, July 4, 2000 - The way to go: multi-level temporal logics

seminar: Naval Research Laboratories, Washington, USA, April 17, 2000 - Temporal logics and time granularity

seminar: University of Manchester, Department of Computer Science, UK, December 3, 1999 - A metric and layered temporal logic for time granularity

seminar: University of Manchester, Department of Computer Science, UK, December 1, 1999 - Temporal logics and time granularity

seminar: Università di Parma, Dipartimento di Matematica, Italy, May 26, 1997 - A Technique for Translating (Poly)Modal Logics into Set Theory

seminar: Istituto Grandi Masse del CNR, Palazzo Papadopoli, Israeli-Italian Symposium on Artificial Intelligence, Venezia, Italy, December 3, 1996 - A hierarchy of modal event calculi: expressiveness and complexity

seminar: University of Utrecht, Department of Mathematics, The Netherlands, October 18, 1995 - Set theoretic decidability results for modal theorem proving

seminar: Università di Milano, Dipartimento di Scienze dell'Informazione, Italy, May 31, 1995 - A metric and layered temporal logic for time granularity

seminar: Universiteit van Amsterdam, Occasional Logic Meetings, The Netherlands, November 4, 1994 - On metric and layered temporal logics

seminar: University of Texas at El Paso, Computer Science Colloquium, El Paso, USA, May 6, 1994 - A modal interpretation of Event Calculus

seminar: Politecnico di Milano, Dipartimento di Elettronica e Informazione, Italy, February 28, 1994 - A metric and layered temporal logic: expressiveness and decidability

seminar: Politecnico di Milano, Dipartimento di Elettronica e Informazione, Italy, February 28, 1994 - A modal interpretation of Event Calculus

seminar: Università di Torino, Dipartimento di Informatica, Italy, February 11, 1994 - A metric and layered temporal logic for the management of time granularity: expressiveness and decidability



Fellowships


In 1994, he spent six months at the Institute for Logic Language and Computation (ILLC), University of Amsterdam, visiting prof. J. van Benthem. The visit was supported by a grant from the Italian Consiglio Nazionale delle Ricerche (CNR). Since then, he visited ILLC several times for shorter periods.



Professional Memberships


He is member of the Association for Computing Machinery (ACM), the Association for Logic Programming (ALP), and the European Association for Theoretical Computer Science (EATCS).