Call for Papers – TACAS 2020
26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Website: https://www.etaps.org/2020/tacas
Category: Events
SAT/SMT winter school
When: December 8-10, 2019
Where: IIT Bombay, India
Website: http://sat-smt.in/
Call for Participation – ITP 2019
10th International Conference on Interactive Theorem Proving
Website : https://itp19.cecs.pdx.edu/
Marktoberdorf Summer School
When: Usually happens in July or August
Where: Marktoberdorf, Munich, Germany
Website: https://www2.in.tum.de/mod19/index.html (for year 2019)
Summer School on Formal Techniques
When: Usually happens in May
Where: Menlo college, Atherton, CA
Website: http://fm.csl.sri.com/SSFT19/ (for year 2019)
Call for paper – OCL 2019
19th International Workshop on OCL and Textual Modeling
Website : http://oclworkshop.github.io
Call for paper – FTSCS 2019
7th International Workshop on Formal Techniques for Safety-Critical Systems
Website : ttp://www.ftscs.org
Call for paper – iFM 2019
15th International Conference on integrated Formal Methods
Website : http://ifm2019.hvl.no/cfp/
Deadline Extension – CFP Workshop on SplSA 2019
Inaugural workshop on Instruction Set Architecture Specification (SplSA2019)
Submission link: https://easychair.org/conferences/?conf=spisa19
Share with the CAV community
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.