Project-FORMES:Long-term visitors

Section: Dissemination

Cody Roux, PhD at INRIA Nancy in the Pareo team, supervised by Claude Kirchner (INRIA Bordeaux), Gilles Dowek (INRIA Saclay, École Polytechnique) and Frédéric Blanqui visited Formes from June 15 to July 5, and from November 18 to December 16, to work on his thesis with Frédéric Blanqui.
Pierre-Louis Curien (CNRS), leader of INRIA $\pi$ r² project-team, visited FORMES from August 18 to October 11 and gave lectures on “Proof theory: sequent calculus and focalisation”.
Jean-Jacques Lévy (INRIA), director of the MSR-INRIA Joint Center, visited FORMES from October 13 to December 5, gave lectures on “Caml, OCaml and Jocaml” and a talk at ISCAS on “Three years of research at the MSR-INRIA Joint Centre”. His visit was partially supported by ISCAS.