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:<div>\n      <p>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 &quot;Fifth Federated Logic\n        
 Conference&quot; (FLoC) 2010 to be held in Edinbur
 gh from July 9 to 21.\n      </p>\n    \n      \n 
      <p>For more information, see\n        <a targ
 et="_blank" href="http://www.informatik.hu-berlin.
 de/lics/lics10/">http://www.informatik.hu-berlin.d
 e/lics/lics10/</a>.\n        For information regar
 ding FLoC 2010 and the participating meetings,\n  
       please visit <a target="_blank" href="http:/
 /www.floc-conference.org">http://www.floc-conferen
 ce.org</a>.\n      </p>\n    </div><div>\n      <p
 >\n        We invite submissions for full or short
  presentations.\n        We welcome submissions in
  emergent areas, such as bioinformatics and\n     
    quantum computation, if they have a substantial
  connection with logic.\n        Titles &amp; shor
 t abstracts are due January 10, 2010.\n      </p>\
 n      </div>
URL:/NewsandEvents/Archives/2010/newsitem/3149/11-
 14-July-2010-Logic-in-Computer-Science-LICS-2010-E
 dinburgh-Scotland
END:VEVENT
END:VCALENDAR