Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Grenoble (60)
  • Grenoble Alpes (50)
  • Paris Saclay (38)
  • Lyon (23)
  • Rennes 1 (19)
  • Bordeaux (18)
  • Nice (17)
  • Paris 11 (17)
  • Paris, CNAM (16)
  • Paris 1 (13)
  • Université de Lorraine (13)
  • Paris 10 (12)
  • Sorbonne Paris Cité (11)
  • Côte d'Azur (10)
  • Ecole centrale de Lille (10)
  • Paris 3 (10)
  • Paris 7 (10)
  • Aix-Marseille (9)
  • Paris Est (9)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (8)
  • Montpellier (8)
  • Palaiseau, Ecole polytechnique (8)
  • Paris Sciences et Lettres (8)
  • Paris 6 (7)
  • Pau (7)
  • Toulouse 3 (7)
  • Dijon (6)
  • Nantes (6)
  • Toulouse, INPT (6)
  • Orléans (5)
  • Paris 4 (5)
  • Paris, ENST (5)
  • Besançon (4)
  • Limoges (4)
  • Lorient (4)
  • Strasbourg (4)
  • Toulouse 1 (4)
  • Avignon (3)
  • Bourgogne Franche-Comté (3)
  • Brest (3)
  • Jouy-en Josas, HEC (3)
  • Lyon, École normale supérieure (3)
  • Lyon, École normale supérieure (sciences) (3)
  • Nantes, Ecole des Mines (3)
  • Paris 5 (3)
  • Paris 9 (3)
  • Paris, ENMP (3)
  • Troyes (3)
  • Università degli studi La Sapienza (Rome) (3)
  • Bordeaux 1 (2)
  • Cergy-Pontoise (2)
  • Clermont Auvergne (2)
  • Compiègne (2)
  • Evry, Institut national des télécommunications (2)
  • La Réunion (2)
  • Lille 3 (2)
  • Montpellier 2 (2)
  • Normandie (2)
  • Paris, Institut d'études politiques (2)
  • Reims (2)
  • Rennes 2 (2)
  • Toulouse, INSA (2)
  • Université de Liège (2)
  • Université libanaise (2)
  • Valenciennes (2)
  • Warsaw, Uniwersytet Warszawski (2)
  • Academia de Muzică Gheorghe Dima (Cluj-Napoca) (1)
  • Amiens (1)
  • Angers (1)
  • Artois (1)
  • Bordeaux 4 (1)
  • Brescki dzâržaǔny Ǔniversitet imâ A. S. Puškina (1)
  • Cachan, Ecole normale supérieure (1)
  • Chambéry (1)
  • Châtenay-Malabry, Ecole centrale de Paris (1)
  • City university of New York. Graduate school and university center (1)
  • Colorado state university (1)
  • Columbia university (New York) (1)
  • Ecole centrale de Marseille (1)
  • Ecole des hautes études commerciales (Lausanne, Suisse) (1)
  • Ecole nationale des Mines d'Albi-Carmaux (1)
  • Harvard divinity school (Cambridge, Mass.) (1)
  • Institute of Computing Technologies (Pekin, Chine) (1)
  • International School for Advanced Studies (1)
  • Johann-Wolfgang-Goethe-Universität (Francfort-sur-le-Main, Allemagne) (1)
  • Johannes-Kepler-Universität (Linz, Autriche) (1)
  • Le Havre (1)
  • Le Mans (1)
  • Lille 2 (1)
  • Lyon, INSA (1)
  • Montpellier 1 (1)
  • Montpellier 3 (1)
  • Mulhouse (1)
  • Nancy 1 (1)
  • Nantes, Ecole nationale vétérinaire (1)
  • Paris 12 (1)
  • Paris, AgroParisTech (1)
  • Perpignan (1)
  • Prove & Run (1)
  • Rennes, Agrocampus Ouest (1)
  • Rennes, INSA (1)
  • Rennes, École normale supérieure (1)
  • Rouen, INSA (1)
  • Saint-Etienne (1)
  • School of law (Berkeley, Calif.) (1)
  • Seconda università degli studi (Naples, Italie) (1)
  • Strasbourg 1 (1)
  • Supélec (1)
  • Szegedi Tudományegyetem (1)
  • Technical University of chemistry and technology (Prague) (1)
  • Tongji university (Shanghai, Chine) (1)
  • Toulon (1)
  • Toulouse, ENSAE (1)
  • Tours (1)
  • Tshwane University of Technology (1)
  • Télécom Bretagne (1)
  • UNIVERSITE POLYTECHNIQUE DE BUCAREST (1)
  • Universidad de Zaragoza (Espagne) (1)
  • Universidad del País Vasco (1)
  • Universidade Federal do Rio Grande do Sul (Brésil) (1)
  • Universidade federal do Rio Grande do Norte (Natal, Brésil) (1)
  • Universitatea politehnica (Bucarest) (1)
  • University of Western Sydney (1)
  • University of science and technology of China (1)
  • Università commerciale Luigi Bocconi (Milan, Italie) (1)
  • Università degli studi (Cassino, Italie) (1)
  • Università degli studi (Pise, Italie) (1)
  • Universität des Saarlandes (1)
  • Université A. Mira (Bejaïa, Algérie) (1)
  • Université Tunis El Manar. Faculté des Sciences Mathématiques, Physiques et Naturelles de Tunis (Tunisie) (1)
  • Université d'Abomey-Calavi (Bénin) (1)
  • Université de Sfax (Tunisie) (1)
  • Université de Sfax (Tunisie). Faculté des Sciences économiques et de gestion (1)
  • Université de Sherbrooke (Québec, Canada) (1)
  • Université du Québec à Montréal. Département d'histoire (1)
  • Univerzitet u Novom Sadu (1)
  • Zhejiang University (1)
  • École Supérieure d’Ingénieurs de Beyrouth (ESIB) – Université Saint-Joseph (USJ) (1)
  • École des sciences politiques et sociales (Louvain, Belgique) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (186)
  • Sciences de gestion (17)
  • Sciences économiques (16)
  • Mathématiques (13)
  • Physique (11)
  • Études anglophones (11)
  • Chimie (8)
  • Informatique et applications (7)
  • Etudes anglophones (5)
  • Science politique (5)
  • Sociologie (5)
  • Droit (4)
  • Droit privé et sciences criminelles (4)
  • Histoire (4)
  • Intelligence Artificielle (4)
  • Mathématiques Appliquées (4)
  • Mathématiques appliquées (4)
  • Automatique - productique (3)
  • Droit privé (3)
  • Ethnologie (3)
  • Génie civil (3)
  • Informatique, temps réel, robotique et automatique (3)
  • Langues et littératures anglaises et anglo-saxonnes (3)
  • Matériaux, mécanique, génie civil, électrochimie (3)
  • Microélectronique (3)
  • Nanophysique (3)
  • Sciences de l'information et de la communication (3)
  • Sciences et technologie industrielles (3)
  • Stic (3)
  • Anthropologie (2)
  • Automatique et informatique industrielle (2)
  • Automatique et productique (2)
  • Automatique, Génie informatique, Traitement du Signal et des Images (2)
  • Automatique, génie informatique, traitement du signal et des images (2)
  • Automatique, génie informatique, traitement du signal et images (2)
  • Automatique, traitement du signal et des images (2)
  • Biologie (2)
  • Biotechnologie, instrumentation, signal et imagerie pour la biologie, la médecine et l'environnement (2)
  • Chimie biologie (2)
  • Développement Durable (2)
  • Electronique des Hautes Fréquences, Photonique et Systèmes (2)
  • Electronique et communications (2)
  • Génie Industriel (2)
  • Génie des procédés (2)
  • Génie industriel (2)
  • Ingénierie de la Cognition, de l'interaction, de l'Apprentissage et de la création (2)
  • Mathématiques et Informatique (2)
  • Mathématiques et applications (2)
  • Mathématiques et informatique (2)
  • Mouvement et comportement pour la santé et l'autonomie (2)
  • Physique pour les sciences du vivant (2)
  • Psychologie, psychologie clinique, psychologie sociale (2)
  • Sciences de la vie (2)
  • Sciences de la vie et de la santé (2)
  • Sciences du langage (2)
  • Sciences du mouvement humain (2)
  • Sciences politiques (2)
  • Sureté de logiciel et calcul de haute performance (2)
  • Technologies de l'Information et des Systèmes : Unité de recherche Heudyasic (UMR-7253) (2)
  • Traitement du signal et télécommunications (2)
  • Télécommunications (2)
  • Énergétique (2)
  • Études nord-américaines (2)
  • ARTS spécialité Etudes cinématographiques et audiovisuel (1)
  • Acoustique (1)
  • Anglais (1)
  • Architecture (1)
  • Archéologie (1)
  • Arts (1)
  • Aspects moléculaires et cellulaires de la biologie (1)
  • Astronomie et Astrophysique (1)
  • Astrophysique (1)
  • Automatique (1)
  • Automatique et traitement du signal et des images (1)
  • Automatique, génie informatique, traitement du signal et image (1)
  • Automatique, productique, signal et image, ingénierie cognitique (1)
  • Automatique, signal, productique, robotique (1)
  • Automatique. Automatique, génie informatique (1)
  • Bio-mécanique et bio-ingénierie (1)
  • Biochimie (1)
  • Biodiversité-Ecologie-Environnement (1)
  • Bioimagerie (1)
  • Biologie Cellulaire (1)
  • Biologie Marine (1)
  • Biologie Santé (1)
  • Biologie cellulaire (1)
  • Biologie des systèmes (1)
  • Biologie et agronomie (1)
  • Biologie et sciences de la santé (1)
  • Biologie moléculaire et cellulaire (1)
  • Biomolécules, Pharmacologie, Thérapeutique (1)
  • Cancérologie (1)
  • Chimie Moléculaire (1)
  • Chimie et physico-chimie des matériaux (1)
  • Chimie et physicochimie des matériaux (1)
  • Chimie et physique du vivant (1)
  • Chimie organique, minérale, industrielle (1)
  • Chimie physique (1)
  • Diversité du vivant (1)
  • Droit - Cergy (1)
  • Droit Privé (1)
  • Droit Public (1)
  • Droit public (1)
  • Eaux continentales et Société (1)
  • Electronique (1)
  • Electronique et Optoélectronique, Nano- et Microtechnologies (1)
  • Electronique et Systèmes (1)
  • Electronique, Optronique et Systèmes (1)
  • Energétique, génie des procédés (1)
  • Epistémologie, histoire des sciences et des techniques (1)
  • Ethnologie, option Antrhopologie sociale et culturelle (1)
  • Etudes cinématographiques et audiovisuelles (1)
  • Génie Industriel (1)
  • Génie des Procédés (1)
  • Génie des Procédés et de l'Environnement (1)
  • Génie des systèmes industriels (1)
  • Génie industriel conception et production (1)
  • Génie électrique (1)
  • Géochimie (1)
  • Géomatique (1)
  • Histoire de l'art (1)
  • Histoire des techniques (1)
  • Histoire et archéologie des mondes anciens (1)
  • Histoire et civilisations des mondes moderne et contemporain (1)
  • Histoire moderne et contemporaine (1)
  • Hydrogéologie (1)
  • Image, Vision, Signal (1)
  • Informatique et réseaux (1)
  • Informatique temps réel, robotique et automatique (1)
  • Ingénierie Sociotechnique des Connaissances, des Réseaux et du Développement Durable (1)
  • Intelligence artificielle (1)
  • Langues et litteratures etrangeres (1)
  • Langues et littératures anglophones (1)
  • Langues et littératures française et comparée (1)
  • Langues et littératures étrangères (1)
  • Langues et littératures étrangères - Didactique des langues (1)
  • Langues et littératures étrangères. Langue et culture des sociétés anglophones (1)
  • Langues et littératures étrangères. Langues et cultures des sociétés anglophones (1)
  • Langues étrangères appliquées (1)
  • Langues, littératures et civilisations anglophones (1)
  • Langues, sociétés et civilisations orientales - études iraniennes (1)
  • Lasers, matière et nanosciences (1)
  • Lettres et arts spécialité recherches sur l'imaginaire (1)
  • Linguistique anglaise (1)
  • Linguistique et didactique de l'anglais (1)
  • Littérature américaine (1)
  • Littérature comparée (1)
  • Littérature générale et comparée (1)
  • Mathématiques aux interfaces (1)
  • Mathématiques et informatique. Informatique (1)
  • Mathématiques fondamentales (1)
  • Matériaux (1)
  • Matériaux, Mécanique, Génie civil, Electrochimie (1)
  • Microelectronique (1)
  • Mécanique et matériaux (1)
  • Mécanique et physique des fluides (1)
  • Nanoélectronique et nanotechnologie (1)
  • Océanographie (1)
  • Optique, Photonique et Traitement d'Image (1)
  • Philosophie des sciences (1)
  • Philosophie, sciences de l’environnement (1)
  • Philosophie, épistémologie. Epistémologie, histoire des sciences et des techniques (1)
  • Philosophie. Histoire des sciences (1)
  • Physique Quantique (1)
  • Physique de la Matière Condensée et du Rayonnement (1)
  • Physique et Chimie des Matériaux (1)
  • Physique subatomique et astroparticules (1)
  • Physique/Informatique (1)
  • Psychologie (1)
  • Recherche clinique, innovation technologique, santé publique (1)
  • Recherches sur les services de santé (1)
  • Robotique (1)
  • Réseaux et télécommunications (1)
  • Réseaux, information et communications (1)
  • STIC - Cergy (1)
  • Santé Publique. Organisations et systèmes de santé (1)
  • Science et Génie des Matériaux (1)
  • Science et technologie de l'information et de la communication (1)
  • Sciences (1)
  • Sciences appliquées (1)
  • Sciences de Gestion (1)
  • Sciences de gestion. Prospective, innovation, stratégie, organisation (1)
  • Sciences de l'information et de la communication. Informatique (1)
  • Sciences de l'univers (1)
  • Sciences de l'éducation (1)
  • Sciences de la santé (1)
  • Sciences de la terre et de l'univers, et de l'environnement (1)
  • Sciences du Mouvement Humain (1)
  • Sciences du bois et des fibres (1)
  • Sciences du langage. Traitement automatique des langues (1)
  • Sciences du langage: linguistique et didactique des langues (1)
  • Sciences et Techniques de l'Environnement (1)
  • Sciences et genie de l'environnement (1)
  • Sciences et genie des materiaux (1)
  • Sciences et technologies de l'information et de la communication (1)
  • Sciences et technologies industrielles (1)
  • Sciences juridiques (1)
  • Sciences juridiques - droit privé (1)
  • Sciences juridiques. Droit international et européen (1)
  • Sciences pharmacologiques (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (43)
  • École doctorale Informatique, télécommunications et électronique (Paris) (17)
  • École doctorale Sciences Ingénierie Santé (Saint-Etienne) (15)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (14)
  • École doctorale Sciences pour l'Ingénieur (Lille) (12)
  • École doctorale Ingénierie - matériaux mécanique énergétique environnement procédés production (Grenoble) (11)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne) (11)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (11)
  • École doctorale Études anglophones, germanophones, et européennes (2009-.... ; Paris) (11)
  • IAEM - Ecole Doctorale Informatique, Automatique, Électronique - Électrotechnique, Mathématiques (10)
  • École Doctorale Mathématiques, Informatique et Télécommunications (Toulouse) (10)
  • École doctorale en Informatique et Mathématiques de Lyon (10)
  • École doctorale physique (Grenoble) (10)
  • École doctorale chimie et science du vivant (Grenoble) (8)
  • Ecole doctorale Informatique de Paris-Sud (7)
  • Ecole doctorale de Dauphine (Paris) (7)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (6)
  • École doctorale Sciences de l'Homme et de la Société (Cachan, Val-de-Marne) (6)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (6)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (6)
  • École doctorale ingénierie pour la santé, la cognition, l'environnement (Grenoble) (6)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (6)
  • École doctorale Connaissance, langage et modélisation (Nanterre) (5)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (5)
  • École doctorale langues, littératures et sciences humaines (Grenoble) (5)
  • École doctorale sciences sociales et humanités (Pau, Pyrénées Atlantiques) (5)
  • Sciences et Technologies de l'Information et de la Communication (4)
  • École doctorale Abbé Grégoire (Paris) (4)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (4)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (4)
  • École doctorale Sciences fondamentales et appliquées (Nice) (4)
  • École doctorale d'Économie (Paris) (4)
  • École doctorale sciences de gestion (Grenoble) (4)
  • École doctorale sciences et ingénierie des systèmes, de l'environnement et des organisations (Chambéry) (4)
  • École doctorale Économie, organisations, société (Nanterre) (4)
  • Ecole doctorale Sciences pour l'Ingénieur (Troyes, Aube) (3)
  • MATISSE (3)
  • École doctorale Arts, Lettres, Langues (Rennes) (3)
  • École doctorale Concepts et langages (Paris) (3)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (3)
  • École doctorale Sciences chimiques : molécules, matériaux, instrumentation et biosystèmes (Orsay, Essonne) (3)
  • École doctorale Sciences du Management Gestion-Organisation-Décision-Information (Paris) (3)
  • École doctorale Sciences du mouvement humain (Marseille) (3)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018) (3)
  • École doctorale Sciences humaines et sociales : cultures, individus, sociétés (Paris) (3)
  • École doctorale Sciences pour l'ingénieur, Géosciences, Architecture (Nantes) (3)
  • École doctorale Sociétés, politique, santé publique (Bordeaux) (3)
  • École doctorale d'Histoire de l'Université Paris 1 Panthéon-Sorbonne (Paris) (3)
  • École doctorale des sciences physiques et de l’ingénieur (Talence, Gironde) (3)
  • École doctorale sciences juridiques (Grenoble) (3)
  • Droit et Science Politique (2)
  • Ecole Doctorale Sciences Juridiques et Politiques (Aix-en-Provence) (2)
  • Ecole doctorale Sciences de l'homme et de la société (Reims, Marne) (2)
  • Ecole doctorale Sciences et technologies (Orléans) (2)
  • Electronique, Electrotechnique, Automatique, Traitement du Signal (EEATS) (2)
  • MATHSTIC (2)
  • Sciences mécaniques et énergétiques, matériaux, géosciences (2)
  • Systèmes Intégrés en Biologie, Agronomie, Géosciences, Hydrosciences, Environnement (Montpellier ; École Doctorale ; 2009-2015) (2)
  • École doctorale 71, Sciences pour l'ingénieur (Compiègne) (2)
  • École doctorale Approches interdisciplinaires : fondements, applications et innovation (Palaiseau, Essonne) (2)
  • École doctorale Biologie-Santé Nantes-Angers (2)
  • École doctorale Carnot-Pasteur (Besançon ; Dijon ; 2012-....) (2)
  • École doctorale Droit et Science Politique (Toulouse) (2)
  • École doctorale Economie Gestion de Montpellier (2015-.... ; Montpellier) (2)
  • École doctorale Electrical, optical, bio-physics and engineering (Orsay, Essonne) (2)
  • École doctorale Entreprise, économie, société (Pessac, Gironde) (2)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2010-2015) (2)
  • École doctorale Milieux, cultures et sociétés du passé et du présent (Nanterre) (2)
  • École doctorale Physique et chimie-physique (Strasbourg ; 1994-....) (2)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (2)
  • École doctorale Sociétés, Cultures, Echanges (SCE) (Angers) (2)
  • École doctorale Sociétés, humanités, arts et lettres (Nice ; 2016-....) (2)
  • École doctorale de Mathématiques et Informatique (Talence ; Gironde) (2)
  • École doctorale de Sciences Po (Paris) (2)
  • École doctorale de droit de la Sorbonne (Paris ; 2015-....) (2)
  • École doctorale des Sciences de la vie et de la santé (Bordeaux) (2)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (2)
  • École doctorale sciences de l'homme, du politique et du territoire (Grenoble) (2)
  • École doctorale sciences exactes et leurs applications (Pau, Pyrénées Atlantiques) (2)
  • École doctorale sciences économiques (Grenoble) (2)
  • École doctorale terre, univers, environnement (Grenoble) (2)
  • Ecole Doctorale Espaces, Cultures, Sociétés (Aix-en-Provence) (1)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (1)
  • Ecole Doctorale Matériaux de Lyon (Villeurbanne) (1)
  • Ecole Doctorale Physique et Sciences de la Matière (Marseille) (1)
  • Ecole Doctorale Sciences de l'Environnement (Marseille) (1)
  • Ecole Doctorale Sciences pour l'Ingénieur : Mécanique, Physique, Micro et Nanoélectronique (Marseille) (1)
  • Ecole Doctorale Sociétés, Politique, Santé publique (SP2) (Bordeaux) (1)
  • Ecole doctorale Cultures et Sociétés (Créteil) (1)
  • Ecole doctorale Droit, Economie-Gestion, Sociétés, Territoires (Nantes) (1)
  • Ecole doctorale Langages, Espaces, Temps, Sociétés (Besançon ; 1991-2016) (1)
  • Ecole doctorale Langages, Idées, Sociétés, Institutions, Territoires (Dijon ; 2007-2016) (1)
  • Ecole doctorale Langue, Littérature, Image: civilisation et sciences humaines (domaines anglophone, francophone et d'Asie orientale) (Paris) (1)
  • Ecole doctorale Particules, Noyaux, Cosmos (2009-2015 ; Paris) (1)
  • Ecole doctorale Physique de la Région Parisienne (....-2013) (1)
  • Ecole doctorale Sciences et Technologies de l'Information, des Télécommunications et des Systèmes (Orsay, Essonne) (1)
  • GAIA - Biodiversité, Agriculture, Alimentation, Environnement, Terre, Eau (1)
  • I2S - Information, Structures, Systèmes (1)
  • Interfaces : approches interdisciplinaires, fondements, applications et innovation (1)
  • Laboratoire de mathématiques et d'informatique (Bordeaux) (1)
  • Langues, Littératures, Cultures, Civilisations (1)
  • MSTIC : Mathématiques et Sciences et Technologies de l'Information et de la Communication (1)
  • Mathématiques Hadamard (1)
  • Mathématiques Informatique Télécommunications de Toulouse (1)
  • Mathématiques, Sciences et technologies de l'information, Informatique (1)
  • Physique (1)
  • RP2E - Ecole Doctorale Sciences et Ingénierie des Ressources, Procédés, Produits, Environnement (1)
  • RP2E - Ecole Doctorale Sciences et Ingénierie des Ressources, Procédés, Produits, Environnement (1)
  • SESAMES - Ecole Doctorale Lorraine de Chimie et Physique Moléculaires (1)
  • SOCIETES, POLITIQUE ET SANTE PUBLIQUE (1)
  • Sciences Chimiques (Montpellier ; École Doctorale ; ...-2014) (1)
  • Sciences Chimiques (Montpellier ; École Doctorale ; 2015-....) (1)
  • Sciences Chimiques Balard (1)
  • Sciences Chimiques et Biologiques pour la Santé (1)
  • Sciences de l'Homme et de la Société (1)
  • Sciences pour l'ingénieur (SPI) (1)
  • Structure et Dynamique des Systèmes Vivants (1)
  • VIE-AGRO-SANTE (1)
  • École Doctorale Biologie Santé Biotechnologies (Toulouse) (1)
  • École Doctorale Droit et Science Politique (Nanterre) (1)
  • École Doctorale INTER-MED (Perpignan) (1)
  • École Doctorale Interdisciplinaire Sciences-Santé. (Villeurbanne) (1)
  • École Doctorale Mécanique, Énergétique, Génie civil et Procédés (Toulouse) (1)
  • École Doctorale Sciences de la Matière (Toulouse) (1)
  • École Doctorale de Chimie (Lyon) (1)
  • École doctorale 502 Biologie-Santé (Nantes-Angers) (1)
  • École doctorale 536 « Sciences et agrosciences » (Avignon) (1)
  • École doctorale 537 « Culture et patrimoine » (Avignon) (1)
  • École doctorale Agriculture, Alimentation, Biologie, Environnement, Santé (2015-.... ; Paris) (1)
  • École doctorale Arts et médias (Paris) (1)
  • École doctorale Arts plastiques, esthétique et sciences de l'art (Paris) (1)
  • École doctorale Astronomie et astrophysique d'Île-de-France (Meudon, Hauts-de-Seine) (1)
  • École doctorale Biologie-Santé (Rennes) (1)
  • École doctorale Chimie moléculaire de Paris Centre (Paris) (1)
  • École doctorale Civilisations, cultures, littératures et sociétés (Paris) (1)
  • École doctorale Cognition, comportements, conduites humaines (Boulogne-Billancourt) (1)
  • École doctorale Droit et science politique (Montpellier ; 2010-2014) (1)
  • École doctorale Droit et sciences politiques, économiques et de gestion (Nice) (1)
  • École doctorale Droit international et européen (Paris) (1)
  • École doctorale E2S Environnements, Santé, STIC (Dijon ; ....-2012) (1)
  • École doctorale Environnements, Santé (Dijon ; Besançon ; 2012-....) (1)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (1)
  • École doctorale Histoire moderne et contemporaine (Paris) (1)
  • École doctorale Innovation thérapeutique : du fondamental à l'appliqué (2015-.... ; Châtenay-Malabry, Hauts-de-Seine) (1)
  • École doctorale Langage et langues (Paris) (1)
  • École doctorale Langue, littérature, image : civilisation et sciences humaines (domaines anglophone, francophone et d'Asie orientale) (Paris) (1)
  • École doctorale Langues, littératures et sociétés du monde (Paris) (1)
  • École doctorale Lettres et sciences humaines, Droit économie gestion, Sciences politiques (Saint-Denis, La Réunion) (1)
  • École doctorale Lettres, Communication, Langues, Arts (Dijon ; Besançon ; 2017-....) (1)
  • École doctorale Lettres, langues, spectacles (Nanterre) (1)
  • École doctorale Lettres, sciences humaines et sociales (Nice ; 1992-2016) (1)
  • École doctorale Littératures, cultures et sciences sociales (Caen ; ....-2011) (1)
  • École doctorale Mathématiques, Informatique et Télécommunications (Toulouse, Haute-Garonne) (1)
  • École doctorale Mer et Sciences (Toulon) (1)
  • École doctorale Philosophie (Paris) (1)
  • École doctorale Physique en Île-de-France (Paris) (1)
  • École doctorale Physique et chimie des matériaux (Paris) (1)
  • École doctorale Santé publique : épidémiologie et sciences de l'information biomédicale (Paris) (1)
  • École doctorale Santé, Sciences Biologiques et Chimie du Vivant (Centre-Val de Loire) (1)
  • École doctorale Savoirs scientifiques : Epistémologie, Histoire des sciences, Didactique des disciplines (Paris) (1)
  • École doctorale Sciences de l'homme et de la société (Villeneuve d'Ascq, Nord) (1)
  • École doctorale Sciences de la Terre et Environnement (Strasbourg ; 2000) (1)
  • École doctorale Sciences de la mer (Plouzané, Finistère) (1)
  • École doctorale Sciences de la mer et du littoral (Plouzané) (1)
  • École doctorale Sciences de la nature et de l'Homme. Évolution et écologie (Paris) (1)
  • École doctorale Sciences de la vie et de la santé (Sophia Antipolis, Alpes-Maritimes) (1)
  • École doctorale Sciences et ingénierie (Cergy-Pontoise, Val d'Oise) (1)
  • École doctorale Sciences juridiques, politiques, économiques et de gestion (Malakoff) (1)
  • École doctorale Sciences mécaniques, acoustique, électronique et robotique de Paris (1)
  • École doctorale Sciences physiques mathématiques et de l'Information pour l'ingénieur (Saint-Etienne-du-Rouvray, Seine-Maritime ; ....-2016) (1)
  • École doctorale Sciences pour l'Ingénieur (Châtenay-Malabry, Hauts de Seine) (1)
  • École doctorale Sciences, Ingénierie et Environnement (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (1)
  • École doctorale Sciences, Technologies et Santé (Saint-Denis, La Réunion) (1)
  • École doctorale Signalisations et réseaux intégratifs en biologie (Kremlin-Bicêtre, Val-de-Marne) (1)
  • École doctorale Théologie et sciences religieuses (Strasbourg ; 1997-....) (1)
  • École doctorale Vie-Agro-Santé (Rennes) (1)
  • École doctorale Végétal-Environnement-Nutrition-Agro-Alimentaire-Mer (Angers) (1)
  • École doctorale biologie-santé - Bio-santé (Limoges ; 2009-2018) (1)
  • École doctorale de droit et sciences humaines (Cergy-Pontoise, Val-d'Oise) (1)
  • École doctorale de mathématiques Hadamard (Orsay, Essonne) (1)
  • École doctorale de science politique (Paris) (1)
  • École doctorale des Humanités (Mulhouse) (1)
  • École doctorale des Sciences Juridiques, Politiques et de Gestion (Lille) (1)
  • École doctorale en Sciences humaines et sociales (Amiens) (1)
  • École doctorale histoire, mémoire, patrimoine, langage (Mont- Saint- Aignan, Seine-Maritime) (1)
  • École doctorale normande de chimie (Caen) (1)
  • École doctorale École transdisciplinaire Lettres/Sciences (Paris) (1)
  • École doctorale Érasme (Villetaneuse, Seine-Saint-Denis) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • anglais (307)
  • français (278)
  • espagnol (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Dubois Catherine (8)
  • Barthe Gilles (6)
  • Bertot Yves (5)
  • Herbelin Hugo (5)
  • Jensen Thomas (5)
  • Paulin-Mohring Christine (5)
  • Blazy Sandrine (4)
  • El Kamel Abdelkader (4)
  • Hirschowitz André (4)
  • Loulergue Frédéric (4)
  • Merz Stephan (4)
  • Mosbah Mohamed (4)
  • Muller Jean-Michel (4)
  • Alami Rachid (3)
  • Daumas Marc (3)
  • Filliâtre Jean-Christophe (3)
  • Jouannaud Jean-Pierre (3)
  • Lakhnech Yassine (3)
  • Malliaras George (3)
  • Maupeu Hervé (3)
  • Werner Benjamin (3)
  • Aït-Ameur Yamine (2)
  • Barucq Hélène (2)
  • Bensaude-Vincent Bernadette (2)
  • Blanco Éric (2)
  • Blanqui Frédéric (2)
  • Bon Philippe (2)
  • Castéran Pierre (2)
  • Collart-Dutilleul Simon (2)
  • Contejean Evelyne (2)
  • Delahaye David (2)
  • Di Cosmo Roberto (2)
  • Dianteill Erwan (2)
  • Dugard Luc (2)
  • Durand Rodolphe (2)
  • Foufou Sebti (2)
  • Fradet Pascal (2)
  • Frau-Meigs Divina (2)
  • Gava Frédéric (2)
  • Genet Thomas (2)
  • Girault Alain (2)
  • Kesner Delia (2)
  • Landau Ioan Doré (2)
  • Lang Frédéric (2)
  • Laroche Romain (2)
  • Laugier Christian (2)
  • Le Jeune Françoise (2)
  • Lefèvre Laurent (2)
  • Leroy Xavier (2)
  • Lopes Manuel (2)
  • Marché Claude (2)
  • Mateescu Radu (2)
  • Monin Jean-François (2)
  • Monniaux David (2)
  • Nicolle Christophe (2)
  • Pantel Marc (2)
  • Peltier Nicolas (2)
  • Raffalli Christophe (2)
  • Salaün Gwen (2)
  • Toguyeni Abdoul Karim Armand (2)
  • Viêt Triêm Tông Valérie (2)
  • Vuillerme Nicolas (2)
  • About Imad (1)
  • Absi Nabil (1)
  • Adam Jean-François (1)
  • Agbossou Amen (1)
  • Alamir Mazen (1)
  • Alberge Florence (1)
  • Alencastro Luiz Felipe de (1)
  • Alexandre Frédéric (1)
  • Alexis Henri (1)
  • Alfaro Marchant Miguel Domingo (1)
  • Alla Hassane Lotfi (1)
  • Alloin Fannie (1)
  • Amiot-Jouenne Pascale (1)
  • Anceaume Emmanuelle (1)
  • Andler Daniel (1)
  • Andres Yves (1)
  • Antoni Thomas (1)
  • Arrighi Pablo (1)
  • Arriola Joaquín (1)
  • Assens Christophe (1)
  • Attias André-Jean (1)
  • Aubert Cécile (1)
  • Augusto Vincent (1)
  • Aupetit-Berthelemot Christelle (1)
  • Autume Antoine d' (1)
  • Avrachenkov Konstantin (1)
  • Aycard Olivier (1)
  • Ayral André (1)
  • Azuelos Martine (1)
  • Azzi Tristan (1)
  • Babel Marie (1)
  • Badr Youakim (1)
  • Baghdadi Amer (1)
  • Bagus Philipp (1)
  • Baillot Patrick (1)
  • Bajard Jean-Claude (1)
  • Ball Vincent (1)
  • Banton Olivier (1)
  • Barakat Chadi (1)
  • Baranzini Roberto (1)
  • Baratchart Laurent (1)
  • Barkaoui Kamel (1)
  • Barras Bruno (1)
  • Baude Françoise (1)
  • Baudry Marc (1)
  • Becker Jean-Marie (1)
  • Bekrar Abdelghani (1)
  • Beldiceanu Nicolas (1)
  • Ben Ameur Walid (1)
  • Bensalem Saddek (1)
  • Bensrhair Abdelaziz (1)
  • Benzaken Véronique (1)
  • Berkani Karim (1)
  • Bernard Catherine (1)
  • Berruet Pascal (1)
  • Berthier-Foglar Susanne (1)
  • Bertin Jean-Claude (1)
  • Besseyre des Horts Charles-Henri (1)
  • Bessière Pierre (1)
  • Bhargavan Karthikeyan (1)
  • Bidaud Philippe (1)
  • Biennier Frédérique (1)
  • Bilbiie Florin Ovidiu (1)
  • Billaud Jean-Paul (1)
  • Billionnet Alain (1)
  • Bodeveix Jean-Paul (1)
  • Boitet Christian (1)
  • Boldo Sylvie (1)
  • Bonafous-Murat Carle (1)
  • Bonnifait Philippe (1)
  • Boochs Frank (1)
  • Borbely Andras (1)
  • Bosak Alexei (1)
  • Bostel Nathalie (1)
  • Boucelma Omar (1)
  • Bouhaouala Malek (1)
  • Bouillier Véronique (1)
  • Bouju Emmanuel (1)
  • Bourgeois Julien (1)
  • Bourgougnon Nathalie (1)
  • Bourillot Eric (1)
  • Bourouina Tarik (1)
  • Bouzeghoub Amel (1)
  • Boyer Frédéric (1)
  • Boyer des Roches Jérôme de (1)
  • Bozarslan Hamit (1)
  • Bras Julien (1)
  • Brechet Thierry (1)
  • Brémond François (1)
  • Brisset Stéphane (1)
  • Brochet Pascal (1)
  • Broquet Thomas (1)
  • Bruckert Franz (1)
  • Bruguière Jean-Michel (1)
  • Bruillard Éric (1)
  • Burel Guillaume (1)
  • Busnel Yann (1)
  • CHAZARAIN J. (1)
  • Cachera David (1)
  • Caferra Ricardo (1)
  • Cailliès Stéphanie (1)
  • Calabretto Sylvie (1)
  • Calvary Gaëlle (1)
  • Camargo-Pardo Mauricio (1)
  • Cances Jean-Pierre (1)
  • Cani-Gascuel Marie-Paule (1)
  • Cardey-Greenfield Sylviane (1)
  • Casida Mark Earl (1)
  • Castanier Bruno (1)
  • Castelluccia Claude (1)
  • Castets-Renard Céline (1)
  • Catren Gabriel (1)
  • Cautis Bogdan (1)
  • Chabaud Didier (1)
  • Chabaux François (1)
  • Chahed Tijani (1)
  • Challal Yacine (1)
  • Chanal Valérie (1)
  • Chanussot Jocelyn (1)
  • Chapurlat Vincent (1)
  • Charbonnier Florence (1)
  • Charpillet François (1)
  • Charron-Bost Bernadette (1)
  • Checchin Paul (1)
  • Chen David (1)
  • Chevaleyre Yann (1)
  • Chevallier Sylvain (1)
  • Cheverry Christophe (1)
  • Chevy Frédéric (1)
  • Chiquet Christophe (1)
  • Cholez Céline (1)
  • Cinquin Philippe (1)
  • Claramunt Christophe (1)
  • Clavaguera Sarrio Carine (1)
  • Clofent-Sanchez Gisèle (1)
  • Clouet Johann (1)
  • Clémençon Stéphan (1)
  • Cohen Laurent David (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (214)
  • Sciences de l'ingénieur (93)
  • Mathématiques (29)
  • Physique (29)
  • Sciences de la vie, biologie, biochimie (25)
  • Economie (23)
  • Médecine et santé (21)
  • Droit (19)
  • Gestion et organisation de l'entreprise (18)
  • Chimie, minéralogie, cristallographie (15)
  • Informatique, information, généralités (11)
  • Science politique (11)
  • Sciences sociales, sociologie, anthropologie (10)
  • Littératures anglaise et anglo-saxonne (10)
  • Sciences de la terre (8)
  • Langue anglaise. Anglo-saxon (7)
  • Ethnologie (5)
  • Langues et linguistique (5)
  • Technologie (Sciences appliquées) (5)
  • Arts du spectacle, loisirs (5)
  • Histoire et critique littéraires, rhétorique (5)
  • Education et enseignement (4)
  • Littérature américaine en anglais (4)
  • Psychologie (3)
  • Linguistique générale (3)
  • Bâtiments (3)
  • Sport (3)
  • Géographie et histoire (3)
  • Histoire générale de l'Amérique du Nord (3)
  • Philosophie, psychologie (2)
  • Epistémologie, causalité, genre humain (2)
  • Architecture (2)
  • Littérature de langues romanes. Littérature française (2)
  • Histoire générale de l'Asie, Orient, Extrême-Orient (2)
  • Bibliothéconomie et sciences de l'information (1)
  • Philosophie occidentale moderne et philosophies non orientales (1)
  • Théologie chrétienne et société, ecclésiologie (1)
  • Statistiques générales (1)
  • Problèmes et services sociaux (1)
  • Autres langues (1)
  • Sciences de la nature et mathématiques (1)
  • Astronomie, cartographie, géodésie (1)
  • Agronomie, agriculture et médecine vétérinaire (1)
  • Génie chimique, technologies alimentaires (1)
  • Fabrication industrielle (1)
  • Arts. Beaux-arts et arts décoratifs (1)
  • Urbanisme (1)
  • Photographie et les photographies, art numérique (1)
  • Musique (1)
  • Littératures des autres langues (1)
  • Géographie et voyages (1)
  • Histoire ancienne et préhistoire (1)
  • Histoire générale de la France (1)
  • Histoire générale de l'Afrique (1)
  • Histoire générale de l'Amérique du Sud (1)

Domaines :

Fullscreen

564 thèses pour Proof assistant

Utiliser des prouveurs externes dans un assistant à la preuve.

par Yacine El Haddad sous la direction de Frédéric 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

...modeled in a proof assistant like Coq and provedcorrect. The result is a veri ed implementation of a...

Accéder en ligne

...Lu models Pastry in TLA+, and uses the accompanying TLC model checkerand the TLAPS proof assistant...

Accéder en ligne

Résultats 1 à 10