[TYPES/announce] EPIT 2018 Software Verification Spring School : registration opens

[David Baelde]

EPIT 2018 Software Verification Spring School

Second call for papers :

  ** Registration now open **
  ** Additional speakers announced **

==============================================

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 through four lectures (6h each):

– SMT solvers, by Pascal Fontaine (LORIA)
– Program verification with F*, by Cătălin Hriţcu (Inria Paris)
– Bounded model-checking, by Gennaro Parlato (Uni. of Southampton)
– Concurrent program logics, by Viktor Vafeiadis (MPI Kaiserslautern)

and four research talks (1h each):

– SMT, String and Security, by Philipp Rümmer (Uppsala University)
– Verification of invariants for convergent replicated data types,
  by Gustavo Petri (Université Paris Diderot)
– A talk on Ultimate Automizer,
  by Matthias Heizmann (University of Freiburg)
– A talk on F* and security, TBA


Please find more information, notably regarding
the venue and registration, on our website:

  <https://projects.lsv.fr/epit18/>.

Register now, and spread the word!

—

The organizers,
David Baelde (LSV, ENS Paris-Saclay & Inria Paris)
Constantin Enea (IRIF, Université Paris Diderot)