GitHub repository: JuliaReach/JuliaCon-2021-Minisymposium-Set-Propagation
Description: Minisymposium (proposal) for the JuliaCon 2021: Applications of Set Propagation Techniques in Julia