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/2025/newsitem/15286/10
 ---14-February-2025-Computer-Science-Logic-2025-CS
 L-2025-Amsterdam-the-Netherlands
DTSTAMP:20241119T171243
SUMMARY:Computer Science Logic 2025 (CSL 2025), Am
 sterdam, the Netherlands
DTSTART;VALUE=DATE:20250210
DTEND;VALUE=DATE:20250214
LOCATION:Amsterdam, the Netherlands
DESCRIPTION:CSL is the annual conference of the Eu
 ropean Association for Computer Science Logic (EAC
 SL). It is an interdisciplinary conference, spanni
 ng across both basic and application oriented rese
 arch in mathematical logic and computer science. C
 SL 2025 will be held on the 10th–14th of February 
 2025 and is organised jointly by the TCS group at 
 the Vrije Universiteit Amsterdam and the ILLC.  Tw
 o workshops are co-located with CSL, and will take
  place on Monday, February 10: the 12th Logic Ment
 oring Workshop (LMW@CSL 2025) and the Workshop on 
 Learning and Logic (LeaLog@CSL 2025).
X-ALT-DESC;FMTTYPE=text/html:\n  <p>CSL is the ann
 ual conference of the European Association for Com
 puter Science Logic (<a href="https://www.eacsl.or
 g/" target="_blank" rel="noopener">EACSL</a>). It 
 is an interdisciplinary conference, spanning acros
 s both basic and application oriented research in 
 mathematical logic and computer science. CSL 2025 
 will be held on the 10th–14th of February 2025 and
  is organised jointly by the TCS group at the Vrij
 e Universiteit Amsterdam and the ILLC.</p>\n  <p>T
 wo workshops are co-located with CSL, and will tak
 e place on Monday, February 10: the <a href="https
 ://logic-mentoring-workshop.github.io/csl25/" targ
 et="_blank" rel="noopener">12th Logic Mentoring Wo
 rkshop (LMW@CSL 2025)</a> and the <a href="https:/
 /sites.google.com/view/lealog25" target="_blank" r
 el="noopener">Workshop on Learning and Logic (LeaL
 og@CSL 2025)</a>.</p>\n
URL:https://csl2025.github.io/
CONTACT:Balder ten Cate at b.d.tencate at uva.nl
END:VEVENT
END:VCALENDAR