Call for Participation – ITP 2019
10th International Conference on Interactive Theorem Proving
Website : https://itp19.cecs.pdx.edu/
A sharing platform for the Computer-Aided Verification community
10th International Conference on Interactive Theorem Proving
Website : https://itp19.cecs.pdx.edu/
When: Usually happens in July or August
Where: Marktoberdorf, Munich, Germany
Website: https://www2.in.tum.de/mod19/index.html (for year 2019)
When: Usually happens in May
Where: Menlo college, Atherton, CA
Website: http://fm.csl.sri.com/SSFT19/ (for year 2019)
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
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.