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/2011/newsitem/3744/12-
 15-September-2011-20th-Annual-Conference-on-Comput
 er-Science-Logic-CSL-2011-Bergen-Norway
DTSTAMP:20110113T000000
SUMMARY:20th Annual Conference on Computer Science
  Logic (CSL 2011), Bergen, Norway
DTSTART;VALUE=DATE:20110912
DTEND;VALUE=DATE:20110915
LOCATION:Bergen, Norway
DESCRIPTION:Computer Science Logic (CSL) is the an
 nual conference of the European Association for Co
 mputer Science Logic (EACSL). The conference is in
 tended for computer scientists whose research acti
 vities involve logic, as well as for logicians wor
 king on issues significant for computer science. T
 he Ackermann Award for 2011 will be presented to t
 he recipients at CSL 2011.   For more information,
  see http://www.eacsl.org/csl11  Authors are invit
 ed to submit papers of not more than 15 pages pres
 enting work not previously published. Submission d
 eadline for abstracts is 27 March 2011. Proposals 
 for satellite workshops on more specialized topics
  are also welcome.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>Compu
 ter Science Logic (CSL) is the annual conference o
 f the\n            European Association for Comput
 er Science Logic (EACSL).\n            The confere
 nce is intended for computer scientists whose\n   
          research activities involve logic, as wel
 l as for logicians\n            working on issues 
 significant for computer science.\n            The
  Ackermann Award for 2011 will be presented to the
 \n            recipients at CSL 2011.\n      </p>\
 n    \n      \n      <p>For more information, see\
 n            <a target="_blank" href="http://www.e
 acsl.org/csl11">http://www.eacsl.org/csl11</a>\n  
     </p>\n    </div><div>\n      <p>Authors are in
 vited to submit papers of not more than 15 pages\n
         presenting work not previously published.\
 n        Submission deadline for abstracts is 27 M
 arch 2011.\n        Proposals for satellite worksh
 ops on more specialized topics are also\n        w
 elcome.\n      </p>\n      </div>
URL:/NewsandEvents/Archives/2011/newsitem/3744/12-
 15-September-2011-20th-Annual-Conference-on-Comput
 er-Science-Logic-CSL-2011-Bergen-Norway
END:VEVENT
END:VCALENDAR