Sites Inria

Il y a 3 Résultats pour : "FUN"

© INRIA Sophie Auvin - S comme Simulation

Conférence scientifique

Séminaire de l'équipe de recherche SpecFun

6/03/2017

Lieu : Inria Saclay - Île-de-France 1 rue Honoré d'Estienne d'Orves Bâtiment Alan Turing Campus de l'École Polytechnique 91120 Palaiseau

Mots-clés :

Accueil > Centre > Saclay > Agenda > Séminaire de l'équipe de recherche SpecFun

lire la suite

© INRIA Sophie Auvin - S comme Simulation

Conférence scientifique

Exposé du Professeur Barendregt

9/03/2017

Jeudi 9 mars à 11h, l'équipe de recherche SpecFun reçoit le professeur Henk Barendregt (Université Radboud de Nimègue, Pays-Bas) au centre Inria Saclay - Île-de-France.

Il présentera un exposé intitulé :

"Axiomatizing consciousness, with cognitive and soteriological applications"

Lieu : Inria Saclay - Île-de-France 1 rue Honoré d'Estienne d'Orves Bâtiment Alan Turing Campus de l'École Polytechnique 91120 Palaiseau

Accueil > Centre > Saclay > Agenda > Exposé du Professeur Barendregt

Lire la suite

Publication

Calcul formel & algorithmes efficaces

14/09/2017

L'ouvrage Algorithmes efficaces en calcul formel  co-écrit par Frédéric Chyzak et Alin Bostan (équipe SpecFun - Inria), Bruno Salvy (équipe Aric - Inria), Marc Giusti et Grégoire Lecerf (Laboratoire d'Informatique de l'École polytechnique) vient de paraitre.

D'abord destiné aux étudiants spécialisés dans le calcul formel, cet ouvrage pourra plus largement servir de référence ou d'initiation à d'autres chercheurs, de la discipline ou en dehors.

Mots-clés :

Accueil > Centre > Saclay > Actualités > Calcul formel & algorithmes efficaces

Lire la suite

Haut de page

Suivez Inria tout au long de son 50e anniversaire et au-delà !