Sites Inria

Il y a 2 Résultats avec le mot clé : "Algorithme / programmation / logiciels / architecture / preuves / vérification"

Portrait : Pablo Frederico Dobal

Federico Dobal : un jeune chercheur très international

Dominique Fidel - 24/11/2014

A 31 ans, Federico Dobal est un jeune doctorant au parcours international.

Membre de l’équipe projet VeriDis, il concentre aujourd’hui ses travaux de recherche sur les modules arithmétiques du solveur veriT.

Mots-clés :

Accueil > Centre > Nancy > Actualités > Federico Dobal : un jeune chercheur très international

Lire la suite

Colloque

PMAA 16

6/07/2016 au 8/07/2016

La 9e édition du congrès international intitulé "Parallel Matrix Algorithms and Applications " (PMAA 16) est organisée par Inria, le CNRS, Bordeaux INP et l’université de Bordeaux et se tiendra du 6 au 8 Juillet 2016 à Bordeaux, Victoire.

Ce congrès réunira chercheurs et experts internationaux issus de différentes disciplines et ayant un intérêt commun dans le domaine du calcul haute performance (Multicore, Manycores et GPU) et de ses applications pour la simulation intensive.

Lieu : Bordeaux, Victoire

Mots-clés :

Accueil > Centre > Bordeaux > Agenda > PMAA 16

lire la suite

Haut de page

Suivez Inria