BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//pretalx.com//juliacon2024//talk//H8AWEY
BEGIN:VTIMEZONE
TZID:CET
BEGIN:STANDARD
DTSTART:20001029T040000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=10
TZNAME:CET
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:20000326T030000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=3
TZNAME:CEST
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:pretalx-juliacon2024-H8AWEY@pretalx.com
DTSTART;TZID=CET:20240711T163000
DTEND;TZID=CET:20240711T170000
DESCRIPTION:What do computer algebra and Standard ML-style module systems h
 ave in common? In this talk\, we will answer this question via exploration
  of GATlab.jl\, a new package spun off of the GAT (generalized algebraic t
 heories) system from Catlab. Rather than focusing on the mathematics of GA
 Ts\, we will give a practical introduction on how to use GATlab as both a 
 computer algebra system and a Standard ML-style module system\, and how ea
 ch use complements the other.
DTSTAMP:20260420T061752Z
LOCATION:For Loop (3.2)
SUMMARY:Gatlab: Computer Algebra and Standard ML modules combined - Owen Ly
 nch
URL:https://pretalx.com/juliacon2024/talk/H8AWEY/
END:VEVENT
END:VCALENDAR