We have uploaded the materials for our workshop It’s all Set: A hands-on introduction to JuliaReach.
The notebooks can be found here: GitHub - JuliaReach/JuliaCon-2021-Workshop-Its-All-Set: It's all Set: A hands-on introduction to JuliaReach
From the Introduction notebook:
All the JuliaReach crew, spread on 4 different time-zones, will be connected. I hope this will be an opportunity to meet many other folks of the great Julia community 
Our main objective will be to explain the set-based approach from the ground up, a discipline that mixes computer science, analysis and geometry in new and fascinating ways… and it’s all written in Julia! If we succeed or not, we’re happy to hear your feedback.