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/2017/newsitem/8284/20-
 --24-August-2017-26th-Annual-EACSL-Conference-on-C
 omputer-Science-Logic-CSL-2017-Stockholm-Sweden
DTSTAMP:20170520T165922
SUMMARY:26th Annual EACSL Conference on Computer S
 cience Logic (CSL 2017), Stockholm, Sweden
DTSTART;VALUE=DATE:20170820
DTEND;VALUE=DATE:20170824
LOCATION:Stockholm, Sweden
DESCRIPTION:Computer Science Logic (CSL) is the an
 nual conference of the European Association for Co
 mputer Science Logic (EACSL). It is an interdiscip
 linary conference, spanning across both basic and 
 application oriented research in mathematical logi
 c and computer science and is intended for compute
 r scientists whose research involves logic, as wel
 l as for logicians working on issues essential for
  computer science.  CSL2017 is the 26th EACSL annu
 al conference. It will be co-organised by Stockhol
 m University and KTH Royal Institute of Technology
 , and hosted by Stockholm University. CSL2017 will
  be co-located with, and immediately preceded by, 
 the Logic Colloquium 2017 (LC2017). There will be 
 a joint session of CSL2017 and LC2017 in the morni
 ng of August 20, as well as CSL-affiliated worksho
 ps during August 25-26.  Authors are invited to su
 bmit abstracts for short oral presentations. Abstr
 acts should be in English, up to 4 pages (includin
 g references) in LIPIcs style, describing work fit
 ting the scope of the conference. They will NOT be
  included in the proceedings. Note that the deadli
 ne for contributed full papers passed on March 24r
 d.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>Computer 
 Science Logic (CSL) is the annual conference of th
 e European Association for Computer Science Logic 
 (EACSL). It is an interdisciplinary conference, sp
 anning across both basic and application oriented 
 research in mathematical logic and computer scienc
 e and is intended for computer scientists whose re
 search involves logic, as well as for logicians wo
 rking on issues essential for computer science.</p
 >\n\n  <p>CSL2017 is the 26th EACSL annual confere
 nce. It will be co-organised by Stockholm Universi
 ty and KTH Royal Institute of Technology, and host
 ed by Stockholm University. CSL2017 will be co-loc
 ated with, and immediately preceded by, the Logic 
 Colloquium 2017 (LC2017). There will be a joint se
 ssion of CSL2017 and LC2017 in the morning of Augu
 st 20, as well as CSL-affiliated workshops during 
 August 25-26.</p>\n</div><div>\n  <p>Authors are i
 nvited to submit abstracts for short oral presenta
 tions. Abstracts should be in English, up to 4 pag
 es (including references) in LIPIcs style, describ
 ing work fitting the scope of the conference. They
  will NOT be included in the proceedings. Note tha
 t the deadline for contributed full papers passed 
 on March 24rd.</p>\n</div>
URL:https://www.csl17.conf.kth.se
CONTACT:Valentin Goranko at csl2017 at philosophy.
 su.se
END:VEVENT
END:VCALENDAR