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/2009/newsitem/2596/11-
 14-August-2009-Logic-in-Computer-Science-LICS-2009
 -Los-Angeles-CA-U-S-A-
DTSTAMP:20081106T000000
SUMMARY:Logic in Computer Science (LICS 2009), Los
  Angeles CA, U.S.A.
DTSTART;VALUE=DATE:20090811
DTEND;VALUE=DATE:20090814
LOCATION:Los Angeles CA, U.S.A.
DESCRIPTION:The IEEE Symposium on Logic In Compute
 r Science (LICS) is an annual international forum 
 on topics that lie at the intersection of computer
  science and mathematical logic. LICS 2009 will be
  held at UCLA in Los Angeles, California, USA, 11t
 h-14th August 2009. It will be colocated with the 
 16th International Static Analysis Symposium (SAS 
 2009; August 9th-11th).   For more information, se
 e http://www2.informatik.hu-berlin.de/lics/lics09/
 index.html)  Researchers and practitioners are inv
 ited to submit papers for presentation and/or prop
 osals for workshops, on topics relating logic - br
 oadly construed - to computer science or related f
 ields. Abstracts are due January 12th 2009, propos
 als December 1st 2008.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>\nThe
  IEEE Symposium on Logic In Computer Science (LICS
 ) is an annual international forum on topics that 
 lie at the intersection of computer science and ma
 thematical logic.\nLICS 2009 will be held at UCLA 
 in Los Angeles, California, USA, 11th-14th August 
 2009. It will be colocated with the 16th Internati
 onal Static Analysis Symposium (SAS 2009; August 9
 th-11th).\n      </p>\n    \n      \n      <p>For 
 more information, see\n        <a target="_blank" 
 href="http://www2.informatik.hu-berlin.de/lics/lic
 s09/index.html)">http://www2.informatik.hu-berlin.
 de/lics/lics09/index.html)</a>\n      </p>\n    </
 div><div>\n      <p>Researchers and practitioners 
 are invited to submit \n        papers for present
 ation and/or proposals for workshops,\n        on 
 topics relating logic - broadly construed - to com
 puter\n        science or related fields.\n       
  Abstracts are due January 12th 2009, proposals De
 cember 1st 2008.\n      </p>\n      </div>
URL:/NewsandEvents/Archives/2009/newsitem/2596/11-
 14-August-2009-Logic-in-Computer-Science-LICS-2009
 -Los-Angeles-CA-U-S-A-
END:VEVENT
END:VCALENDAR