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