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/2017/newsitem/9120/12- --15-September-2017-Highlights-of-Logic-Games-Auto mata-HIGHLIGHTS-2017-London-England DTSTAMP:20170606T140012 SUMMARY:Highlights of Logic, Games, & Automata (HI GHLIGHTS 2017), London, England DTSTART;VALUE=DATE:20170912 DTEND;VALUE=DATE:20170915 LOCATION:London, England DESCRIPTION:HIGHLIGHTS 2017 is the fifth conferenc e on Highlights of Logic, Games and Automata that aims at integrating the community working in these fields. Papers from these areas are dispersed acr oss many conferences, which makes them difficult t o follow. A visit to the Highlights conference sho uld offer a wide picture of the latest research in the field and a chance to meet everybody in the c ommunity, not just those who happen to publish in one particular proceedings volume. The program wil l feature contributed and invited talks, two invi ted sessions, and two two tutorials. We encourage you to attend and present your best work, be it a lready published or not, at the Highlights confere nce. Representative areas include, but are not res tricted to: logic and finite model theory, automat a theory, games for logic and verification. The c ontributed talks are around ten minutes. Ideally, they let participants learn something new, and ena ble them to understand the objective/problem/quest ion and the result, and to get an idea of the tech nique. X-ALT-DESC;FMTTYPE=text/html:
HIGHLIGHT S 2017 is the fifth conference on Highlights of Lo gic, Games and Automata that aims at integrating t he community working in these fields. Papers from these areas are dispersed across many conferences, which makes them difficult to follow. A visit to the Highlights conference should offer a wide pict ure of the latest research in the field and a chan ce to meet everybody in the community, not just th ose who happen to publish in one particular procee dings volume. The program will feature contributed and invited talks, two invited sessions, an d two two tutorials.
We encou rage you to attend and present your best work, be it already published or not, at the Highlights con ference. Representative areas include, but are not restricted to: logic and finite model theory, aut omata theory, games for logic and verification.
\n\nThe contributed talks are around ten min utes. Ideally, they let participants learn somethi ng new, and enable them to understand the objectiv e/problem/question and the result, and to get an i dea of the technique.