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/2013/newsitem/5100/18-
 21-September-2013-Highlights-of-Logic-Games-and-Au
 tomata-Highlights-2013-Paris-France
DTSTAMP:20130613T000000
SUMMARY:Highlights of Logic, Games and Automata (H
 ighlights 2013), Paris, France
DTSTART;VALUE=DATE:20130918
DTEND;VALUE=DATE:20130921
LOCATION:Paris, France
DESCRIPTION:The goal of this conference is to inte
 grate the community working on logic, games and au
 tomata. Papers on these topics are dispersed acros
 s many conferences, which makes them difficult to 
 follow, and the community rarely gathers. A visit 
 to the Highlights conference gives you a wide pict
 ure of the latest research in the area, as well as
  a chance to meet everybody in the field, not just
  those who happen to publish in one particular pro
 ceedings volume.   Representative areas include, b
 ut are not restricted to: logic and finite model t
 heory, automata theory, and games for logic and ve
 rification. The programme includes one tutorial da
 y and three days of contributed talks and keynote 
 speakers.   For more information, see http://highl
 ights-conference.org/   The conference has no publ
 ished proceedings. Participants are encourage to t
 alk about their best work, be it already published
  or not. The submission deadline is 20 June 2013.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>The g
 oal of this conference is to integrate the communi
 ty\n      working on logic, games and automata. Pa
 pers on these topics are\n      dispersed across m
 any conferences, which makes them difficult to\n  
     follow, and the community rarely gathers. A vi
 sit to the\n      Highlights conference gives you 
 a wide picture of the latest\n      research in th
 e area, as well as a chance to meet everybody in\n
       the field, not just those who happen to publ
 ish in one\n      particular proceedings volume.\n
       </p>\n      <p>Representative areas include,
  but are not restricted to:\n      logic and finit
 e model theory, automata theory, and games for\n  
     logic and verification. The programme includes
  one tutorial day\n      and three days of contrib
 uted talks and keynote speakers.\n      </p>\n    
 \n      \n      <p>For more information, see\n    
     <a target="_blank" href="http://highlights-con
 ference.org/">http://highlights-conference.org/</a
 >\n      </p>\n    </div><div>\n      <p>\n       
  The conference has no published proceedings. Part
 icipants are\n        encourage to talk about thei
 r best work, be it already\n        published or n
 ot.\n        The submission deadline is 20 June 20
 13.\n      </p>\n      </div>
URL:/NewsandEvents/Archives/2013/newsitem/5100/18-
 21-September-2013-Highlights-of-Logic-Games-and-Au
 tomata-Highlights-2013-Paris-France
END:VEVENT
END:VCALENDAR