Enjoy FLoC 2022 in Haifa!
Check out the two mentoring workshops at FLoC’22 and talk to the sponsors at their booths on site! Read More …
Category: CAV Students
How to Get an Internship – Tips for your Resume, Cover Letter, and More
Check out this article if you are planning to do an internship, you can find useful tips and examples there. The article discusses everything from finding the right opportunity up to some common interview questions. …
Software Security Course
In his course, Lucas Cordeiro introduces basic and advanced approaches to building formally verified and trustworthy software systems. Further information and the course material is available at the course webpage.
Marktoberdorf Summer Schools
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 …
Did you miss the Verification Mentoring Workshop 2020?
No problem, you can still watch all the talks on YouTube! The links to the videos are included in the workshop program. Enjoy the workshop at your own pace and also check out the rest of the program at CAV 2020.
Verification Mentoring Workshop (VMW) 2020
VMW is affiliated with CAV 2020. This year the workshop is virtual and registration is free! This is a great place to connect to students and mentors. Check this out in the VMW webpage!
Mental Health Webinar
The Mental Health Working Group of the Leibniz PhD Network hosted a ‘webinar about mental health strategies during the COVID-19 pandemic’ also linking to ‘more resources for doctoral researchers’. Check out the recording of the webinar and the list of further resources here.
Looking Forward to VMW’20
This year’s Verification Mentoring Workshop is going to have an amazing program – judging by the speakers that are already confirmed! Convince yourself on the VMW website where you will also find the latest updates (also check the CAV’20 homepage for updates).
Anti-Ph.D.-Panic Lecture
Check out Jilles Vreeken‘s entertaining talk on how to cope with your Ph.D. panic.
Software Synthesis and Automated Reasoning
Slides about Software Synthesis and Automated Reasoning by
Shachar Itzhaky are available here.
Heidelberg Laureate Forum – A Unique Experience
“Laureates of mathematics and computer science meet the next generation.” With this motto, the Heidelberg Laureate Forum offers the perfect setting to get to know world-renown experts from the fields of mathematics and computer science (winners of, e.g., the Turing Award). Additionally, you will meet 200 bright young researchers with diverse backgrounds who aspire to be the future leaders in these areas.
How to Prepare a Good Talk
Check out Ranjit Jhala‘s talk at the Verification Mentoring Workshop 2019 for tips on how to prepare good talks.
How to Be a Productive Student?
Ruzica Piskac, computer science professor at Yale University, shared some tips on how to be a productive student at the Verification Mentoring Workshop 2019. Check out the slides of her amazing talk.
Tradeoffs between Academia and Industry
Manu Sridharan, from the University of of California, Riverside, talked about the use of program analysis in academia and industry at the Verification Mentoring Workshop 2019:
A Program Synthesis Primer – Slides & Code
By Aws Albarghouthi.
In this repository https://github.com/barghouthi/vmw19, you can find the slides and code of the talk given during the Verification Mentoring Workshop, CAV2019, about program synthesis!
Tips for Your Elevator Pitch
This year at the VMW, we had a great hands-on session to practice the so-called elevator pitch. It is meant to be a quick presentation of your current research to someone that you are just meeting and who is asking about your research. If you want to improve your own elevator pitch you can find some tips on these slides:
How to write a paper
Prof. Larry Paulson wrote this wonderful short guide on how to write a paper. You can find the slides and more interesting mentoring tips on the Verification and Deduction Mentoring Workshop website (FLoC 2018).
Reactive Synthesis
Here you can find the slides from the advanced lecture on Reactive Synthesis by Swen Jacobs and Martin Zimmermann.
Helmut Veith Stipend
For whom: Female student in CS who plan to pursue or pursuing master’s program at TU Wien
Deadline: November 30, 2018
Website: See for more details
CAV: VMW and Buddy Program
Attending the Verification Mentoring Workshop and participating in the Buddy Program are great ways to expand your professional network in the CAV community. Feel free to contact Norine if you have any questions regarding the VMW or the Buddy Program.