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/15392/10
 -February-2025-Workshop-LeaLog@CSL-Learning-and-Lo
 gic
DTSTAMP:20250115T022240
SUMMARY:Workshop LeaLog@CSL: Learning and Logic
DTSTART;VALUE=DATE:20250210
DTEND;VALUE=DATE:20250210
LOCATION:Amsterdam, the Netherlands
DESCRIPTION:This workshop will take place as part 
 of the 33rd EACSL Annual Conference on Computer Sc
 ience Logic (CSL 2025). It brings together researc
 hers who are working on topics at the intersection
  of learning and logic, ranging from the logical f
 oundations of learnability and computational learn
 ing theory to logical analyses of machine learning
  models and applications of machine learning in kn
 owledge representation and reasoning.  The worksho
 p will consists of 5 invited talks and 10 contribu
 ted talks.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>This workshop 
 will take place as part of the <a href="https://cs
 l2025.github.io/" target="_blank" rel="noopener">3
 3rd EACSL Annual Conference on Computer Science Lo
 gic (CSL 2025)</a>. It brings together researchers
  who are working on topics at the intersection of 
 learning and logic, ranging from the logical found
 ations of learnability and computational learning 
 theory to logical analyses of machine learning mod
 els and applications of machine learning in knowle
 dge representation and reasoning.</p>\n  <p>The wo
 rkshop will consists of 5 invited talks and 10 con
 tributed talks.</p>\n
URL:https://sites.google.com/view/lealog25
CONTACT:Balder ten Cate at b.d.tencate at uva.nl
END:VEVENT
END:VCALENDAR
