Program

We will have two types of talks: 1 hour invited talks and 30 minute invited talks (these times include questions).

February 22nd

    • 9:45-10:00 opening

    • 10:00-11:00 long talk

      • Giuseppe di Giacomo : First-Order mu-Calculus over Generic Transition Systems and Applications to the Situation Calculus

    • 11:00-11:30 break

    • 11:30-12:30 short talks

      • (** note order change **)

      • Bruno Lacerda: Policy Generation with Probabilistic Guarantees for Long-Term Autonomy of a Mobile Service Robot

      • Marco Montali: Temporal Logics over Finite Traces for Declarative Business Process Management: a success story

    • 12:30-2:30 lunch (Restaurant "Bernadette", Piazza Gabriele D'Annunzio, 48, 80125 Napoli, link)

    • 2:30-3:30 long talk

      • Michael Fisher: Formal Verification and Responsible Autonomy

    • 3:30-4:00 break

    • 4:00-5:00 short talks

      • Bastien Maubert: New decidability results in logics for strategic reasoning with imperfect information

      • Sophia Knight: Strategic Epistemic Logic

    • 7:00 Organised dinner (Pizzeria da Attilio, Via Pignasecca, 17, 80134 Napoli, link)

February 23rd

    • 9:00-10:00 long talk

      • Hector Geffner: Planning in Artificial Intelligence: Models, Structure, and Techniques

    • 10:00-10:30 break

    • 10:30-12:30 short talks

      • François Schwarzentruber: Complexity results in Dynamic Epistemic Logic

      • Thomas Ågotnes: Resolving Distributed Knowledge

      • Sophie Pinchinat: Relating paths in game arenas: a unified approach for logic-based strategic reasoning

      • Aniello Murano: Reasoning about strategies in formal verification

    • 12:30-2:30 lunch (Restaurant "Bernadette", Piazza Gabriele D'Annunzio, 48, 80125 Napoli, link)

    • 2:30-3:30 long talk

      • Michael Wooldridge: Folk Theorems for Multi-Agent Systems

    • 3:30-4:00 break

    • 4:00-5:30 short talks

      • Gianluigi Greco: LTL on Process (and Finite) Traces

      • Francesco Belardinelli: (Bi)simulations for Multi-Agent Systems

      • Christophe Chareton: Knowledge about the context and knowledge about the past, in a strategic context

    • 7:00 Organised dinner (Osteria L'Angolino, Vico Medina, 14, 80133 Napoli, link)

February 24th

    • 9:00-10:00 long talk

      • Diego Calvanese: Processes, Data, and Knowledge: Three Sides of the Same Coin

    • 10:00-10:30 break

    • 10:30-12:30 short talks

      • Benjamin Aminof: Verification of Asynchronous Mobile-Robots in Partially-Known Environments

      • Panagiotis Kouvaros: Model Checking for Unbounded Multi-Agent Systems

      • Sasha Rubin: Verification of Multi-Agent Systems with Imperfect Information and Public Actions

      • Dietmar Berwanger: The public contents of private signals

    • 12:30-2:00 lunch (Restaurant "Bernadette", Piazza Gabriele D'Annunzio, 48, 80125 Napoli, link)

    • 2:00-3:30 round-table discussion on synthesis of what we have seen; discussion/presentation of speculative, blue sky ideas

    • 3:30 closing

    • 3:30 - 6:00 internal meeting for future organisation