Sites Inria

Il y a 6 Résultats avec le mot clé : "Programme"

Festival des sciences 2015

Évènement - Culture scientifique

Fête de la science 2015 : Programme ton robot au Village des sciences !

9/10/2015 au 11/10/2015

Le centre de recherche Inria Rennes - Bretagne Atlantique participera les 9, 10 et 11 octobre au Village des sciences de Rennes, qui se tiendra au Diapason sur le Campus de Beaulieu, à l'occasion de la Fête de la science 2015. Petits et grands découvriront en notre compagnie comment programmer de petits robots.

Lieu : Le Diapason - Campus de Beaulieu Université de Rennes 1

Mots-clés :

Accueil > Centre > Rennes > Agenda > Fête de la science 2015 : Programme ton robot au Village des sciences !

lire la suite

Christine Paulin-Mohring, professeur, équipe Proval - © Inria / Photo J. Wallace

Unithé ou café

Maths et info font leurs preuves

Laure Guion - 10/02/2012

« Maman, je veux des bonbons ! – Moi aussi ! – Moi aussi ! ». Le calme de votre après-midi dépend d'un partage indéniablement équitable… Sachez qu’en cas de contestation, il est possible de prouver cette répartition mathématiquement, c’est-à-dire montrer de façon indiscutable que le but recherché est atteint. Cette preuve peut être automatiquement traduite en un programme toujours juste! Mais quelles différences y a-t-il entre une preuve mathématique et un programme informatique ? Une preuve pourrait-elle valoir un programme à chaque fois ? Quel programme se cache derrière cette preuve ? Nous verrons qu'une preuve se construit en plusieurs étapes et relève de logiques parfois différentes de l’accoutumée.

Mots-clés :

Accueil > Centre > Saclay > Recherche > Algorithmique, programmation, logiciels et architectures > Maths et info font leurs preuves

Lire la suite

COLLEGE DE FRANCE

Leçon inaugurale de Jean-Daniel Boissonnat

23/03/2017

Titulaire de la chaire d'Informatique et Sciences numériques, Jean-Daniel Boissonnat donnera une leçon inaugurale au Collège de France le jeudi 23 mars 2017 à 18h sur le thème "Des données géométriques à la géométrie des données". Créée en 2009 en partenariat entre le Collège de France et Inria, la chaire "Informatique et sciences numériques" a pour ambition de promouvoir l'informatique et les mathématiques appliquées.

Lieu : Collège de France

Intervenant(s) : Jean-Daniel Boissonnat

Mots-clés :

Accueil > Centre > Sophia > Agenda > Leçon inaugurale de Jean-Daniel Boissonnat

lire la suite

Séminaire Prosecco

Séminaire Prosecco

5/12/2018

Lieu : 2 rue Simone Iff 75012 - Salle Lions 1, bât C

Intervenant(s) : Guilhem Jaber

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Prosecco

lire la suite

Séminaire Prosecco

Séminaire Prosecco

26/11/2018

Lieu : Salle Flajolet, bât C, 1er étage

Intervenant(s) : Jonathan Aldrich

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Prosecco

lire la suite

Haut de page

Suivez Inria