# Intl' Workshop on Applied Verification of Continuous and Hybrid Systems Proceedings (2021)

**URL:** <https://discourse.julialang.org/t/intl-workshop-on-applied-verification-of-continuous-and-hybrid-systems-proceedings-2021/72789>\
**Category:** Community\
**Created:** [December 8, 2021, 8:47pm UTC](https://discourse.julialang.org/t/intl-workshop-on-applied-verification-of-continuous-and-hybrid-systems-proceedings-2021/72789 "2021-12-08T20:47:23Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![mforets](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/mforets/32/298_2.png) [@mforets](https://discourse.julialang.org/u/mforets)\
**Post date:** [December 8, 2021, 8:47pm UTC](https://discourse.julialang.org/t/intl-workshop-on-applied-verification-of-continuous-and-hybrid-systems-proceedings-2021/72789/1 "2021-12-08T20:47:23Z")

</div>

## Communities

Held on July (2021) in Brussels, Belgium, this year’s [ARCH-COMP workshop](https://cps-vo.org/group/ARCH) was part of the [7th IFAC Conference on Analysis and Design of Hybrid Systems](https://sites.uclouvain.be/adhs21/). For those who are interested on these topics, the proceedings are now publicly available! See [ARCH21: Volume Information](https://easychair.org/publications/volume/ARCH21)

Since 2018, several core contributors from the JuliaReach and JuliaIntervals communities have been participating in the ARCH-COMP friendly competition with our open-source Julia stack. Such event contains a set of verification benchmarks sent by academia and industry. The competition is also a way to connect with developers from other (non-Julia) orgs and push the frontier of this domain.

## What’s new?

In 2021 for the first time we have participated in three categories: formal verification of linear and nonlinear (continuous and hybrid dynamical systems), as well as verification of neural network controlled systems (NNCS).

The NNCS work has been accepted in the [36th AAAI conference on Artificial Intelligence](https://aaai.org/Conferences/AAAI-22/) – we’re proud of this achievement as one of the coauthors developed part of such work during his Julia Seasons of Contributions (JSOC) scholarship, which stands as a proof of the high quality of the contributed work. You can check related [slides here](https://github.com/JuliaReach/JuliaReach-website/blob/master/Talks/NNCS_JuliaLab21/slides_JuliaLab2021.pdf) (presentation at the JuliaLab, 2021).

## Want to get involved?

We will announce a bunch of JSOC/GSOC project ideas soon. Stay tuned! Subscribe to the `reachability-analysis` zulip channel for updated content.

Therere’s also [JuliaReach & JuliaIntervals Days 3](https://juliareach.github.io/juliareach-days-3/) which is taking place tomorrow (registration still open).