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/2007/newsitem/1741/11-
 15-September-2007-CSL-2007-Computer-Science-Logic-
 Lausanne-Switzerland
DTSTAMP:20070222T000000
SUMMARY:CSL 2007 (Computer Science Logic), Lausann
 e, Switzerland
DTSTART;VALUE=DATE:20070911
DTEND;VALUE=DATE:20070915
LOCATION:Lausanne, Switzerland
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. C
 SL'07, the 16th annual EACSL conference will be or
 ganized in Lausanne by the Western Swiss Center fo
 r Logic, History and Philosophy of Sciences, and t
 he University of Lausanne. The Ackermann Award for
  2007 is sponsored by Logitech and will be present
 ed to the recipients at CSL'07. A joint session wi
 th GAMES 07, the annual meeting of the European Ne
 twork will take place on 11 September, 2007.   For
  more information, see http://www.unil.ch/csl07/. 
    The Programme Committee cordially invites all r
 esearchers to submit their papers for presentation
 . Submission deadline for abstracts is April 2, 20
 07.
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 Computer Sci
 ence Logic (EACSL). The\n      conference is inten
 ded for computer scientists whose research\n      
 activities involve logic, as well as for logicians
  working on\n      issues significant for computer
  science. CSL'07, the 16th annual\n      EACSL con
 ference will be organized in Lausanne by the Weste
 rn\n      Swiss Center for Logic, History and Phil
 osophy of Sciences, and\n      the University of L
 ausanne. The Ackermann Award for 2007 is\n      sp
 onsored by Logitech and will be presented to the r
 ecipients at\n      CSL'07. A joint session with G
 AMES 07, the annual meeting of the\n      European
  Network will take place on 11 September, 2007.\n 
      </p>\n    \n      \n      <p>For more informa
 tion, see\n        <a target="_blank" href="http:/
 /www.unil.ch/csl07/">http://www.unil.ch/csl07/</a>
 .\n      </p>\n    </div><div>\n      <p>\n       
  The Programme Committee cordially invites all res
 earchers\n        to submit their\n        papers 
 for presentation.\n        Submission deadline for
  abstracts is April 2, 2007.\n      </p>\n      </
 div>
URL:/NewsandEvents/Archives/2007/newsitem/1741/11-
 15-September-2007-CSL-2007-Computer-Science-Logic-
 Lausanne-Switzerland
END:VEVENT
END:VCALENDAR