|
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]
|