coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Verification and Deduction Mentoring Workshop 2018

From: geoff AT cs.miami.edu
To: <coq-club AT inria.fr>
Subject: [Coq-Club] Verification and Deduction Mentoring Workshop 2018
Date: Mon, 19 Mar 2018 10:12:46 -0400 (EDT)
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=geoff AT cs.miami.edu; spf=Pass smtp.mailfrom=geoff AT cs.miami.edu; spf=None smtp.helo=postmaster AT mail-vk0-f99.google.com
Ironport-phdr: 9a23:FkC5hBWc8gTCcEGiy3FILDk1tv/V8LGtZVwlr6E/grcLSJyIuqrYYxWFt8tkgFKBZ4jH8fUM07OQ7/i7HzRYqb+681k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjWwba98IRmssQndqtQdjJd/JKo21hbHuGZDdf5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXMTRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KptVRTmijoINyQh/W/KlMJ+i6FVrhyhqRFk34LYfJ2ZOOZkc6/BYd8XQ3dKUMZLVyxGB4Oxd4QPAPQGPeZWoYnwvEcBrQCkCQmpBePg0DpIhn7s0aIkzushDAfL1xEuEdIJtXTbttT1NKEKXO+p1qbI0ynMb/RQ2Tfz9ofIaA4uofeQUr1ua8bRzlMvFwzDg16NqoLlJyuY2voRv2Wf9eZtVuKih3Q5pw1srDWj3MMhh43Rio4Izl3I6z91zYgoKdGiS0N2ZcSoHIZOuyycKoB4WNktQ3tytyY/0rAGuYC0fCwNyJk/wh7Qcf2Hc4yR7hL9V+adPS50hHxhdb+7nRqy/k+gyurzVsmwzllGtDZKkt7JtnwV1hzT7NaISudl80u/xTqC0xrf5+JELEwui6bXNpAszqQ0m5cXqUjDGzX5mETyjK+YbEUk/e2o5vzoYrr4oZ+cOYF0hxriPaQ1gMC/BOU4PRILX2ia4+izyqDs/VDhTLVQkvI2irXZsIzdJckDuqG5BBZV3p8/5Ba7Ejepy88VnWIHLVJAYBKIlZLlO1DIIPDiDPewmU6gkDlxx6OOArq0Vp7KNz3IlKrrVbd78U9VjgQpm4Nx/ZVRX74MJ/z9ckTq8tnZBxo4dQG43rW0QO5h358TDDrcSpSSN7nf5AfRt7AfZtKUbYpQgw7Tbv0s5vrgl3g8wANPdrLv2JoebXH+E/h7cRzAPSjcx+wZGGJPhTIQCfTwgQTeAzVIIXOzVqc9oDw3FdD+VNqRdsWWmLWEmRyDMNhWa2RBUA3eFH7pc8CaWK9JZnPDZMBmlTMAWP6qTIpzjRw=

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

[Coq-Club] Verification and Deduction Mentoring Workshop 2018, geoff, 03/19/2018