Outreach

Home Projects Projects Publications Outreach Supervision Abstractions for Safe RL FMAI Seminar

Event Organisation 2nd Summer School of the UKRI CDT in Safe and Trusted AI, July 17-19 2023. Safe and Trustworthy AI workshop, satellite workshop of the 39th International Conference on Logic Programming (ICLP2023), July 9/10 2023. 1st Summer School of the UKRI CDT in Safe and Trusted AI, July 12-14 2021. Workshop chair for the 20th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS2021). Programme chair for the 3rd International Workshop on Formal Methods in Artificial Intelligence. 15th European Conference on Multi-agent Systems (EUMAS2017) and 5th International Conference on Agreement Technologies (AT2017), Evry, France, 14-15/12/2017. Invited Talks 2023 Do Androids Dream of Electric Fences? Safety-Aware Reinforcement Learning with Latent Shielding, Department of Computer Science, University of Surrey, April 19. [slides] 2021 Multi-valued Logics for MAS Verification, World Logic Day, Imperial College London, January 15. [slides] 2020 Multi-valued Logics and Abstractions for the Verification of Strategic Properties in MAS with Imperfect Information, 8th International Workshop on Strategic Reasoning, satellite workshop of ECAI2020, September 7. [slides] 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]