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/2010/newsitem/3149/11- 14-July-2010-Logic-in-Computer-Science-LICS-2010-E dinburgh-Scotland DTSTAMP:20091213T000000 SUMMARY:Logic in Computer Science (LICS 2010), Edi nburgh, Scotland DTSTART;VALUE=DATE:20100711 DTEND;VALUE=DATE:20100714 LOCATION:Edinburgh, Scotland DESCRIPTION:The LICS Symposium is an annual intern ational forum on theoretical and practical topics in computer science that relate to logic broadly c onstrued. LICS 2010 will be organized as part of t he "Fifth Federated Logic Conference" (FLoC) 2010 to be held in Edinburgh from July 9 to 21. For m ore information, see http://www.informatik.hu-berl in.de/lics/lics10/. For information regarding FLoC 2010 and the participating meetings, please visit http://www.floc-conference.org. We invite subm issions for full or short presentations. We welcom e submissions in emergent areas, such as bioinform atics and quantum computation, if they have a subs tantial connection with logic. Titles & short abst racts are due January 10, 2010. X-ALT-DESC;FMTTYPE=text/html:
The L ICS Symposium is an annual international forum on theoretical and\n practical topics in compu ter science that relate to logic broadly\n construed. \n LICS 2010 will be organized as part of the "Fifth Federated Logic\n Conference" (FLoC) 2010 to be held in Edinbur gh from July 9 to 21.\n
\n \n \nFor more information, see\n http://www.informatik.hu-berlin.d e/lics/lics10/.\n For information regar ding FLoC 2010 and the participating meetings,\n please visit http://www.floc-conferen ce.org.\n
\n We invite submissions for full or short prese ntations.\n We welcome submissions in emerg ent areas, such as bioinformatics and\n qua ntum computation, if they have a substantial conne ction with logic.\n Titles & short abst racts are due January 10, 2010.\n
\n