Dear F* folks, There are a couple of summer schools coming up soon that include short courses on F* and Low*: - EPIT 2018 Software Verification Spring School (https://projects.lsv.fr/epit18/) - Eighth Summer School on Formal Techniques (http://fm.csl.sri.com/SSFT18/)
Registration for EPIT has recently opened and you can find more details below. Cheers, Catalin EPIT 2018 Software Verification Spring School Second call for participation : ** 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, Antoine Delignat-Lavaud (Microsoft Research) 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) _______________________________________________ fstar-club mailing list fstar-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/fstar-club