Wiki Agenda Contact English version
[Arrivals] Nov. 1, 2014
Clément Fumex, new engineer working on the ProofInUse project. Jacques Charles Mbiada Ndjanda, new PhD student supervised by C. Marché and J. Signoles (CEA List)
[Seminar] Oct 7, 2014
Digiteo Seminar "Desperately Needed Remedies for the Undebuggability of Large Floating-Point Computations in Science and Engineering" by W. Kahan.
[Visit] Oct. 6-7, 2014
Visit of Prof. William Kahan, Professeur University of California at Berkeley (Turing Award 1989).
[Defense] Oct. 6, 2014
Habilitation defense of Sylvie Boldo, amphi bat. 660, Univ. Paris-Sud.
[Defense] Sep. 29, 2014
Thesis defense of Alain Mebsout, batiment 650, Univ. Paris-Sud.
[Publication] Sep. 11, 2014
New book (in French) "Apprendre à Programmer avec OCaml" written by Sylvain Conchon and Jean-Christophe Filliâtre.
[Arrival] Sep. 1, 2014
Andrew Tolmach (Portland State University, USA) starts a 1-year visitor, funded by a Digiteo Chair
[Publication] June 2014
Jean-Christophe Filliâtre, Léon Gondelman, and Andrei Paskevich. "The Spirit of Ghost Code. 26th International Conference on Computer Aided Verification.
[Defense] Jun. 13, 2014
Habilitation defense of Evelyne Contejean
[Award] June 2014
The proof assistant Coq receives the ACM Software System Award. Primary members of the Coq Development Team include Christine Paulin and Jean-Christophe Filliâtre from Toccata.
[Defense] Apr. 1, 2014
Thesis defense of Claire Dross
[Project] Jan. 2014
The "ProofInUse" project, joint between Toccata and the AdaCore company, is selected bby the "LabCom" programme of ANR.

Anciennes Actualités

Soutenances passées :

Arrivées (depuis septembre 2010) :

Encore plus vieux...