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/2019/newsitem/11051/17 ---20-September-2019-7th-annual-conference-on-High lights-of-LOGIC-GAMES-and-AUTOMATA-HIGHLIGHTS-2019 -Warsaw-Poland DTSTAMP:20190803T223458 SUMMARY:7th annual conference on Highlights of LOG IC, GAMES, and AUTOMATA (HIGHLIGHTS 2019), Warsaw, Poland DTSTART;VALUE=DATE:20190917 DTEND;VALUE=DATE:20190920 LOCATION:Warsaw, Poland DESCRIPTION:HIGHLIGHTS 2019 is the seventh confere nce on Highlights of Logic, Games and Automata tha t aims at integrating the community working in the se fields. Papers from these areas are dispersed a cross many conferences, which makes them difficult to follow. A visit to the Highlights conference s hould offer a wide picture of the latest research in the field and a chance to meet everybody in the community, not just those who happen to publish i n one particular proceedings volume. The conferen ce is short (from 18 September to the mid-day on 2 0 September) and it is preceded by the Highlights Tutorial Day (17 September). The participation cos ts are modest and Warsaw is easy to reach. Scope: Representative areas include, but are not restric ted to: + logic and finite model theory + automata theory + games for logic and verification. X-ALT-DESC;FMTTYPE=text/html:\n
HIGHLIGHTS 201 9 is the seventh conference on Highlights of Logic , Games and Automata that aims at integrating the community working in these fields. Papers from the se areas are dispersed across many conferences, wh ich makes them difficult to follow. A visit to the Highlights conference should offer a wide picture of the latest research in the field and a chance to meet everybody in the community, not just those who happen to publish in one particular proceedin gs volume.
\n\nThe conference is short (fr om 18 September to the mid-day on 20 September) an d it is preceded by the Highlights Tutorial Day (1 7 September). The participation costs are modest a nd Warsaw is easy to reach.
\n\nScope: Rep resentative areas include, but are not restricted to: + logic and finite model theory + automata the ory + games for logic and verification.
URL:http://highlights-conference.org END:VEVENT END:VCALENDAR