A sharing platform for the Computer-Aided Verification community
FMAS brings together researchers working on a range of techniques for the formal specification and verification of autonomous systems. The workshop enables researchers to present recent work in the area, discuss key difficulties, and stimulate collaboration between the robotics and formal methods communities. FMAS 2022 will be held at SEFM, so we will have in-person Read More …
Advances in Verification is a post conference workshop of FSTTCS 2020 and takes place online on December 18, 2020. Please find the Call for Participation and relevant links below. Note that even without registration you can attend the talks online via the live stream. Enjoy this workshop!
The workshop is organized as part of QONFEST 2020, also hosting CONCUR 2020.
Registration is required at https://qonfest2020.github.io/registration.html. Workshop-only registration costs 5 Euros until August 13th and then 8 Euros.
No problem, you can still watch all the talks on YouTube! The links to the videos are included in the workshop program. Enjoy the workshop at your own pace and also check out the rest of the program at CAV 2020.
VMW is affiliated with CAV 2020. This year the workshop is virtual and registration is free! This is a great place to connect to students and mentors. Check this out in the VMW webpage!
Women in Logic 2020 is part of “Paris Nord Summer of LoVe 2020”(https://lipn.univ-paris13.fr/summer-of-love-2020/), a joint event onLOgic and VErification, made of Petri Nets 2020, IJCAR 2020, FSCD 2020, and over 20 satellite events. This year, it will be held virtually, on June 30th (https://sites.google.com/g.uporto.pt/wil2020). IMPORTANT DATESAbstract submission deadline: May 10, 2020Notification: June 2, 2020 SUBMISSIONSAbstracts Read More …
This year’s Verification Mentoring Workshop is going to have an amazing program – judging by the speakers that are already confirmed! Convince yourself on the VMW website where you will also find the latest updates (also check the CAV’20 homepage for updates).
Haifa Verification Seminar
Website: https://www.research.ibm.com/haifa/Workshops/HVS2019/index.shtml
10th International Conference on Interactive Theorem Proving
Website : https://itp19.cecs.pdx.edu/
19th International Workshop on OCL and Textual Modeling
Website : http://oclworkshop.github.io
7th International Workshop on Formal Techniques for Safety-Critical Systems
Website : ttp://www.ftscs.org
Inaugural workshop on Instruction Set Architecture Specification (SplSA2019)
Submission link: https://easychair.org/conferences/?conf=spisa19
Would you like to share any study material or do you have any announcements regarding job openings, conferences, scholarships, …? We are happy to publish your ideas and information here on CAVlinks! Please contact us using this form.