caml-list - the Caml user's mailing list
 help / Atom feed
From: geoff@cs.miami.edu
To: <caml-list@inria.fr>
Subject: [Caml-list] Verification Mentoring Workshop 2019: Scholarships
Date: Fri, 26 Apr 2019 09:42:15 -0400 (EDT)
Message-ID: <20190426134215.DF2821700AC5@cs.miami.edu> (raw)

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@cs.wisc.edu>
Rayna Dimitrova <rd307@leicester.ac.uk>
Cezara Dragoi <cezara.dragoi@inria.fr>
Anthony W. Lin <anthony.w.to@gmail.com>

                 reply index

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publically to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20190426134215.DF2821700AC5@cs.miami.edu \
    --to=geoff@cs.miami.edu \
    --cc=caml-list@inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list

AGPL code for this site: git clone https://public-inbox.org/ public-inbox