BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//pretalx.com//juliacon2024//speaker//ZBQNU9
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-QDMQQL@pretalx.com
DTSTART;TZID=CET:20240712T163000
DTEND;TZID=CET:20240712T170000
DESCRIPTION:In this talk\, we introduce a Julia package that transforms hyb
 rid system models into a formal language for theorem proving\, providing a
  new tool to analyze your model. We explore how\, with the help of our pac
 kage\, you can automatically find proofs to verify system properties. By e
 xplaining key concepts such as quantifier elimination and loop invariants\
 , we show the core principles of proof search. Finally\, we compare our ap
 proach to other methods in the Julia ecosystem.
DTSTAMP:20260517T235340Z
LOCATION:If (1.1)
SUMMARY:Automated Theorem Proving with dL in Julia - Jonathan Hellwig
URL:https://pretalx.com/juliacon2024/talk/QDMQQL/
END:VEVENT
END:VCALENDAR