[TYPES/announce] EPIT 2018 Software Verification Spring School, last call

David Baelde david.baelde at lsv.ens-cachan.fr
Fri Apr 6 04:54:37 EDT 2018


EPIT 2018 Software Verification Spring School

Last call for participation :

  ** Pre-registration closes on April 13th.
  ** Please pre-register now (it takes 1 mn),
  ** validate and pay later.

  ** Full program 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)
– Traces, interpolants, and automata :
  Ultimate Automizer's approach to software verification,
  by Matthias Heizmann (University of Freiburg)
– F* and security,
  by Antoine Delignat-Lavaud (Microsoft Research Cambridge)


Please find more information, e.g. regarding the venue and
registration, on our website:

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

Pre-register immediately, and spread the word!

—

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



More information about the Types-announce mailing list