Welcome to my webpage

Talks and seminars

Slides of conference presentations are available in pdf format under Publications

academic talks | educational extra-academic talks

Academic talks [top]

  • Synthesis of Timeline-Based Planning Strategies Avoiding Determinization
    • Conference presentation at GandALF 2024, Reykjavik, Iceland, 20 June 2024
  • Hyperteams for compositionality and determinacy in logics for games
  • Pushing runtime verification to the limit: May process semantics be with us
    • GNCS Project meeting, Padova, Italy, 22 January 2024 (in Italian)
    • 1st Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis (OVERLAY), Rende, Italy, 19 November 2019.
    • Workshop "Modelos Formales para Concurrencia y Semántica", in honor of David de Frutos on the occasion of his 60th birthday, Madrid, Spain, 8 July 2019
  • Parity-energy ATL for qualitative and quantitative reasoning in MAS
    • 2nd Workshop of Formal Methods and AI (FMAI 2019), Rennes, France, 3 May 2019
    • informal Formal Methods Meetings (iFM^2), Udine, Italy, 15 February 2019 (in Italian)
    • GNCS Project meeting, Rome, Italy, 4 February 2019 (in Italian)
    • Conference presentation at AAMAS 2018, Stockholm, Sweden, 13 July 2018
    • Workshop presentation at FMLAMAS 2018, Stockholm, Sweden, 10 July 2018
  • Prompt Interval Temporal Logic
    • Conference presentation at JELIA 2016, Larnaca, Cyprus, 11 November 2016
  • Adventures in Interval Temporal Logics
    • Seminar at Universidad Complutense de Madrid, Madrid, Spain, 18 November 2015 (updated version of the talk)
    • ICE-TCS seminar, Reykjavik University, Iceland, 21 September 2012
    • Seminar at IMT, Lucca, Italy, 24 May 2012
  • Towards a combined approach to software verification
    • Conference presentation at NWPT 2015, Reykjavik, Iceland, 23 October 2015
  • When are prime formulae characteristic?
    • Conference presentation at MFCS 2015, Milan, Italy, 27 August 2015
  • Model checking coalitional games in shortage resource scenarios
    • Tutorial at the Workshop on Logics for Resource-Bounded Agents (LRBA) within the ESSLLI 2015 summer school, Barcelona, Spain, 14 August 2015
    • Conference presentation at GandALF 2013, Borca di Cadore, Italy, 29 August 2013
  • On the expressiveness of the interval logic of Allen's relations over finite and discrete linear orders
    • Conference presentation at JELIA 2014, Madeira, Portugal, 25 September 2014
  • Temporal Representation and Reasoning in Interval Temporal Logics
    • Tutorial at ECAI 2014, Prague, Czech Republic, 18 August 2014
  • Modal logic, Horn theories, and (hyper-)graph theory are not so far -- The "enumeration problems" bridge
    • ICE-TCS seminar, Reykjavik University, Iceland, 29 November 2013
    • Seminar at IMT, Lucca, Italy, 18 September 2013
    • GNCS Project meeting, Borca di Cadore, Italy, 31 August 2013
  • A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: an Implementation
    • Workshop presentation at CILC 2013, Catania, Italy, 27 September 2013
  • Expressiveness, decidability, and undecidability of Interval Temporal Logic
    • Invited talk at CILC 2013, Catania, Italy, 26 September 2013
  • Complete expressiveness classification of HS fragments over dense linear orders
    • ICE-TCS Theory Day 2013, Reykjavik University, Iceland, 22 March 2013
  • Model Checking Coalitional Games with Priced-Resource Agents
    • Workshop presentation at GAMES 2012, Napoli, Italy, 9 September 2012
  • Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture
    • Conference presentation at GandALF 2012, Napoli, Italy, 7 September 2012
  • On a Logic for Coalitional Games with Priced-Resource Agents
    • Conference presentation at M4M/LAMAS 2011, Osuna, Spain, 11 November 2011
    • Workshop presentation at GAMES 2011, Paris, France, 3 September 2011
    • Workshop presentation at CILC 2011, Pescara, Italy, 31 August 2011 (in Italian)
  • Expressiveness of the Interval Logic of Allen's Relations on the Class of All Linear Orders: Complete Classification
    • Workshop presentation at GAMES 2011, Paris, France, 2 September 2011
  • Interval Temporal Logics
    • Seminar at DTU, Lyngby, Copenhagen, Denmark, 3 November 2010 (Part I: An overview), 10 November 2010 (Part II: At the end of the light)
  • On First-Order Propositional Neighborhood Logics: a First Attempt
    • Conference presentation at STeDY 2010, Lisbon, Portugal, 16 August 2010
  • Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders
    • Conference presentation at HyLo 2010, Edinburgh, Scotland, UK, 10 July 2010
  • Metric Propositional Neighborhood Logics
    • GNCS Project meeting, Minori, Salerno, Italy, 16 June 2010
    • GNCS Project meeting, Udine, Italy, 11 February 2010 (in Italian)
  • The Dark Side of Interval Temporal Logics
    • Seminar at University of Murcia, Spain, 16 November 2009
  • Undecidability of the Logic of the Overlap Relation over Discrete Linear Orderings
    • Workshop presentation at GAMES 2009, Udine, Italy, 17 Semptember 2009
  • Undecidability of Interval Temporal Logics with the Overlap Modality
    • Conference presentation at TIME 2009, Brixen, Italy, 23 July 2009

Educational extra-academic talks [top]

  • [dynamic slides with audio] [slides] [abstract] [audio] La mente tra logica e percezione: Ragionamento cognitivo e ragionamento simbolico (in Italian)
    English translation: The mind between logic and perception: Cognitive and symbolic reasoning
    • Seminar within the international educational event Pint of Science 2016 at "U-Turn Piano B", vico Pallonetto Santa Chiara, 15, Napoli, Italy, 25 May 2016
      (here the article on the event from the newspaper "La Repubblica")