Invited Talks
2016
  • Abstraction-based Verification of Infinite-state Data-aware Systems
    Institut de Recherche en Informatique Fondamentale, Université Paris Diderot, September 19. [slides]
2015
  • A Logic of Knowledge and Strategies with Imperfect Information
    Journées de l’Intelligence Artificielle Fondamentale, Rennes, June 29. [slides]

  • Formal Analysis of Dialogues on Infinite Argumentation Frameworks
    AMANDE 4th Project Meeting, Université Paris Dauphine, June 17. [slides]

2014
  • Verifying Auctions as Artifact Systems: Decidability via Finite Abstraction
    Department of Computing, Imperial College London, March 13. [slides]

  • Verifying Auctions as Artifact Systems: Decidability via Finite Abstraction
    Institut de Recherche en Informatique de Toulouse, February 21. [slides]

2013
  • Verifying Auctions as Artifact Systems: Decidability via Finite Abstraction
    Institut de Recherche en Informatique et Systèmes Aléatoires, Rennes, October 17. [slides]

  • Verification of Artifact-Centric Multi-Agent Systems via Finite Abstraction
    Laboratoire d'Algorithmique, Compléxité et Logique, UPEC, Créteil, June 17. [slides]

  • An Abstraction Technique for the Verification of Artifact-Centric Systems
    Journées de l'Intelligence Artificielle Fondamentale, Aix-en-Provence, June 13. [slides]

  • Verification of Agent-based Artifact Systems: Abstraction Techniques and Decidability Resultss
    Laboratoire LIP6, Université Paris 6, February 25. [slides]
2012
  • An Abstraction Technique for the Verification of Artifact-Centric Multi-Agent Systems
    Department of Computing, University of Liverpool, February 14. [slides]
2011
  • First-order Modal Languages for the Specification of Multi-agent Systems
    Dipartimento di Ingegneria Informatica, Automatica e Gestionale, Sapienza Universita di Roma, November 24. [slides]
2010
  • An Algebraic Proof of Cut Elimination
    Dutch-British Workshop "Algebra & Co-algebra meet Proof Theory", Department of Computer Science, Imperial College London, January 26. [slides]
2007
  • Quantified Modal Logics for Modelling Physical Objects in Time
    Laboratorio di Ontologia Applicata, Trento, February 27. [slides]

  • Quantified Modal Logic and the Ontology of Physical Objects
    IHPST, Paris, January 22.
2006
  • A General Proof of Kripke-completeness for QML
    Studia Logica - Trends in Logic IV, Torun, Poland, 1-4 September 2006. [pdf]

  • The Completeness Properties of QML calculi
    Computer Science Department, UCL, London, May 25.
2005
  • La Logica Modale Quantificata e l'Ontologia degli Oggetti Fisici
    Second National Conference on Analytical Ontology, Pisa, July 7-9. [pdf], [slides]

  • Ti piacciono le riviste di meccanica? Settant'anni di macchine di Turing
    44esimo Corso di Orientamento Universitario, Cortona, August 27 - September 3. [pdf], [slides]