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/2692/7-1
 1-September-2009-Computer-Science-Logic-2009-CSL-0
 9-Coimbra-Portugal
DTSTAMP:20090705T000000
SUMMARY:Computer Science Logic 2009 (CSL'09), Coim
 bra, 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 Ackermann Award for 2009
  will be presented to the recipients at CSL'09.   
 Early registration deadline is 31 July, 2009. For 
 more information, see http://www.mat.uc.pt/CSL09 o
 r contact csl at mat.uc.pt   The Programme Committ
 ee cordially invites all researchers to submit the
 ir papers for presentation. Submission deadline (t
 itle & abstract) is 30 March, 2009.
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'09, the 18th annual\n      EACSL con
 ference will be organized at the Department of\n  
     Mathematics of the University of Coimbra\n    
   </p>\n      <p>The Ackermann Award for 2009 will
  be presented to the recipients at\n        CSL'09
 .\n      </p>\n    \n      \n      <p>Early regist
 ration deadline is 31 July, 2009.\n        For mor
 e information, see\n        <a target="_blank" hre
 f="http://www.mat.uc.pt/CSL09">http://www.mat.uc.p
 t/CSL09</a>\n         or contact <a class="email">
 csl <span class="at">at</span> mat.uc.pt</a>\n    
   </p>\n    </div><div>\n      <p>\n        The Pr
 ogramme Committee cordially invites all researcher
 s\n        to submit their\n        papers for pre
 sentation.\n        Submission deadline (title &am
 p; abstract) is 30 March, 2009.\n      </p>\n     
  </div>
URL:/NewsandEvents/Archives/2009/newsitem/2692/7-1
 1-September-2009-Computer-Science-Logic-2009-CSL-0
 9-Coimbra-Portugal
END:VEVENT
END:VCALENDAR