Alex Sanchez-Stern (Mar 11 2024 at 18:56): Alex Sanchez-Stern (Mar 11 2024 at 18:56):Hey all,
If you're working on or interested in learning for verification, consider submitting to DAV 2024! Submissions are now open, due May 1st. The detailed Call for Papers can be found here: https://dav-workshop-2024.github.io/cfp.html
Hope to see you there!
Last updated: Oct 13 2024 at 01:02 UTC