- [Conference] January 24-27, 2018
- The 29th Journées Francophones des Langages Applicatifs will take place in Banyuls-sur-Mer, France.
- [Conference] May 30th, 2017
- The Frama-C/SPARK day takes place in Paris, as part of the Open Source Innovation Spring 2017.
- [Award] April 24th, 2017
- Mário Pereira and
Raphaël Rieu-Helft receive the "Best student team" award, and
Jean-Christophe Filliâtre the "Best overall team" award, at the
VerifyThis@ETAPS2017
verification competition.
- [Conference] January 15-21, 2017
- The 44th ACM SIGPLAN Symposium on Principles of Programming Languages takes place in Paris.
- [Defense] December 13, 2016
- Thesis defense of Leon Gondelman, Univ. Paris-Sud.
- [Arrival] Sep 1, 2016
- Florian Faissole, new PhD student, working on the ELEFFAN project.
- [Arrival] June 1, 2016
- Sylvain Dailler,
new engineer working on the ProofInUse project.
- [Award] April 6th, 2016
- Martin Clochard, Léon Gondelman and Mário Pereira jointly receive the "Best student team" award of the
VerifyThis@ETAPS2016
verification competition.
- [Conference] November 3-6, 2015
- The 17h International Conference on Formal Engineering Methods takes place in Paris.
- [Defense] June 15, 2015
- Thesis defense of Catherine Lelay, bat. 650, Univ. Paris-Sud.
- [Award] April 16th, 2015
- Jean-Christophe Filliâtre and Guillaume Melquiond receive the "Best team" award of the
VerifyThis@ETAPS2015
verification competition. Why3 also receives the "Distinguished user-assistance tool feature" award.
- [Workshop] March 13th, 2015
- The Frama-C day takes place at CEA Nano-innov in Saclay.
- [Workshop] Feb 2, 2015
- The ProofInUse KickOff takes place at Hotel Montparnasse, Paris.
- [Arrival] Jan. 1, 2015
- David Hauzar, new engineer working on the ProofInUse project
- [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...
- Le livre
Introduction
à la science informatique
édité par
Gilles Dowek
a été publié par le
CRDP Académie de Paris
en juillet 2011
et est disponible chez
Amazon
et
Decitre.
- L'article
Canonized Rewriting and Ground AC Completion Modulo Shostak
Theories
de
Sylvain,
Evelyne
et
Mohamed
a reçu le prix
EATCS Award for Best ETAPs Paper 2011.
- Jean-Christophe
Filliâtre co-organise
VSTTE 2009
et
PLPV 2010.
- Un article de
Sylvie Boldo,
Guillaume Melquiond
et
Jean-Christophe Filliâtre
a été accepté à la conférence
Calculemus
(Juillet 2009).
- Un article de
Sylvie Boldo
a été accepté à la conférence
ICALP
(Juillet 2009).
- En février 2009,
Sylvie Boldo
a publié un
article
à
IEEE Transactions on
Computers, dans la sections spéciale "arithmétique des
ordinateurs".
- En février 2009, nous accueillons une nouvelle doctorante,
Tuyen Nguyen.
-
En janvier 2009, début des projets ANR
Fost et
U3CAT.
- En septembre 2008, début du projet
Hisseo, financé par
Digiteo.
- En novembre 2008, nous accueillons
Guillaume Melquiond
comme nouveau chargé de recherche INRIA
.
- Un article de vulgarisation scientifique sur la programmation
vient de paraître dans le dernier numéro de
DocSciences
(novembre 2008), écrit par
Sylvie Boldo.
-
[Juin 2006] Nous avons un article accepté à la
conférence internationale SEFM 2006
-
[Mai 2005] Nous avons un article accepté à la
conférence internationale SEFM 2005
-
[Mai 2005] Nous avons un article accepté à la
conférence internationale CADE 2005
-
[Avril 2005] Nous avons deux articles acceptés à la
conférence internationale TPHOLs 2005
-
[Janvier 2005] Nous avons trois articles acceptés à la
conférence francophones
JLFA'05
-
[Janvier 2005]
Nous avons fait une vérification complète de l'algorithme
de parcours de graphe de Schorr et Waite, sous une version écrite directement en
ANSI C, à l'aide de l'outil Caduceus
-
[Novembre 2004] L'outil
Caduceus
a été présenté à la conférence
ICFEM'04