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: Mentoring
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. …
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.
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:
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).
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.
Mentoring – Automata and Visit Israel
I’m Hadar, a PhD student at the Technion, Israel. If you are interested in automata and their use in verification, or if you plan a visit to Israel and need some guidance, you are more than welcome to contact me!
Who can be a Buddy?
Everyone can be a buddy! It is, in fact, the very idea of the Buddy Program that more experienced members of the CAV community participate and help younger students to get acquainted with the conference and provide valuable tips. We are looking forward to your participation!
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.