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/2010/newsitem/3181/23-
 27-August-2010-CSL-2010-Computer-Science-Logic-Brn
 o-Czech-Republic
DTSTAMP:20100110T000000
SUMMARY:CSL 2010: Computer Science Logic, Brno, Cz
 ech Republic
DTSTART;VALUE=DATE:20100823
DTEND;VALUE=DATE:20100827
LOCATION:Brno, Czech Republic
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 19th EACSL Annual Conference on Computer Scienc
 e Logic (CSL 2010) and the 35th International Symp
 osium on Mathematical Foundations of Computer Scie
 nce (MFCS 2010) are federated and organized in par
 allel at the same place. The federated MFCS & CSL 
 2010 conference has common plenary sessions and so
 cial events for all participants, and is accompani
 ed by satellite workshops on more specialized topi
 cs. The Ackermann Award for 2010 will be presented
  to the recipients at CSL'10.   For more informati
 on, see http://www.mat.uc.pt/~csl/ or contact the 
 organisers at mfcsl2010 at fi.muni.cz.    The Prog
 ramme Committee cordially invites all researchers 
 to submit their papers for presentation. Submissio
 n deadline (title & abstract): March 26, 2010
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. The 19th EACSL Annual\n      Conference 
 on Computer Science Logic (CSL 2010) and the 35th\
 n      International Symposium on Mathematical Fou
 ndations of Computer\n      Science (MFCS 2010) ar
 e federated and organized in parallel at\n      th
 e same place. The federated MFCS &amp; CSL 2010 co
 nference has\n      common plenary sessions and so
 cial events for all participants,\n      and is ac
 companied by satellite workshops on more specializ
 ed\n      topics.  The Ackermann Award for 2010 wi
 ll be presented to the\n      recipients at CSL'10
 .\n      </p>\n    \n      \n      <p>For more inf
 ormation, see\n        <a target="_blank" href="ht
 tp://www.mat.uc.pt/~csl/">http://www.mat.uc.pt/~cs
 l/</a>\n        or contact the organisers at\n    
     <a class="email">mfcsl2010 <span class="at">at
 </span> fi.muni.cz</a>.\n      </p>\n    </div><di
 v>\n      <p>\n        The Programme Committee cor
 dially invites all researchers\n        to submit 
 their\n        papers for presentation.\n        S
 ubmission deadline (title &amp; abstract):  March 
 26, 2010\n      </p>\n      </div>
URL:/NewsandEvents/Archives/2010/newsitem/3181/23-
 27-August-2010-CSL-2010-Computer-Science-Logic-Brn
 o-Czech-Republic
END:VEVENT
END:VCALENDAR