The purpose of the Verification and Deduction Mentoring Workshop is to provide mentoring and career advice to early-stage graduate students, to attract them to pursue research careers in the area of computer-aided verification and deduction. The workshop will particularly encourage participation of women and underrepresented minorities.
The workshop program will include a number of talks and interactive sessions. The talks will give an overview of the field along with brief introductions to the varied topics highlighted at CAV, IJCAR and other conferences at the Federated Logic Conference 
. Other talks will provide mentoring and career advice, from academia and industry.
This mentoring workshop unites the following two workshops:
- The 4th Verification Mentoring Workshop affiliated with CAV.
- The 1st Deduction Mentoring Workshop affiliated with IJCAR.
Pictures
Here is the link to download VDMW pictures.
Speakers
- Byron Cook, Amazon Web Services and University College London
- Cristina David, Diffblue
- Orna Grumberg, Technion
- Tom Melham, University of Oxford
- Larry Paulson, University of Cambridge
- Natarajan Shankar, SRI International
- Sharon Shoham, Tel Aviv University
Tentative Program
09:00 Session 1
9:00 Orna Grumberg, Technion, Model Checking and Its Applications
9:45 Natarajan Shankar, SRI International, “Computation and inference”
10:30 Coffee
11:00 Session 2
11:00 Sharon Shoham, Tel Aviv University, “Verification of infinite-state systems using decidable logic”
11:45 Cristina David, Diffblue, “Should I join a startup?”
12:30 Lunch
14:00 Session 3
14:00 Larry Paulson, University of Cambridge, “How to get a paper accepted?”
14:30 Tom Melham, University of Oxford, “How to attend a conference?”
15:00 Hands-on: Elevator Pitch
15:30 Coffee
16:00 Session 4
16:00 Byron Cook, Amazon, “Learning from failure”
17:00 End
Buddy
Along with the workshop, there will be a buddy program throughout the conference to connect the new and experienced students together. Students attending the workshop should have received an email with further information. Please contact Tanja Schindler and Siddharth Krishna if you have any questions.
Application
Please fill in the following form if you are interested in attending the mentoring workshop and/or if you need financial support. We have limited funding available to support students attending the mentoring workshop and CAV/IJCAR 2018.
Important Dates
CAV Conference:July 14 – 17, 2018
| Deadline for submission of applications: | April 13, 2018 |
| Notification of travel grants: | April 27, 2018 |
| Mentoring Workshop: | July 13, 2018 |
Organizers
Jasmin Blanchette, Vrije Universiteit Amsterdam
Lu Feng, University of Virginia
Barbara Jobstmann, EPFL and Cadence Design Systems
Laura Kovacs, TU Wien
Andrew Reynolds, University of Iowa