From: geoff@cs.miami.edu (Geoff Sutcliffe)
To: caml-list@inria.fr
Subject: [Caml-list] Summer School on Verification Technology
Date: Mon, 10 Apr 2017 13:19:36 -0400 (EDT) [thread overview]
Message-ID: <20170410171936.4A56D121497@mcclellan.cs.miami.edu> (raw)
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 2202 bytes --]
===============================================================================
First Call for Participation
10th International Summer School on
Verification Technology, Systems & Applications
http://www.mpi-inf.mpg.de/vtsa17/
The 10th edition of the Summer School on Verification Technology, Systems and
Applications (VTSA) will be organized by the Max-Planck-Institut für
Informatik Saarbrücken in cooperation with the University of Liège, Inria
Nancy - Grand Est, and the Université du Luxembourg. The school will take
place from July 31st to August 4th, 2017 on Saarland Informatics Campus,
Saarbrücken, Germany. The following speakers have accepted to give courses
at VTSA 2017:
- Rajeev Alur: Syntax-Guided Synthesis & Quantitative Policies over Streaming Data
- Christel Baier: Probabilistic Model Checking
- Hoon Hong: Symbolic Computation (Quantifier Elimination)
- Andrew Reynolds: SMT Solvers for Verification and Synthesis
- Thomas Wies: Introduction to Permission-Based Program Logics
Participation is free (except for travel and accommodation costs) and open to
anybody holding at least a bachelor degree or equivalent in computer science;
it includes the lectures, daily coffee and lunchbreaks, and a school dinner.
There is a limited number of free shared rooms on campus available for
distribution by the selection committee. Please express your interest with
your application. Attendance is limited to 40 participants. Please apply
electronically by sending to fkunze@mpi-inf.mpg.de:
- a one-page CV,
- an application letter explaining your interest in the school and your
experience in the area,
- a copy of your bachelor certificate (or equivalent or a more significant
certificate),
- a short statement if you want to contribute to the student sessions.
The deadline for application is June 1st, 2017. Notification of acceptance will
be given by June 15th, 2017.
Full details are available at http://www.mpi-inf.mpg.de/vtsa17/
The school is synchronized with the SC2 Summer School 2017, happening at the
same time in the same place: http://www.sc-square.org/CSA/school/index.html
reply other threads:[~2017-04-10 17:19 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=20170410171936.4A56D121497@mcclellan.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;
as well as URLs for NNTP newsgroup(s).