Workshop on Automated Synthesis

29-30 July 2021, online

affiliated with ESSLLI 2021

The workshop aims to bring together work on using logic, games and automata for automatically generating plans and strategies for AI agents, especially under uncertainty and resource constraints. Topics include, but are not limited to: reactive synthesis, behaviour and service composition, strategy synthesis under resource constraints, epistemic planning.
The workshop will consist of a mixture of invited talks introducing topics in the area of the workshop and contributed talks.

Recordings of the talks are available for registered ESSLLI participants here . If you have not received the passcode from the ESSLLI organisers or lost it, contact Natasha Alechina (email below). The recordings will be available until the 30th of September 2021.

Invited speakers

Programme 29 July (all times CEST)

Programme 30 July (all times CEST)

Organisers: Natasha Alechina and Brian Logan, PC Co-Chair: Giuseppe De Giacomo

Last updated 1 August 2021