From: geoff@cs.miami.edu
To: <caml-list@inria.fr>
Subject: [Caml-list] Verification and Deduction Mentoring Workshop 2018
Date: Mon, 19 Mar 2018 10:12:44 -0400 (EDT) [thread overview]
Message-ID: <20180319141244.849DC1700E82@cs.miami.edu> (raw)
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
reply other threads:[~2018-03-19 14:31 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly 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=20180319141244.849DC1700E82@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
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox