Workshop on automated synthesis

LoCo Workshop 29/07 30/07

Workshop Chairs:
Natasha Alechina (Utrecht University)
Brian Logan (Utrecht University)


This workshop is in the area of logic and computation. It aims to bring together work on using logic, games and automata for automatically generating plans and strategies for AI agents. Topics include but are not limited to: reactive synthesis, strategy synthesis under resource constraints, epistemic planning.