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/2016/newsitem/7420/5-8
 -July-2016-31st-Annual-ACM-IEEE-Symposium-on-Logic
 -in-Computer-Science-LICS-2016-New-York-NY-U-S-A-
DTSTAMP:20160529T000000
SUMMARY:31st Annual ACM/IEEE Symposium on Logic in
  Computer Science  (LICS 2016), New York NY, U.S.A
 .
DTSTART;VALUE=DATE:20160705
DTEND;VALUE=DATE:20160708
LOCATION:New York NY, U.S.A.
DESCRIPTION:The LICS Symposium is an annual intern
 ational forum on theoretical and practical topics 
 in computer science that relate to logic, broadly 
 construed. LICS 2016 will be hosted at Columbia Un
 iversity in New York City.    Affiliated Workshops
 :  Logic Mentoring Workshop  LSB: 6th Workshop on 
 Logic and Systems Biology  NLCS: 4th Workshop on N
 atural Language and Computer Science.  SR: 4th Int
 ernational Workshop on Strategic Reasoning.  LOLA:
  Syntax and Semantics of Low-Level Languages.    E
 arly Registration Deadline: June 3, 2016. For more
  information, see http://lics.rwth-aachen.de/lics1
 6/
X-ALT-DESC;FMTTYPE=text/html:\n      <p>\n        
 The LICS Symposium is an annual international foru
 m on\n        theoretical and practical topics in 
 computer science that\n        relate to logic, br
 oadly construed. LICS 2016 will be hosted\n       
  at Columbia University in New York City.\n       
 </p>\n       <p>\n         Affiliated Workshops:<b
 r/>\n         Logic Mentoring Workshop<br/>\n     
     LSB: 6th Workshop on Logic and Systems Biology
 <br/>\n         NLCS: 4th Workshop on Natural Lang
 uage and Computer Science.<br/>\n         SR: 4th 
 International Workshop on Strategic Reasoning.<br/
 >\n         LOLA: Syntax and Semantics of Low-Leve
 l Languages.\n       </p>\n    \n      <p>\n      
   Early Registration Deadline: June 3, 2016.\n    
     For more information, see\n        <a target="
 _blank" href="http://lics.rwth-aachen.de/lics16/">
 http://lics.rwth-aachen.de/lics16/</a>\n      </p>
 \n    
URL:/NewsandEvents/Archives/2016/newsitem/7420/5-8
 -July-2016-31st-Annual-ACM-IEEE-Symposium-on-Logic
 -in-Computer-Science-LICS-2016-New-York-NY-U-S-A-
END:VEVENT
END:VCALENDAR