coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: geoff AT cs.miami.edu
- To: <coq-club AT inria.fr>
- Subject: [Coq-Club] Verification Mentoring Workshop 2019: Scholarships
- Date: Fri, 26 Apr 2019 09:42:20 -0400 (EDT)
- Authentication-results: mail3-smtp-sop.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-ua1-f97.google.com
- Ironport-phdr: 9a23:9/oHzRcym0L0wrwHnxapiNyGlGMj4u6mDksu8pMizoh2WeGdxcu4YR7h7PlgxGXEQZ/co6odzbaP6ua9Bydevt6oizMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVrO+/7BpDdj9it1+C15pbffxhEiCCybL9vMRm6twXcu8gZjYZjKKs61wfErGZPd+lK321jOEidnwz75se+/Z5j9zpftvc8/MNeUqv0Yro1Q6VAADspL2466svrtQLeTQSU/XsTTn8WkhtTDAfb6hzxQ4r8vTH7tup53ymaINH2QLUpUjms86tnVBnlgzoBOjUk8m/Yl9ZwgbpGrhy/oBJxwIDaboGOOfZiYq/RYc8WSHBdUspNUSFKH4Oyb5EID+oEJetYoJfyp1wArRuwHgSjGPjvxiVNhn/3x6I61uUhHRvY0wM9AtIDtmnfotvyNKcXS++1za/IwC3Nb/NRwzf97ZPIfgouofGIQ718acvRxVAzGAzfkFWcs4vlPyma1ukLrmOV7PJgWPqxh2I7rwx9uDuiy8c2hoXXmI4Z1ErI+CF7zYotONG1TFB3bcSqHZdNrS2XNI97Ttk/T212visx16cItoShfCcQzZQq3x7fZOKDc4iP+h/jUfyeITZ8hH58ZbKwnQu+/VGuyuD4VMS4yllKri1CktnDsnACyQbf5dSASvt45kuh2DCP2B7P6uxcP0w4ia7WJ4Qiz7MwjJYfr1rPEjHslEjyjqKabkAk9fKp6+TjbLXmvJicN4pshwHxLKsuncK/AeojPwcSRGiX4+G81Lz58k38QbVGlOM5nbTEsJzCP8QUura5AxNJ0oYk8xuwEzCm0M0BkXYbKFJFZQmIgpPyO1DOJfD4Fe2wj06tkDdt3fDGP6fuDo/DLnjZw//deuMp4ElFjQE30Np35pROC7hHLuilCWHrs9mNARI+PQKcyP2hDdR004JYVG6SUfzRC7/brVLdvrFnGOKLfoJA4G+sechg3ObniDoCoXFYeKCo2ZUNb3XhQqZtOAOcYHPpg5EMHXpY51NjHtyvs0WLVHtoX1j3X6844WtmWoevDIOGW4n0xbLQg2G0GZpZYm0AAVeJQy+xK9e0HswUYSfXGfdP1yQeXOH9GYQ6kxSvvQr7jbdrM7iM9w==
Verification Mentoring Workshop 2019: Call for scholarship applications
Verification Mentoring Workshop (VMW 2019)
http://i-cav.org/2019/mentoring/
co-located with CAV 2019
13 July 2019
New York City, USA
APPLICATIONS FOR TRAVEL SCHOLARSHIPS
We warmly invite eligible students to apply for travel scholarships to attend
the Verification Mentoring Workshop and CAV. The deadline for applications
is
April 30. Applications are received via the form at
https://forms.gle/6z6kUGPWqGoQ7cka6
ABOUT VMW
The purpose of the Verification 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. The workshop
will
particularly encourage 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 topics highlighted at CAV 2019. Other talks will provide mentoring
and career advice, from academia and industry. More information can be found
at
http://i-cav.org/2019/mentoring/
SPEAKERS
Aws Albarghouthi, University of Wisconsin-Madison
Azadeh Farzan, University of Toronto
Vijay Ganesh, University of Waterloo
Ranjit Jhala, University of California, San Diego
Ruzica Piskac, Yale University
Manu Sridharan, University of California, Riverside
In case of questions, please contact the organizers
Loris D'Antoni (chair)
<loris AT cs.wisc.edu>
Rayna Dimitrova
<rd307 AT leicester.ac.uk>
Cezara Dragoi
<cezara.dragoi AT inria.fr>
Anthony W. Lin
<anthony.w.to AT gmail.com>
- [Coq-Club] Verification Mentoring Workshop 2019: Scholarships, geoff, 04/26/2019
Archive powered by MHonArc 2.6.18.