Verification and Deduction Mentoring Workshop 2018, FLoC 2018, July 13, 2018 CALL FOR PARTICIPATION
***Overview*** 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. This mentoring workshop unites the 4th Verification Mentoring Workshop and the 1st Deduction Mentoring Workshop, and is affiliated both with CAV 2018 and IJCAR 2018. The workshop program will include a number of invited talks and interactive sessions. The invited talks will give an overview of the field, highlight career challenges and give advices on career planning. The invited talks will focus both on academia and industry. ***Application and Participation*** Graduate and undergraduate (seniors only) students interested in attending our workshop are requested to apply at: http://cavconference.org/2018/verification-deduction-mentoring-workshop/ We have limited funding available to support students attending the mentoring workshop and CAV/IJCAR 2018. ***Deadline for submission of applications*** April 13, 2018 ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info