From: David Baelde <david.baelde@gmail.com>
To: OCaml Mailing List <caml-list@inria.fr>
Subject: [Caml-list] EPIT 2018 Software Verification Spring School, first CfP
Date: Tue, 28 Nov 2017 11:26:56 +0100 [thread overview]
Message-ID: <CAFqqUFFrt9c22c2pOqxKDm_FOTyAYqB_+6Q-ueyQCbC4NsvZ3Q@mail.gmail.com> (raw)
[-- Attachment #1: Type: text/plain, Size: 1700 bytes --]
EPIT 2018 Software Verification Spring School
==============================================
When: May 7-11, 2018
Where: Centre Paul-Langevin in Aussois, France
Web: https://projects.lsv.fr/epit18/
==============================================
EPIT (École de Printemps en Informatique
Théorique) is a long series of Spring schools in
theoretical computer science, initiated by Maurice
Nivat in 1973. Since then, it has covered various
fields of computer science, and has been a key
event where young researchers meet.
The theme of the 2018 school is software
verification. The need for software verification
in our information society has been recognized as
early as in the ’70s and it is an
ever-more-important concern today. Over the past
decades, it has driven exciting research in
various fields of theoretical computer science
such as logic, automata, type systems, algorithms
and complexity. Recently, verification techniques
have seen rapid development and industrial
adoptions, notably following the SMT revolution.
The school will cover several fundamental aspects
of software verification:
– SMT solvers, by Pascal Fontaine (LORIA)
– Program verification with F*, by Cătălin Hriţcu (Inria Paris)
– Bounded model-checking, by Gennaro Parlato (University of Southampton)
– Concurrent program logics, by Viktor Vafeiadis (MPI Kaiserslautern)
More information may be found on our website
<https://projects.lsv.fr/epit18/>. Details such as
registration will be announced later.
Spread the word and save the date!
—
The organizers,
David Baelde (LSV, ENS Paris-Saclay)
Constantin Enea (IRIF, Université Paris Diderot)
[-- Attachment #2: Type: text/html, Size: 1925 bytes --]
reply other threads:[~2017-11-28 10:27 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=CAFqqUFFrt9c22c2pOqxKDm_FOTyAYqB_+6Q-ueyQCbC4NsvZ3Q@mail.gmail.com \
--to=david.baelde@gmail.com \
--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