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:
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.
\n\nCSL2017 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.
Authors are inv ited to submit abstracts for short oral presentati ons. Abstracts should be in English, up to 4 pages (including references) in LIPIcs style, describin g work fitting the scope of the conference. They w ill NOT be included in the proceedings. Note that the deadline for contributed full papers passed on March 24rd.