Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Nice (5)
  • Paris, CNAM (5)
  • Palaiseau, Ecole polytechnique (2)
  • Paris Saclay (2)
  • Rennes 1 (2)
  • Chambéry (1)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (1)
  • Grenoble (1)
  • Grenoble Alpes (1)
  • Nantes (1)
  • Paris 7 (1)
  • Paris Est (1)
  • Paris, ENMP (1)
  • Strasbourg 1 (1)
  • Toulouse, INPT (1)
  • Universität des Saarlandes (1)
  • Université de Lorraine (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (21)
  • Mathématiques (2)
  • Sciences appliquées (2)
  • Informatique, temps réel, robotique et automatique (1)
  • Sureté de logiciel et calcul de haute performance (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Informatique, télécommunications et électronique (Paris) (3)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (2)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (2)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (2)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (2)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (1)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (1)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2010-2015) (1)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (1)
  • École doctorale Sciences fondamentales et appliquées (Nice) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (16)
  • anglais (10)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Dubois Catherine (5)
  • Bertot Yves (3)
  • Blazy Sandrine (3)
  • Barthe Gilles (2)
  • Aït-Ameur Yamine (1)
  • Barras Bruno (1)
  • Berkani Karim (1)
  • Blanqui Fréderic (1)
  • Blanqui Frédéric (1)
  • Burel Guillaume (1)
  • David René (1)
  • Delahaye David (1)
  • Djouani Karim (1)
  • Donzeau-Gouge Viguié Véronique (1)
  • Dufourd Jean-François (1)
  • Grégoire Benjamin (1)
  • Herbelin Hugo (1)
  • Hirschowitz André (1)
  • Jouannaud Jean-Pierre (1)
  • Kesner Delia (1)
  • Mahboubi Assia (1)
  • Merz Stephan (1)
  • Monin Jean-François (1)
  • Monniaux David (1)
  • Pantel Marc (1)
  • Pottier Loïc (1)
  • Puaut Isabelle (1)
  • Périn Michaël (1)
  • Roux Olivier (1)
  • Soutif Eric (1)
  • Tabareau Nicolas (1)
  • Weidenbach Christoph (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (22)
  • Sciences de l'ingénieur (4)
  • Mathématiques (2)
  • Informatique, information, généralités (1)

Domaines :

Fullscreen

27 thèses pour "Assistant à la preuve"

Utiliser des prouveurs externes dans un assistant à la preuve.

par Yacine El Haddad sous la direction de Fréderic Blanqui et de Guillaume Burel. - Paris Saclay

Informatique

En préparation depuis le 05-01-2018
 thèse en cours de préparation
Mathématiques

Soutenue en 2006
thèse soutenue
Sureté de logiciel et calcul de haute performance

Soutenue le 11-07-2013
thèse soutenue

...preuvesformelles produites et vérifiées à l’aide d’un logicielappelé assistant à la preuve.Nous illustrons d...

Accéder en ligne
Informatique, temps réel, robotique et automatique

Soutenue en 2010
thèse soutenue

Résultats 1 à 10