BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//pretalx.com//juliacon2021//speaker//HB7CMX
BEGIN:VEVENT
UID:pretalx-juliacon2021-9KGMHJ@pretalx.com
DTSTART:20210726T140000Z
DTEND:20210726T170000Z
DESCRIPTION:JuliaReach is among the best-of-breed software addressing the f
 undamental problem of reachability analysis: computing the set of states t
 hat are reachable by a dynamical system from all initial states and for al
 l admissible inputs and parameters. We explain the role of Julia's multipl
 e dispatch to gain an unprecedented level of flexibility and expressivenes
 s in this area. We explore diverse applications including differential equ
 ations\, hybrid systems and neural network controlled systems.
DTSTAMP:20260717T104238Z
LOCATION:Green
SUMMARY:It's all Set: A hands-on introduction to JuliaReach - Marcelo Foret
 s\, Christian Schilling
URL:https://pretalx.com/juliacon2021/talk/9KGMHJ/
END:VEVENT
BEGIN:VEVENT
UID:pretalx-juliacon2021-DRMPLU@pretalx.com
DTSTART:20210728T163000Z
DTEND:20210728T183000Z
DESCRIPTION:This minisymposium presents modern approaches to analyze a vari
 ety of mathematical systems in Julia\, via set propagation techniques: dyn
 amical systems\, cyber-physical systems\, probabilistic systems\, and neur
 al networks. To deploy those systems in the real world there is an increas
 ing demand for safe and reliable models. The speakers represent a broad cr
 oss-section of work from different fields that build on set-based techniqu
 es and global optimization to address such challenges.
DTSTAMP:20260717T104238Z
LOCATION:BoF/Mini Track
SUMMARY:Set Propagation Methods in Julia: Techniques and Applications - Dav
 id P. Sanders\, Marcelo Forets\, Christian Schilling\, Ander Gray\, Matthe
 w Wilhelm\, Jorge Pérez Zerpa\, Goran Frehse\, Deleted User\, Julien Calb
 ert\, Tomer Arnon
URL:https://pretalx.com/juliacon2021/talk/DRMPLU/
END:VEVENT
END:VCALENDAR