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/2022/newsitem/13895/30
 -September-2022-Cool-Logic-Mike-Cruchten
DTSTAMP:20220926T142527
SUMMARY:Cool Logic, Mike Cruchten
ATTENDEE;ROLE=Speaker:Mike Cruchten
DTSTART;TZID=Europe/Amsterdam:20220930T170000
DTEND;TZID=Europe/Amsterdam:20220930T190000
LOCATION:Room TBA, ILLC, Science Park, Amsterdam
DESCRIPTION:The theory of regular languages has be
 en studied extensively and offers many nice connec
 tions to logic, algebra, and coalgebra. Unfortunat
 ely, the theory of omega-regular languages is slig
 htly less well-behaved, in particular with regards
  to coalgebra. To bridge the gap we introduce the 
 theory of regular lasso languages, a theory combin
 ing the simplicity of regular languages with the e
 xpressiveness of omega-regular languages. As with 
 any other topic related to automata theory, plenty
  of pictures will be provided.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>The theory of 
 regular languages has been studied extensively and
  offers many nice connections to logic, algebra, a
 nd coalgebra. Unfortunately, the theory of omega-r
 egular languages is slightly less well-behaved, in
  particular with regards to coalgebra. To bridge t
 he gap we introduce the theory of regular lasso la
 nguages, a theory combining the simplicity of regu
 lar languages with the expressiveness of omega-reg
 ular languages. As with any other topic related to
  automata theory, plenty of pictures will be provi
 ded.</p>\n
URL:https://coollogic.wixsite.com/website
CONTACT:Tuva Bardal, Paul Talma at coollogic.uva a
 t gmail.com
END:VEVENT
END:VCALENDAR