
2019

Tractable Verification of Multiagent 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 Multiagent Systems
First Workshop on
Formal Methods in AI (FMAI), Università degli Studi di Napoli,
February 23.
[slides]
2016

Abstractionbased Verification of Infinitestate Dataaware 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 ArtifactCentric MultiAgent Systems via Finite Abstraction
Laboratoire d'Algorithmique, Compléxité et Logique, UPEC, Créteil, June 17.
[slides]

An Abstraction Technique for the Verification of ArtifactCentric Systems
Journées de l'Intelligence Artificielle Fondamentale, AixenProvence, June 13.
[slides]

Verification of Agentbased Artifact Systems: Abstraction
Techniques and Decidability Resultss
Laboratoire LIP6, Université Paris 6, February 25. [slides]
2012

An Abstraction Technique for the Verification of ArtifactCentric
MultiAgent Systems
Department of Computing, University
of Liverpool, February 14. [slides]
2011

Firstorder Modal Languages for the Specification of Multiagent
Systems
Dipartimento di Ingegneria Informatica,
Automatica e Gestionale, Sapienza Universita di Roma,
November 24. [slides]
2010

An Algebraic Proof of Cut Elimination
DutchBritish Workshop
"Algebra & Coalgebra meet Proof Theory", Department of
Computer Science, Imperial College London, January 26. [slides]
