[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Verification Mentoring Workshop (VMW) 2021
http://i-cav.org/2021/mentoring/
co-located online with CAV 2021
18-19th July 2021
Call for Participation
Are you an undergraduate or a graduate student interested in computer aided
verification and formal methods, but don't know where to start? Are you looking
for advice and mentoring on doing research, on grad school and beyond? We
invite you to participate in the Verification Mentoring Workshop (VMW) 2021.
VMW is co-hosted with Computer Aided Verification (CAV) 2021 and will be held
online on July 18th and 19th 2021. The purpose of the Verification Mentoring
Workshop is to provide mentoring and career advice to early-stage graduate
students and late-stage undergraduate students, and introduce them to research
topics aligned with the CAV conference and, more generally, formal methods. The
workshop particularly encourages participation of women and underrepresented
minorities.
The program for VMW 2021 includes a number of talks and interactive sessions.
The technical talks will provide gentle introductions to several recurring
research themes in CAV, while the mentoring talks will provide useful tips
about how to do good research and how to communicate your research well. The
program also includes a panel that will feature leading researchers in the
field. More information can be found at http://i-cav.org/2021/mentoring/.
VMW will provide financial support to select students to cover the registration
fees for VMW and the CAV conference. Interested students are encouraged to
apply here before June 18th, 2021: https://forms.gle/acivSdF4P4Xkjm4u7.
Confirmed Speakers:
Christel Baier, TU Dresden
Chuchu Fan, MIT
Temesghen Kahsai, Amazon
Oded Padon, VMWare Research
Sukyoung Ryu, KAIST
Moshe Y. Vardi, Rice University
In case of questions, please contact the organizers:
Jean-Baptiste Jeannin, University of Michigan
Arjun Radhakrishna, Microsoft
Suguman Bansal, University of Pennsylvania
Caterina Urban, INRIA & École Normale Supérieure | PSL University
Roopsha Samanta, Purdue University
