The purpose of the Verification Mentoring Workshop is to provide mentoring and career advice to senior undergraduate and junior researchers at all stages, and to attract them to pursue research careers in the area of computer-aided verification. The workshop will particularly encourage the 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 CAV related topics. Other talks will provide mentoring and career advice, from academia and industry.
Program
9:00
How I Give a Talk
Javier Esparza
9:45
About reviewing
Azadeh Farzan
10:30
Coffee Break
11:00
Abstraction and Compositional Reasoning for Software Verification
Corina Pasareanu
12:00
Lunch
14:00
Being an Automated Reasoning Scientist in Academia and Industry
Serdar Tasiran
14:45
Enjoying Research from Math to Computer Science
Laura Kovacs
15:30
Coffee Break
16:00
Panel discussion
Ichiro Hasuo, Corina Pasareanu, Shaz Qadeer, Ruzica Piskac
17:00
Networking activity
Invited Speakers
How I Give a Talk
Javier Esparza
Abstract: I’ll talk about my approach at preparing and giving talks.
About reviewing
Azadeh Farzan
Abstract: I will talk about reviews, both from the point of writing them as well as receiving them and interpreting them.
Enjoying Research from Math to Computer Science
Laura Kovacs
Abstract: I will reflect on challenges and benefits of conducting basic research in theoretical computer science. I will provide my personal view on the DOs and DO NOT DOs when it comes to planning an academic career, writing grant applications, and being open to unexpected coincidences.
Abstraction and Compositional Reasoning for Software Verification
Corina Pasareanu
Abstract: Abstraction and compositional reasoning have been the two guiding principles for my work. My research interests include model checking, symbolic execution, and automated testing, with applications in software engineering, autonomy, and security. In this talk I will describe several research topics that I have explored over the years and how they all relate to the above two guiding principles. I will further describe practical applications and give some ideas for future work.
Being an Automated Reasoning Scientist in Academia and Industry
Serdar Tasiran
Abstract: Serdar Tasiran has worked as a professor for 13 years and as an automated reasoning applied scientist in industry for over 10 years. In this talk, he will give an overview of what has worked and not worked for him in the two settings, and highlight key differences, hoping this will help with career choices of junior scientists.
Panelists
| Ichiro Hasuo | National Institute of Informatics, Japan |
| Corina Pasareanu | Carnegie Mellon University, USA |
| Shaz Qadeer | Meta, USA |
| Ruzica Piskac | Yale University, USA |
CAV Buddy
Is this the first conference you will attend in person? We have all been there. You might not feel comfortable if you don’t know anyone. Join our Buddy Program and we will help you to get in touch with another mentoring workshop attendee. Every newcomer will be assigned either a more experienced peer (a “buddy”) or another newcomer, so you are not alone.
For those who are not attending a conference for the first time, being a buddy is a way for you to help the community to grow and introduce less experienced students to the field.
If you are interested, fill in the following application form by July 5th.
Scholarships
A number of travel scholarships are available to sponsor the physical attendance of students at CAV 2023 and the VMW.
Important Dates
Workshop Dates: July 18, 2023
Scholarship Application Deadline: May 5, 2023 (extended)
Organisers
| Ankush Desai | AWS CA |
| Eric Koskinen | Stevens Institute of Technology |
| Burcu Kulahcioglu Ozkan | TU Delft |
| Marijana Lazic | TU Munich |
| Matteo Sammartino | Royal Holloway University of London |