WAS-ESSLLI20: Workshop on Automated Synthesis Utrecht, Netherlands, August 3-7, 2020 |
Conference website | https://esslli.eu/courses-and-workshops/logic-and-computation-courses/workshops-3/199-workshop-on-automated-synthesis.html |
Submission link | https://easychair.org/conferences/?conf=wasesslli20 |
Submission deadline | April 9, 2020 |
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.
Submission Guidelines
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 submit a pdf file, not anonymised, to: https://easychair.org/conferences/?conf=wasesslli20
List of Topics
- Logic, automata, games for synthesis
- Strategy synthesis
- Epistemic planning
Organisers
- Natasha Alechina (Utrecht University)
- Brian Logan (University of Nottingham)
Invited Speakers
- Orna Kupferman (Hebrew University)
Venue
The workshop will be held as part of the European Summer School on Logic, Language and Information (ESSLLI 2020) in Utrecht, The Netherlands: https://www.esslli.eu
Contact
All questions about submissions should be emailed to n.a.alechina "at" uu.nl or brian.logan "at" nottingham.ac.uk