Sites Inria

Il y a 7 Résultats avec le mot clé : "Deducteam"

Gilles Dowek © Inria / Photo S. Tetu - La Company

Recherche

Deducteam

12/03/2012

Nous avons rencontré Gilles Dowek, responsable de l’équipe Deducteam créée le 1er janvier dernier.

Mots-clés :

Accueil > Centre > Paris > Actualités > Deducteam

Lire la suite

Soutenance de thèse

Soutenance de thèse de Kailiang Ji (Deducteam)

25/09/2015

Le model checking est une technique de vérification automatique de propriétés de correction de systèmes finis. Normalement, les outils de model checking ont deux caractéristiques remarquables : ils sont automatisés et ils produisent un contre-exemple si le système ne satisfait pas la propriété. La Déduction Modulo est une reformulation de la logique des prédicats où certains axiomes---possiblement tous---sont remplacés par des règles de réécriture.

Lieu : 10h00 Salle 1006 - Bât. "Sophie-Germain" - Paris Diderot - 8, place Aurélie Nemours, 75013 Paris

Intervenant(s) : Kailiang Ji (Deducteam)

Mots-clés :

Accueil > Centre > Paris > Agenda > Soutenance de thèse de Kailiang Ji (Deducteam)

lire la suite

Soutenance de thèse

Soutenance de thèse de Ali Assaf (Deducteam)

28/09/2015

L’objectif de cette thèse est de rendre les preuves formelles plus universelles en les exprimant dans un cadre logique commun. Plus précisément nous utilisons le lambda-Pi-calcul modulo réécriture, un lambda calcul équipé de types dépendants et de réécriture, comme langage pour définir des logiques et exprimer des preuves dans ces logiques.

Lieu : Inria, 23 avenue d'Italie, 75013 Paris. Salle: Orange (1 & 2)

Intervenant(s) : Ali Assaf (Deducteam)

Mots-clés :

Accueil > Centre > Paris > Agenda > Soutenance de thèse de Ali Assaf (Deducteam)

lire la suite

Manisfestation

Salon culture et jeux mathématiques

22/05/2014 au 25/05/2014

Ce salon aura pour thème les Mathématiques au carrefour des cultures et se déroulera sous le parrainage d'Ahmed Djebbar.
Comme tous les ans, le salon proposera de nombreuses animations, jeux et compétitions autour des mathématiques et de leur histoire.

Lieu : Place Saint-Sulpice - Paris 6è

Intervenant(s) : PiR2, Deducteam, Gallium

Mots-clés :

Accueil > Centre > Paris > Agenda > Salon culture et jeux mathématiques

lire la suite

Fête de la science 2014

Fête de la science 2014

9/10/2014 au 11/10/2014

Du 9 au 11 octobre, l'UPMC, le Museum National d'Histoire Naturelle et l'Université Paris-Sorbonne installent le Village des Sciences Sorbonne Universités sur le campus Jussieu ! Petits et grands pourront manipuler, échanger avec des femmes et des hommes passionnés de science, faire connaissance avec les métiers de la recherche et découvrir les coulisses des laboratoires de chimie, physique, biologie, informatique-ingénierie, sciences de la terre, archéologie, histoire, etc.

Lieu : UPMC, 4 place Jussieu 75252 Paris cedex 05

Mots-clés :

Accueil > Centre > Paris > Agenda > Fête de la science 2014

lire la suite

Équipe de recherche

Rencontre avec DEDUCTEAM

Charlotte Renauld - 27/06/2016

L’équipe DEDUCTEAM a rejoint le centre Inria Saclay – Île-de-France au 1er janvier 2016. Cette équipe en pleine transformation travaille sur les notions de preuve et de déduction. Rencontre avec Gilles Dowek, responsable de l’équipe DEDUCTEAM dans ses bureaux à l’ENS Cachan.

Mots-clés :

Accueil > Centre > Saclay > Actualités > Rencontre avec DEDUCTEAM

Lire la suite

Conférence

Comment la nature calcule-t-elle ?

Charlotte Renauld - 17/01/2017

Et si Morpheus avait raison ? Et si nous vivions dans la matrice ? Dans une simulation parfaite de l'univers ? Cette idée, tout droit sortie d'une grosse production hollywoodienne n'est pourtant pas complètement infondée, et la question mérite d'être posée. Certaines symétries communes aux théories physiques modernes laissent penser que les lois prédisant l'évolution de l'univers, plutôt que d'être décrites par un ensemble d'équations, puissent l'être par un programme à l'intérieur d'un ordinateur un peu particulier : un automate cellulaire. Cette hypothèse met en relation directe la physique théorique, qui essaye de modéliser l'univers, avec l'informatique théorique, qui essaye d'expliquer comment les ordinateurs calculent.

Mots-clés :

Accueil > Centre > Saclay > Recherche > Algorithmique, programmation, logiciels et architectures > Comment la nature calcule

Lire la suite

Haut de page

Suivez Inria