Advanced Course on Software Verification
You can find slides by Prof. Orna Grumberg for automatic verification of software, using this link.
A sharing platform for the Computer-Aided Verification community
You can find slides by Prof. Orna Grumberg for automatic verification of software, using this link.
Slides for model checking introductory course, by Prof. Orna Grumberg, can be found here.
What: Senior researchers, Postdocs, PhD students and Internships
Where: Tokyo
When: Now till March 2022
Website: https://group-mmm.org/eratommsd/openpositions/
Prof. Pavol Cerny is hiring two PhD student for FORSYTE (Formal Methods in System Engineering) group in the Institute of Logic and Computation at Technische Universität Wien (TU Wien).
15th International Conference on integrated Formal Methods
Website : http://ifm2019.hvl.no/cfp/
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.