Language theory and mathematical logic provide powerful tools for reasoning about, verifying and generating programs. Research in formal methods focuses on three main targets: ... Andrea Asperti University of Bologna (Visiting Professor) Jeremy Avigad Carnegie Mellon University (Invited) Bruno Barras Inria Saclay - Île-de-France Yves Bertot INRIA Sophia Antipolis - Méditerranée Guillaume Cano Inri