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/2750/7-1
 1-September-2009-CSL-2009-18th-Conference-on-Compu
 ter-Science-Logic-Coimbra-Portugal
DTSTAMP:20090215T000000
SUMMARY:CSL 2009: 18th Conference on Computer Scie
 nce Logic, Coimbra, Portugal
DTSTART;VALUE=DATE:20090907
DTEND;VALUE=DATE:20090911
LOCATION:Coimbra, Portugal
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'09, the 18th annual EACSL conference will be or
 ganized at the Department of Mathematics of the Un
 iversity of Coimbra.   The invited speakers includ
 e: M. Bojanczyk, T. Coquand, M. Grohe, Y. Moschova
 kis, and P. Oliva. A special session on the life a
 nd work of Stephen Kleene also is planned: 2009 ma
 rks the centennial of his birth.   For more inform
 ation, see http://www.mat.uc.pt/~csl/   The Progra
 mme Committee cordially invites all researchers to
  submit their papers for presentation. Submission 
 deadline for abstracts is 30 March, 2009.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>\nCom
 puter Science Logic (CSL) is the annual conference
  of the European Association for Computer Science 
 Logic (EACSL). The conference is intended for comp
 uter scientists whose research activities involve 
 logic, as well as for logicians working on issues 
 significant for computer science. CSL'09, the 18th
  annual EACSL conference will be organized at the 
 Department of Mathematics of the University of Coi
 mbra. \n      </p>\n      <p>The invited speakers 
 include: M. Bojanczyk, T. Coquand, M. Grohe, Y. \n
         Moschovakis, and P. Oliva. A special sessi
 on on the life and work of \n        Stephen Kleen
 e also is planned: 2009 marks the centennial of hi
 s birth.\n      </p>\n    \n      \n      <p>For m
 ore information, see\n        <a target="_blank" h
 ref="http://www.mat.uc.pt/~csl/">http://www.mat.uc
 .pt/~csl/</a>\n      </p>\n    </div><div>\n      
 <p>\n        The Programme Committee cordially inv
 ites all researchers\n        to submit their\n   
      papers for presentation.\n        Submission 
 deadline for abstracts is 30 March, 2009.\n      <
 /p>\n      </div>
URL:/NewsandEvents/Archives/2009/newsitem/2750/7-1
 1-September-2009-CSL-2009-18th-Conference-on-Compu
 ter-Science-Logic-Coimbra-Portugal
END:VEVENT
END:VCALENDAR