[Event at CIG] Workshop on Automated Synthesis: deadline extended

[Alechina, N.A. (Natasha)]

Due to multiple requests, the deadline for the Workshop on Automated Synthesis at ESSLLI 2021 is extended to the 18th of June.
The updated call for papers is below. The registration for ESSLLI 2021 is now open and stays open till the 25th of July.

Call for papers: Workshop on automated synthesis 29-30 July 2021 (affiliated with ESSLLI 2021, https://www.esslli.eu)

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 submit a pdf file, not anonymised, to: https://easychair.org/conferences/?conf=wasesslli2021

The workshop will have no formal proceedings. If there is sufficient interest, we will explore the possibility of setting up a special issue of the Journal of Logic, Language and Information based on the workshop.

Important dates:

Submission deadline (extended): 18 June 2021 (anywhere on Earth)

Notification: 2 July 2021

Workshop: 29-30 July 2021.

Workshop dates: 29-30 July 2021

Organisers: Natasha Alechina and Brian Logan 

All questions about submissions should be emailed to n.a.alechina at uu.nl