course (with Luca Geatti): Ljubljana, Slovenia, 34th European Summer School on Logic, Language and Information (ESSLLI 2023), July 31 - August 4, 2023 - The Safety Fragment of Temporal Logics of Infinite Sequences.
tutorial (with Nicola Gigante and Luca Geatti): IJCAI-ECAI 2022 - 31st International Joint Conference on Artificial Intelligence, July, 23-29, 2022, Wien, Austria - Tableau methods for linear-time temporal logics.
seminar: Free University of Bozen-Bolzano, Facoltà di Ingegneria, Italy, July 7, 2022 - Interval temporal logic for model checking visibly pushdown systems
seminar: Dagstuhl Seminar 20071 - Foundations of Composite Event Recognition, Schloss Dagstuhl, Germany, February 10-14, 2020 - Interval Temporal Logic (slides).
tutorial (with Nicola Gigante, AndreA Orlandini, and Alessandro Umbrico): IJCAI 2019 - 28th International Joint Conference on Artificial Intelligence, August, 10-16, 2019, Macao, China - Timeline-based Planning: Theory and Practice.
invited talk: CILC 2019 - 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019 - Model Checking: the Interval Way (slides).
seminar: informal Formal Methods Meetings (iFM^2), Department of Mathematics, Computer Science, and Physics of the University of Udine,
Udine, Italy, January 25, 2019 - Model Checking: the Interval Way.
tutorial (with Amedeo Cesta, Marta Cialdea, Nicola Gigante, AndreA Orlandini, and Alessandro Umbrico): AI*IA 2018 - 17th International Conference of the Italian Association for Artificial Intelligence, November 20-23, 2018, Trento, Italy - Timeline-based Planning and Execution: Theory and Practice.
tutorial (with Amedeo Cesta, Marta Cialdea, Nicola Gigante, AndreA Orlandini, and Alessandro Umbrico): ICAPS 2018 - 28th International Conference on Automated Planning and Scheduling, June 24–29, 2018, Delft, The Netherlands - Timeline-based Planning and Execution: Theory and Practice.
seminar: Department of Theoretical Computer Science of the School of Electrical Engineering and Computer Science (EECS) of the Royal Institute of Technology (KTH),
Stockholm, Sweden, June 4, 2018 - Model Checking: the Interval Way (slides).
seminar: Department of Applied Mathematics and Computer Science, Technical University of Denmark, Lyngby, Denmark, April 30, 2018 - Model
Checking: the Interval Way (slides).
seminar: Departamento de Sistemas Informáticos y Computación, Facultad de Informática, Universidad Complutense de Madrid, Madrid, Spain, March 20,
2018 - Model Checking: the Interval Way (slides).
seminar: Guest Speaker Research Seminar, School of Physics, Mathematics and Computing, The University of Western Australia in Perth, Perth, Australia, February 21,
2018 - Model Checking: the Interval Way (slides).
seminar: Séminaire de l'INFINI Group, LSV, CNRS & ENS de Cachan, Cachan, France, November 30, 2017 - Interval vs. Point Temporal Logic Model Checking
(slides).
seminar: Séminaire de l'équipe Méthodes Formelles, LaBRI, Talence, France, November 21, 2017 - Model Checking: the Interval Way (slides).
course: Summer School on Formal Methods for Cyber-Physical Systems. Edition 2017: Automatic Synthesis of Controllers for Hybrid Systems, Verona, Italy, September
2017 - The Synthesis Problem (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): ECAI 2014 - 21st European Conference on Artificial Intelligence, Clarion Congress Hotel, 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): GAMES 2009 - Annual Workshop of the ESF Networking Programme on Games for Design and Verification (GAMES), Università di
Udine, Udine, Italy, September 14-17, 2009 - Ehrenfeucht-Fraissé Games: Appplications and Complexity
tutorial: ICLP 2008 - 24th International Conference on Logic Programming, Università di Udine, 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): TABLEAUX 2007 - 16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Aix-Marseille
University, 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: Dagstuhl Seminar 9726 - Temporal Databases, Schloss Dagstuhl, Germany, June 23-27, 1997 - Modal Queries about Partially Ordered Events in the Event Calculus
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
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.
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).