Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Grenoble Alpes (4)
  • Paris 11 (4)
  • Paris, CNAM (4)
  • Ecole centrale de Lille (3)
  • Orléans (3)
  • Paris Saclay (3)
  • Grenoble (2)
  • Lille 1 (2)
  • Palaiseau, Ecole polytechnique (2)
  • Sorbonne Paris Cité (2)
  • Toulouse, INPT (2)
  • Aix-Marseille 1 (1)
  • Besançon (1)
  • Bordeaux (1)
  • Bordeaux 1 (1)
  • Dijon (1)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (1)
  • Evry, Institut national des télécommunications (1)
  • Lyon (1)
  • Lyon, École normale supérieure (1)
  • Montpellier (1)
  • Nancy 1 (1)
  • Nice (1)
  • Paris 7 (1)
  • Paris Est (1)
  • Paris Sciences et Lettres (1)
  • Paris, ENMP (1)
  • Rennes 1 (1)
  • Rennes, École normale supérieure (1)
  • Strasbourg (1)
  • Toulouse 3 (1)
  • Toulouse, ISAE (1)
  • Universidade federal do Rio Grande do Norte (Natal, Brésil) (1)
  • Université de Lorraine (1)
  • Université de Sherbrooke (Québec, Canada) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (45)
  • Automatique et informatique industrielle (1)
  • Automatique, Génie informatique, Traitement du Signal et des Images (1)
  • Automatique, génie informatique, traitement du signal et images (1)
  • Informatique et applications (1)
  • Informatique, temps réel, robotique et automatique (1)
  • Mathématiques et Informatique (1)
  • Sûreté Logiciel et Calcul Haute Performance (1)
  • Sûreté de logiciel et calcul de haute performance (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (6)
  • École doctorale Sciences pour l'Ingénieur (Lille) (5)
  • École doctorale Informatique, télécommunications et électronique (Paris) (4)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (3)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (3)
  • Ecole doctorale Informatique de Paris-Sud (2)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (2)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (2)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (2)
  • École doctorale de Sciences mathématiques de Paris Centre (Paris) (2)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (2)
  • École doctorale en Informatique et Mathématiques de Lyon (2)
  • I2S - Information, Structures, Systèmes (1)
  • Sciences Mathématiques de Paris Centre (1)
  • É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, sciences de l'information et de l'ingénieur (Strasbourg ; 1997-....) (1)
  • École doctorale Sciences et Ingénierie (Evry ; 2008-2015) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (33)
  • anglais (20)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Dubois Catherine (3)
  • Loulergue Frédéric (3)
  • Barthe Gilles (2)
  • Castéran Pierre (2)
  • Grimaud Gilles (2)
  • Herbelin Hugo (2)
  • Werner Benjamin (2)
  • Baillot Patrick (1)
  • Barkaoui Kamel (1)
  • Benzaken Véronique (1)
  • Bhargavan Karthikeyan (1)
  • Blanchet Bruno (1)
  • Blanqui Frédéric (1)
  • Blazy Sandrine (1)
  • Bodeveix Jean-Paul (1)
  • Boldo Sylvie (1)
  • Bon Philippe (1)
  • Cachera David (1)
  • Cartigny Julien (1)
  • Collart-Dutilleul Simon (1)
  • Contejean Evelyne (1)
  • Corbineau Pierre (1)
  • Coupet-Grimal Solange (1)
  • Delahaye David (1)
  • Déharbe David (1)
  • Dumas Jean-Guillaume (1)
  • El-Koursi El-Miloudi (1)
  • Filali Mamoun (1)
  • Fontaine Pascal (1)
  • Frappier Marc (1)
  • Garoche Pierre-Loïc (1)
  • Gava Frédéric (1)
  • Ghazel Mohamed (1)
  • Giorgetti Alain (1)
  • Haddad Serge (1)
  • Henrion Didier (1)
  • Hyvernat Pierre (1)
  • Julliand Jacques (1)
  • Kaci Souhila (1)
  • Kesner Delia (1)
  • Kirchner Hélène (1)
  • Kosmatov Nikolaï (1)
  • Lakhnech Yassine (1)
  • Lang Frédéric (1)
  • Leroy Xavier (1)
  • Mammar Amel (1)
  • Marché Claude (1)
  • Melquiond Guillaume (1)
  • Merz Stephan (1)
  • Miller Dale (1)
  • Monin Jean-François (1)
  • Mosbah Mohamed (1)
  • Nicolle Christophe (1)
  • Nour Karim (1)
  • Nowak David (1)
  • Padiou Gérard (1)
  • Paulin-Mohring Christine (1)
  • Peltier Nicolas (1)
  • Pichardie David (1)
  • Pous Damien (1)
  • Puaut Isabelle (1)
  • Raffalli Christophe (1)
  • Rampacek Sylvain (1)
  • Régis-Gianas Yann (1)
  • Salaün Gwen (1)
  • Sallé Patrick (1)
  • Schreck Pascal (1)
  • Tabareau Nicolas (1)
  • Toguyeni Abdoul Karim Armand (1)
  • Wolff Burkhart (1)
  • Yim Pascal (1)
  • Zemmari Akka (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (49)
  • Sciences de l'ingénieur (6)
  • Mathématiques (4)
  • Informatique, information, généralités (2)
  • Commerce, communications, transports (1)
  • Technologie (Sciences appliquées) (1)

Domaines :

Fullscreen

53 thèses pour "Assistants de preuve"

...ces prou-veurs ou assistants de preuve sont intégrés à d’autres outils tels que BOO-GIE [Barnett et al...

Accéder en ligne

Résultats 1 à 10