[agents] Call for papers: Workshop on automated synthesis at ESSLLI 2020 ...

[Brian Logan]

Call for papers: Workshop on automated synthesis at ESSLLI 2020 in Utrecht (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. Orna Kupferman (Hebrew University) has agreed to give an invited talk.

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 2020.

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

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: 9 April 2020 (anywhere on Earth)

Notification: 15 April 2020

Workshop dates: 3--7 August 2020

Organisers: Natasha Alechina (Utrecht University) and Brian Logan (University of Nottingham)

All questions about submissions should be emailed to wasesslli20 at easychair.org (or the organisers)









This message and any attachment are intended solely for the addressee
and may contain confidential information. If you have received this
message in error, please contact the sender and delete the email and
attachment. 

Any views or opinions expressed by the author of this email do not
necessarily reflect the views of the University of Nottingham. Email
communications with the University of Nottingham may be monitored 
where permitted by law.