A sharing platform for the Computer-Aided Verification community
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.