Talks

Dietmar Berwanger, CNRS, ENS Cachan, France

Title: The public content of private signals

Francesco Belardinelli, University of Évry, France

Title: (Bi)simulations for Multi-agent Systems, slides

Michael Wooldridge, Oxford University, UK

Title: Folk Theorems for Multi-Agent Systems

François Schwarzentruber, Ecole Normale Supérieure de Rennes, France

Title: Complexity results in Dynamic Epistemic Logic, slides

Sasha Rubin, University of Napoli, Italy

Title: Verification of Multi-agent Systems with Imperfect Information and Public Actions, slides

Sophie Pinchinat, University of Rennes, France

Title: Relating paths in game arenas: a unified approach for logic-based strategic reasoning, slides

Aniello Murano, University of Napoli, Italy

Title: Reasoning about strategies in formal verification, slides

Marco Montali, Free University of Bolzano, Italy

Title: Temporal Logics over Finite Traces for Declarative Business Process Management: a Success Story, slides

Bruno Lacerda, University of Birmingham, UK

Title: Policy Generation with Probabilistic Guarantees for Long-term Autonomy of a Mobile Service Robot, slides

Bastien Maubert, University of Napoli, Italy

Title: New decidability results in logics for strategic reasoning with imperfect information, slides

Hector Geffner, Pompeu Fabra, Spain

Title: Planning in Artificial Intelligence: Models, Structure, and Techniques

Sophia Knight, Uppsala University, Sweden

Title: Strategic Epistemic Logic

Panagiotis Kouvaros, Imperial College London, UK

Title: Model Checking for Unbounded Multi-Agent Systems, slides

Gianluigi Greco, University of Calabria, Italy

Title: LTL on Process (and Finite) Traces, slides

Michael Fisher, University of Liverpool, UK

Title: Formal Verification and Responsible Autonomy, slides

Giuseppe De Giacomo, Sapienza University of Roma, Italy

Title: First-Order mu-Calculus over Generic Transition Systems and Applications to the Situation Calculus, slides

Christophe Chareton,University of Nancy, France

Title: Knowledge about the context and knowledge about the past, in a strategic context.