Invited Talks
2019
  • Tractable Verification of Multi-agent Systems
    Department of Computing, University of Surrey, May 29. [slides]

2017
  • A Logic for Global and Local Announcements
    Computational Epistemic Logic in Lorraine (CELLO) Workshop, LORIA Nancy, May 9. [slides]

  • A Logic for Global and Local Announcements
    Workshop on Logical Representation of Actions, Individual and Collective Attitudes, IRIT Toulouse, July 13. [slides]

  • (Bi)simulations for Multi-agent Systems
    First Workshop on Formal Methods in AI (FMAI), Università degli Studi di Napoli, February 23. [slides]

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]