BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//pretalx.com//juliacon-2026//speaker//Z3LARS
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-juliacon-2026-YJVVDR@pretalx.com
DTSTART;TZID=CET:20260812T104500
DTEND;TZID=CET:20260812T110000
DESCRIPTION:We present CertifiedHomotopyTracking.jl\, a Julia package for c
 ertified homotopy tracking. Homotopy path tracking has been used as an eff
 ective method across diverse fields\, but its outputs are not certified. O
 ur package ensures correctness using interval arithmetic (via Nemo.jl). Th
 e package uses Symbolics.jl to construct systems via SLPs. Based on this\,
  it automates monodromy group analysis through GAP integration. Finally\, 
 we discuss interaction with HomotopyContinuation.jl and Pandora.jl.
DTSTAMP:20260502T104018Z
LOCATION:Room 6
SUMMARY:Certified homotopy and monodromy computation in Julia - Kisun Lee
URL:https://pretalx.com/juliacon-2026/talk/YJVVDR/
END:VEVENT
END:VCALENDAR