Logic List Mailing Archive

CfScholarships: Verification Mentoring Workshop 2024, 22 July, Montreal (Canada), deadline: 24 April 2024

Dear all,


Verification Mentoring Workshop (VMW) 2024

http://www.i-cav.org/2024/workshops/mentoring/


July 22, 2024

Montreal, Canada


Co-located with the 36th International Conference on Computer Aided Verification (CAV)

http://www.i-cav.org/2024/


CALL FOR SCHOLARSHIP APPLICATIONS


We warmly invite students to apply for travel scholarships to attend the Verification Mentoring Workshop and CAV 2024. Applications are received via the form at


https://forms.gle/xjr5dJBoukb1oyVN6

Deadline: April 24, 2024


ABOUT THE MENTORING WORKSHOP


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.


CONTACT


In case of questions, please contact the VMW organizers:

Grigory Fedyukovich <grigory@cs.fsu.edu<mailto:grigory@cs.fsu.edu>>

Eric Koskinen <ekoskine@stevens.edu<mailto:ekoskine@stevens.edu>>
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php