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  <p>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.</p>\n\n  <p>The 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.</p>\n\n  <p>Scope: Rep
 resentative areas include, but are not restricted 
 to: + logic and finite model theory + automata the
 ory + games for logic and verification.</p>\n
URL:http://highlights-conference.org
END:VEVENT
END:VCALENDAR