Program

The workshop will take place on July 18th and 19th.

The program of the workshop includes a rich set of presentations from all the OVERLAY thematic areas, and a great invited talk on July 19th.

Note for speakers:

  • Contributed talks will be given a slot of a total of ~30 minutes.
    We suggest to leave aproximately ~5 minutes for questions.

We are looking forward to meeting you all in Lisbon!

Saturday July 18th

Room: TBD

8:45 — 9:00
Welcome and opening of the workshop
Planning
Chair: TBD
9:00 — 9:30
Proper Open World Automated Planning
Mikhail Soutchanski
9:30 — 10:00
A Practical and Didactic Epistemic Planning Toolkit
Alessandro Burigana
  Coffee break
Multi-Agent Systems
Chair: TBD
10:30 — 11:00
A Formal Framework for Strategic Reasoning in Agentic Business Process Management
Giuseppe De Giacomo , Timotheus Kampik , Lukas Kirchdorfer , Marco Montali , Christoph Weinhuber
11:00 — 11:30
Bridging Formal Strategic Reasoning and Video Games
Salvatore Romano
11:30 — 12:00
A Formal Argumentation Protocol in the Event Calculus
Periklis Mantenoglou , Alexander Artikis
  Lunch break
Temporal Modal and Logical Foundations
Chair: TBD
14:00 — 14:30
Reasoning About Intuitionistic Alternating-Time Temporal Logic
Andrea Capone
14:30 — 15:00
Counting worlds branching time semantics for post-hoc bias mitigation in generative AI
Alessandro G. Buda , Giuseppe Primiero , Leonardo Ceragioli , Melissa Antonelli
15:00 — 15:30
A note on the fragment of modal μ-calculus equivalent to First Order Logic over infinite trees
Angelo Matteo , Massimo Benerecetti , Dario Della Monica , Fabio Mogavero , Gabriele Puppis
  Coffee break
16:00 — 16:30
Strategy Logic: Where are we?
Aniello Murano , Bastien Maubert
16:30 — 17:00
Auditing, Monitoring, and Intervention for Compliance of Advanced AI Systems
Parand A. Alamdari , Toryn Klassen , Sheila McIlraith

Sunday July 19th

Room: TBD

Learning
Chair: TBD
9:00 — 9:30
Learning Formal Models of Parametrized Systems
Dana Fisman , Noa Izsak , Swen Jacobs
9:30 — 10:00
Fairness Certificates via a Lean-Backed Trustworthy Probabilistic Typed Natural Deduction
Fabio Aurelio D'Asaro , Giuseppe Primiero
  Coffee break
Verification and Model Checking
Chair: TBD
10:30 — 11:00
Progress-Aware Runtime Monitoring of Abstract Scenario Specifications
Nelson Brüchmann , Ishan Saxena , Bernd Westphal
11:00 — 11:30
Verified Computational Graph for Safety-Critical ML: From static model to execution semantics
João Machado , Ricardo Silva , João Galego , Eric Jenn , Hugo Daniel Macedo , Jorge Sousa Pinto
11:30 — 12:00
Widest Path Games and Maximality Inheritance in Bounded Value Iteration for Stochastic Games
Kittiphon Phalakarn , Yun Chen Tsai , Ichiro Hasuo
  Lunch break
Invited talk
Chair: TBA
14:00 — 15:00
Invited talk
Preservation Theorems: From Tarski to Graph Neural Networks
Przemysław Wałęga
  Coffee break
Explainability
Chair: TBD
15:30 — 16:00
AIRD: Auditable Composite Distillation on a Sparse Tactical Frontier
Derun Ai , Laurent Perrussel
16:00 — 16:30
Explaining Visual Models with Logic and Concept-Part Networks
Mathilde Bonin , Sergio Mover
16:30 — 16:45
Closing remarks