Sites Inria

Il y a 4 Résultats avec le mot clé : "Soutenance"

Soutenance de thèse

Soutenance de thèse d'Olivier Sanders (Cascade)

24/09/2015

Les nouvelles technologies ont profondément modifié nos usages mais ne sont pas que synonymes d’avantages pour leurs utilisateurs. Elles ont en effet de lourdes conséquences sur notre vie privée, ce qui est bien souvent sous-estimé. Les utilisateurs de moyens de paiement électronique ne réalisent par exemple pas toujours que leurs transactions peuvent révéler des informations particulièrement intimes à leur sujet, telles que leur localisation, leur état de santé ou mêmes leurs croyances.

Lieu : Ecole Normale Supérieure - Amphi Rataud - 45 rue d'Ulm - Paris -- 14:30

Intervenant(s) : Olivier SANDERS (EPI Cascade)

Mots-clés :

Accueil > Centre > Paris > Agenda > Soutenance de thèse d'Olivier Sanders (Cascade)

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

Soutenance de thèse

Soutenance de thèse de Sophie MOUFAWAD (ALPINES)

19/12/2014

Lieu : Université Pierre et Marie Curie (UPMC), Jussieu - 10h00 dans la salle 15.25.102

Intervenant(s) : Sophie MOUFAWAD (ALPINES)

Mots-clés :

Accueil > Centre > Paris > Agenda > Soutenance de thèse de Sophie MOUFAWAD (ALPINES)

lire la suite

Haut de page

Suivez Inria