Sites Inria

Il y a 11 Résultats avec le mot clé : "logique"

Marcel-Paul Schutzenberger

Histoire d'Inria

Marcel-Paul Schützenberger

Mathématicien et psychiatre, il est nommé en 1970 membre du directoire de l’IRIA.

Mots-clés :

Accueil > Institut > Inria en bref > Ceux qui ont fait Inria > Marcel-Paul Schützenberger

Lire la suite

Place Stanislas à Nancy

Conférence internationale

Symposium logique analyse programme

13/07/2011

Dans le cadre du 14e congrès CLMPS (Congress of Logic, Methodology and Philosophy of Science) prévu entre le 19 et le 26 juillet à la Faculté de Droit de Nancy, Véronique Cortier, équipe CASSIS, organise un symposium intitulé "Analyzing programs : logic to the rescue" le vendredi 22 juillet. 

Mots-clés :

Accueil > Centre > Nancy > Actualités > Symposium logique analyse programme

Lire la suite

CCA : 1ère édition en France

Conférence internationale - CCA 2013

8/07/2013 au 11/07/2013

Organisée en Afrique, en Asie, et dans plusieurs pays d'Europe, Nancy accueille pour la première fois cette conférence internationale. Elle se tiendra du 8 au 10 juillet, pour sa dixième édition, dans les locaux nancéiens. Elle réunira l'ensemble de la communauté des domaines de l'informatique théorique et des mathématiques.

Lieu : Inria

Mots-clés :

Accueil > Centre > Nancy > Agenda > Conférence internationale - CCA 2013

lire la suite

Conférence Internationale

FroCos 2013

18/09/2013 au 20/09/2013

FroCoS s'intéresse plus particulièrement à la logique, le calcul, le développement de programmes, la vérification, l'intelligence artificielle et le raisonnement automatique. Ces domaines utilisent les formalismes et des mécanismes d'inférence dédiés à des tâches spécifiques.

A noter, les conférences FroCoS et Tableaux, se suivent et sont co-localisées à Nancy.

Lieu : Inria Nancy - Grand Est

Mots-clés :

Accueil > Centre > Nancy > Agenda > FroCos 2013

lire la suite

Sécurité

Atelier GIPSy 2010

15/11/2010 au 16/11/2010

Le but principal de cet atelier est de regrouper des chercheurs ayant pour centres d'intérêt les jeux, la logique et la sécurité (au sens large), et de leur offrir un forum privilégié pour pouvoir présenter et échanger leurs idées sur ces thématiques.

Lieu : Salle Michel Métiver, centre de recherche Inria Rennes - Bretagne Atlantique

Intervenant(s) : Hans van Ditmarsch (Université de Séville), Jean-François Raskin (Université libre de Bruxelles), Tristan Tomala (HEC Paris)

Mots-clés :

Accueil > Centre > Rennes > Agenda > Atelier GIPSy 2010

Programme et inscriptions

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

Lutz Straßburger, chargé de recherche, équipe Parsifal - © Inria Saclay - Île-de-France

Unithé ou café

C'est quoi, une preuve ?

Laure Guion - 11/03/2011

"- Il m’a menti !
 -Tu en as la preuve ?
 - Il devait être avec ses amis à Châtelet, et je ne l’ai vu nulle part.
 - C’est pas une preuve ça !"
 Oui, mais… qu’est-ce qu’une preuve ? Mathématiciens et informaticiens ne sont pas toujours d’accord. Entre les preuves formelles vérifiées automatiquement par ordinateur, et les preuves informelles qui demandent des semaines de contrôles, il n’est pas toujours facile de dire ce qui est juste ou non. Pourtant, la preuve se retrouve partout : fonctionnement de la ligne de métro 14, besoins d’authentification pour communiquer avec sa banque, confirmation du théorème des quatre couleurs… Sans oublier que la preuve a une action sociale, pour convaincre de façon certaine.

Mots-clés :

Accueil > Centre > Saclay > Recherche > Algorithmique, programmation, logiciels et architectures > C'est quoi, une preuve ?

Lire la suite

Assia Mahboubi, chargé de recherche, équipe Typical - © Inria / Photo Kaksonen

Unithé ou café

La vérité n'est pas si simple

Laure Guion - 25/09/2009

La vérité est ailleurs… ou en tout cas pas toujours là où on le croit. Les mathématiciens, par exemple, cherchent à démontrer des théorèmes, c’est-à-dire à persuader leurs collègues que ce qu’ils affirment est vrai. Mais dans cette recherche de justification, étayée par des mots techniques, les chercheurs sont-ils si différents des politiques en campagne ? Ainsi, peut-on démontrer quelque chose et son contraire ? Nous verrons que si les mathématiciens ne peuvent pas toujours être totalement sûrs que leurs démonstrations sont vraies, il est encore possible d’avoir confiance dans une preuve formelle et que les ordinateurs sont alors souvent d’un grand secours…

Mots-clés :

Accueil > Centre > Saclay > Recherche > Algorithmique, programmation, logiciels et architectures > La vérité n'est pas si simple

Lire la suite

Laurent Simon, maître de conférences, équipe Gemo - © Inria Saclay - Île-de-France

Unithé ou café

SAT : un "casse-tête" pour devenir maître du monde

Laure Guion - 7/11/2008

Vous passez du temps sur le démineur de Windows en culpabilisant ? Au contraire, soyez-en fier : à chaque partie, vous vous attaquez sans le savoir au Graal de l'informatique théorique, un casse-tête à plus d'un million de dollars nommé SAT.
Si vous trouvez automatiquement les combinaisons de variables rendant vraie une série d’affirmations, alors vous détenez la solution au problème SAT qui permet à la fois le décodage de messages secrets, l'étude de la physique du verre, la vérification de micro-processeurs et l'analyse de votre ADN…
Étudier et tenter de résoudre ce problème occupe un grand nombre d'informaticiens et de mathématiciens depuis plus de trente ans, et des progrès spectaculaires ont été obtenus ces dernières années.
Alors si vous pensez savoir résoudre rapidement les démineurs de toute taille, lancez-vous dans ce casse-tête et préparez-vous à recevoir la médaille Fields !

Mots-clés :

Accueil > Centre > Saclay > Recherche > Perception, Cognition, Interaction > SAT : un "casse-tête" pour devenir maître du monde

Lire la suite

Logo - La demi-heure de science Inria de Paris

La demi-heure de science

La demi-heure de science

2/06/2016

La demi-heure de science a lieu tous les mois, à partir de 13h45, dans la salle Jacques-Louis Lions au bâtiment C. Un café vous y accueille dès 13h30. Cette demi-heure a pour but de présenter, à tous les scientifiques du centre, un thème, son intérêt et les questions qui s’y rapportent afin de répondre à la question  « pourquoi mène-t-on des recherches dans ce domaine-là ?».

Lieu : Inria de Paris, bâtiment C, salle Jacques-Louis Lions

Intervenant(s) : Pierre-Louis Curien (PI.R2)

Mots-clés :

Accueil > Centre > Paris > Agenda > La demi-heure de science

lire la suite

Haut de page

Suivez Inria