A sharing platform for the Computer-Aided Verification community
Unfortunately, this year’s international summer school in Marktoberdorf had to be cancelled… But you still can find many interesting resources like slides and tutorials from the previous years on the summer school’s website! Read More …
When: December 8-10, 2019
Where: IIT Bombay, India
Website: http://sat-smt.in/
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)
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.