Sites Inria

There are 2 Results with the keyword : "Framework"

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium


A number of tools have been developed for carrying out separation-logic proofs mechanically using an interactive proof assistant.

Place : Inria de Paris, 2 rue Simone Iff (ou: 41 rue du Charolais) Salle Jacques-Louis Lions 1, bâtiment C

Guest(s) : Robbert Krebbers (Delft University of Technology)


Home > Centre > Paris > Calendar > Séminaire Gallium

lire la suite

© INRIA / Sophie Chauvin - Equation

Research Teams Seminar

Performance and Genericity Seminar (Research and Development Lab, EPITA)


The Loci Auto-Parallelizing framework provides a Domain Specific Language (DSL) for the creation of high performance numerical models.

Place : 11am - Amphi 4, LRDE, EPITA (14-16, rue Voltaire 94276 Le Kremlin-Bicêtre)

Guest(s) : Edward A. Luke, Professor (Department of Computer Science and Engineering, Mississippi State University)


Home > Centre > Paris > Calendar > Séminaire Performance et Généricité du LRDE

lire la suite