Welcome!

We are a group of Ph.D. students working on formal verification who want to create a website for the CAV community, tailored to students and fresh graduates. Our main goal is to collect introductory and advanced study material, ranging over the many areas related to Computer-Aided Verification, and to build a platform where students and researchers can connect, offer mentoring sessions (…please do!), find useful career advice, job and internship opportunities, and answers to FAQs. 

We maintain four public Google Calendars which you can add to your own calendar:

• Conferences & Workshops (link, i-Cal);
• Job & Internships Deadlines (link, i-Cal);
• Scholarships Applications (link, i-Cal);
• Student Events (link, i-Cal).