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:
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
\nRepresentative 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
\n \n \nFor more information, see\n http://highlights-conference.org/\n
\n The c onference has no published proceedings. Participan ts are\n encourage to talk about their best work, be it already\n published or not.\n The submission deadline is 20 June 2013.\n
\n