info
Selected Talks
-
From Synthesis to Rational Synthesis: A Logic-Based Approach to Multi-Agent Systems
- 25/05/2023: Seminar Talk, University of Southampton
- 14/11/2022: Sapienza LoC3 Seminar, Sapienza University of Rome
- 02/09/2022: LMAS Workshop 2022, IRIT – Université Toulouse 1 Capitole
- 10/04/2019: Formal Methods for Artificial Intelligence Seminars, Imperial College London
- 29/03/2018: Seminar Talk, University of Naples ‘Federico II’
-
Trace Alignment and Timed-Trace Alignment: An Automata-Based Approach
- 30/11/2021: Research Seminar Winter Term 2021/22, QuantLA Group – TU Dresden, Universitat Leipzig
-
Logics for Multi-Agent Systems Verification
- 15/12/2015: Seminar Talk, Imperial College London
-
Strategy Logic: A Powerful Formalism for Game-Theoretic Issues
- 24/11/2014: Seminar Talk, University of California Santa Cruz
-
Le Logiche Temporali e di Strategia nell’Ambito della Verifica Formale
- 05/04/2013: 2013 SeLP Meeting, University of Naples ‘Federico II’
Community Service
- RADICAL’23 (Chair)
- ICPM’23 (Proceedings Chair)
- ECAI’23 (Program Committee member)
- KR’23 (Program Committee member)
- AAMAS’23 (Senior Program Committee member)
- IJCAI 2022-2024 (Program Committee Board member)
- LAMAS&SR’23 (Programme Committee member)
Past Community Service
- Chair: LAMAS&SR’21, RADICAL’19.
- Senior Program Committee: IJCAI’21.
- Program Committee: AAMAS’22, AAAI’22, AAAI’21, AAMAS’21, IJCAI’20, EUMAS’20, AAMAS’20, ECAI’20, IJCAI’19, AAMAS’19, EUMAS’18, IJCAI’18, AAMAS’18, AAAI’18, EUMAS’17, SR’17, CILC’17, IJCAI’17, IJCAI’16, AAMAS’16.
- Organizing Committee: SR’15, SR’13, GAMES’12.