BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//pretalx.com//juliacon2021//talk//9KGMHJ
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:20260413T114136Z
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
END:VCALENDAR