BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2021/newsitem/12773/29
 ---30-July-2021-ESSLLI-2021-Workshop-Workshop-on-a
 utomated-synthesis-Virtual
DTSTAMP:20210601T162952
SUMMARY:ESSLLI 2021 Workshop "Workshop on automate
 d synthesis", Virtual
DTSTART;VALUE=DATE:20210729
DTEND;VALUE=DATE:20210730
LOCATION:Virtual
DESCRIPTION:The workshop aims to bring together wo
 rk on using logic, games and automata for automati
 cally generating plans and strategies for AI agent
 s, especially under uncertainty and resource const
 raints. Topics include, but are not limited to: re
 active synthesis, behaviour and service compositio
 n, strategy synthesis under resource constraints, 
 epistemic planning.  The workshop will consist of 
 a mixture of invited talks introducing topics in t
 he area of the workshop and contributed talks by P
 hD students. Workshop participants are required to
  register for ESSLLI 2021.  Submission format for 
 contributed talks:  1) either a peer-reviewed publ
 ished work in the area of the workshop, that you c
 an submit in its original form or in the format be
 low (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).
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>The works
 hop aims to bring together work on using logic, ga
 mes and automata for automatically generating plan
 s and strategies for AI agents, especially under u
 ncertainty and resource constraints. Topics includ
 e, but are not limited to: reactive synthesis, beh
 aviour and service composition, strategy synthesis
  under resource constraints, epistemic planning.</
 p>\n\n  <p>The workshop will consist of a mixture 
 of invited talks introducing topics in the area of
  the workshop and contributed talks by PhD student
 s. Workshop participants are required to register 
 for ESSLLI 2021.</p>\n</div><div>\n  <p>Submission
  format for contributed talks:<br>\n  1) either a 
 peer-reviewed published work in the area of the wo
 rkshop, that you can submit in its original form o
 r in the format below (but indicating which paper(
 s) it is based on)<br>\n  2) or original work, up 
 to 12 pages in Springer LNCS format (or similar si
 ze, single column).</p>\n</div>
URL:https://esslli2021.unibz.it/page/workshop/work
 shop_on_automated_synthesis/
CONTACT:Natasha Alechina at n.a.alechina at uu.nl
END:VEVENT
END:VCALENDAR