Wiki Agenda Contact English version

Présentation

Toccata est une équipe de recherche du centre de recherche INRIA Saclay - Île-de-France, commune avec le LRI (CNRS et Université Paris-Sud), localisée à Orsay, France. Elle a été créée en septembre 2012, en partie comme refondation de l'ancienne équipe ProVal. Les membres de Toccata sont également membres de l'équipe VALS du LRI.

L'objectif général de l'équipe est de promouvoir les spécifications formelles et les preuves assistées par ordinateur dans le cadre du développement de logiciels requérant au haut niveau de confiance dans leur sûreté de fonctionnement et le respect de comportements attendus.

Consulter l'entrée "Recherche" du menu ci-dessus, pour consulter des descriptions détaillées des activités scientifiques de l'équipe. Vous pouvez également consulter le rapport annuel d'activité de l'équipe en 2017 (en anglais).

Nouvelles

[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.
Nouvelles passées

INRIA Saclay - Île-de-France              Université Paris-Saclay              Université Paris-sud              CNRS              LRI