Please note that this newsitem has been archived, and may contain outdated information or links.
29 - 30 July 2021, ESSLLI 2021 Workshop "Workshop on automated synthesis", Virtual
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 by PhD students. Workshop participants are required to register for ESSLLI 2021.
Submission format for contributed talks:
1) either a peer-reviewed published work in the area of the workshop, that you can submit in its original form or in the format below (but indicating which paper(s) it is based on)
2) or original work, up to 12 pages in Springer LNCS format (or similar size, single column).
Please note that this newsitem has been archived, and may contain outdated information or links.