Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Université Paris-Saclay (ComUE) (480)
  • Université Grenoble Alpes (ComUE) (259)
  • Lyon (203)
  • Paris Sciences et Lettres (173)
  • Sorbonne Paris Cité (172)
  • Grenoble (169)
  • Rennes 1 (110)
  • Bordeaux (104)
  • Paris 6 (102)
  • Toulouse 3 (92)
  • Université de Lorraine (84)
  • Paris Est (83)
  • Université Côte d'Azur (ComUE) (82)
  • Paris 1 (79)
  • Aix-Marseille (78)
  • Montpellier (68)
  • Sorbonne université (59)
  • Cachan, Ecole normale supérieure (54)
  • Paris 11 (48)
  • Paris, CNAM (42)
  • Toulouse 1 (40)
  • Paris 10 (33)
  • Ecole centrale de Lille (32)
  • Pau (32)
  • Normandie (31)
  • Dijon (30)
  • Toulouse, INPT (30)
  • Nice (29)
  • Bourgogne Franche-Comté (27)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (27)
  • Clermont Auvergne (26)
  • Paris 3 (25)
  • Toulouse, ISAE (25)
  • Orléans (24)
  • Institut polytechnique de Paris (21)
  • Lorient (21)
  • Nantes (21)
  • Paris, EHESS (20)
  • Toulouse, INSA (20)
  • Brest (19)
  • Limoges (18)
  • Lyon 1 (18)
  • Paris, ENSAM (18)
  • Paris, ENST (18)
  • Bordeaux 1 (17)
  • Paris, Ecole normale supérieure (17)
  • Besançon (16)
  • CentraleSupélec (16)
  • Evry, Institut national des télécommunications (16)
  • Paris, Institut d'études politiques (16)
  • université Paris-Saclay (16)
  • Strasbourg (15)
  • Tours (15)
  • Compiègne (14)
  • Paris 5 (14)
  • Cergy-Pontoise (13)
  • Rennes, INSA (13)
  • Università degli studi La Sapienza (Rome) (13)
  • Université libanaise (12)
  • Angers (11)
  • Valenciennes (11)
  • Clermont-Ferrand 2 (10)
  • Mulhouse (10)
  • Paris 4 (10)
  • Belfort-Montbéliard (9)
  • Bordeaux 3 (9)
  • Paris 7 (9)
  • Poitiers (9)
  • Toulouse 2 (9)
  • Avignon (8)
  • La Réunion (8)
  • Lille 2 (8)
  • Lille 3 (8)
  • Nancy 1 (8)
  • Troyes (8)
  • Universidade de São Paulo (Brésil) (8)
  • Amiens (7)
  • La Rochelle (7)
  • Lille 1 (7)
  • Lyon, INSA (7)
  • Palaiseau, Ecole polytechnique (7)
  • Paris 9 (7)
  • Perpignan (7)
  • Rennes 2 (7)
  • Toulon (7)
  • Universiteit Leiden (Leyde, Pays-Bas) (7)
  • Artois (6)
  • Ecole centrale de Marseille (6)
  • Ecole centrale de Nantes (6)
  • Montpellier 3 (6)
  • Reims (6)
  • Rennes, École normale supérieure (6)
  • Technische Universität (Munich, Allemagne) (6)
  • Université Grenoble Alpes (6)
  • Université catholique de Louvain (1970-....) (6)
  • Evry-Val d'Essonne (5)
  • Jouy-en Josas, HEC (5)
  • Lyon, École normale supérieure (5)
  • Montpellier 2 (5)
  • Montpellier, SupAgro (5)
  • Paris, ENMP (5)
  • Saint-Etienne (5)
  • Universidad de la República (Montevideo) (5)
  • Università degli studi (Bologne, Italie) (5)
  • Université de Sherbrooke (Québec, Canada) (5)
  • Université du Luxembourg (5)
  • Bordeaux 2 (4)
  • Brest, École nationale supérieure de techniques avancées Bretagne (4)
  • Châtenay-Malabry, Ecole centrale de Paris (4)
  • Grenoble 1 (4)
  • Le Mans (4)
  • Littoral (4)
  • Paris 2 (4)
  • Paris 8 (4)
  • Paris, Muséum national d'histoire naturelle (4)
  • Università degli studi (Pise, Italie) (4)
  • Université de Liège (4)
  • Université de Yaoundé I (4)
  • Université normale de la Chine de l'Est (Shanghai) (4)
  • Bordeaux 4 (3)
  • Cergy-Pontoise, Ecole supérieure des sciences économiques et commerciales (3)
  • Grenoble INPG (3)
  • Lyon, École normale supérieure (sciences) (3)
  • Northwestern Polytechnical University (Chine) (3)
  • Rennes, Agrocampus Ouest (3)
  • Supélec (3)
  • Technische Universität (Darmstadt, Allemagne) (3)
  • Universidad de Chile (3)
  • Universidad de Zaragoza (Espagne) (3)
  • Universidad del País Vasco. Facultad de ciencias (3)
  • Universidade federal do Rio Grande do Norte (Natal, Brésil) (3)
  • Universitatea politehnica (Bucarest) (3)
  • Universiteit van Amsterdam (3)
  • University of Western Sydney (3)
  • Università Ca' Foscari (Venise, Italie) (3)
  • Università degli studi (Florence, Italie) (3)
  • Università degli studi (Gênes, Italie) (3)
  • Università degli studi (Milan, Italie) (3)
  • Université de Montréal (3)
  • Université de Sfax (Tunisie). Faculté des Sciences économiques et de gestion (3)
  • Université du Québec à Montréal (3)
  • Université libre de Bruxelles (1970-....) (3)
  • Antilles (2)
  • Colorado state university (2)
  • Coventry University (2)
  • East China normal university (Shanghai) (2)
  • Ecole nationale des Mines d'Albi-Carmaux (2)
  • Ecully, Ecole centrale de Lyon (2)
  • Grenoble Alpes (2)
  • IMT Mines Alès (2)
  • Institute for Physical Research (Ashtarak) (2)
  • Katholieke universiteit te Leuven (1970-....) (2)
  • Le Havre (2)
  • Nancy 2 (2)
  • Nanyang Technological University (2)
  • Norwegian university of science and technology (Trondheim, Norvège) (2)
  • Paris 13 (2)
  • Paris, EPHE (2)
  • Rouen, INSA (2)
  • Technische Universität Kaiserslautern (Allemagne) (2)
  • Télécom Bretagne (2)
  • Universidad autonóma de Madrid (2)
  • Universidad del País Vasco (2)
  • Universidad nacional de Colombia (2)
  • Universidad técnica Federico Santa María (Valparaiso, Chili) (2)
  • Universitat autònoma de Barcelona (2)
  • Universitat politécnica de Catalunya (2)
  • University of Kent at Canterbury (2)
  • University of Waterloo (Canada) (2)
  • University of science and technology of China (2)
  • Università degli studi (Bologne, Italie). Dipartimento di matematica (2)
  • Università degli studi (Bologne, Italie). Facoltà di Ingegneria (2)
  • Università degli studi (Padoue, Italie) (2)
  • Università degli studi di Roma "Tor Vergata" (1972-....) (2)
  • Universität Bielefeld (2)
  • Universität des Saarlandes (2)
  • Université de Fribourg (Suisse) (2)
  • Université de Fudan (Shanghai, Chine) (2)
  • Université de Mons (2)
  • Université de Tunis (2)
  • Université de Tunis El Manar (2)
  • Université de Tunis. Faculté des sciences de Tunis (2)
  • Université de Wuhan (Chine) (2)
  • Univerzitet u Novom Sadu (2)
  • Versailles-St Quentin en Yvelines (2)
  • École Nationale des Sciences de l'Informatique (La Manouba, Tunisie) (2)
  • École nationale d'ingénieurs de Tunis (Tunisie) (2)
  • 11067281X (1)
  • 122 - ACADEMIE POLONAISE DES SCIENCES (1)
  • Academia de Muzică Gheorghe Dima (Cluj-Napoca) (1)
  • Academy of mathematics and systems science (Pékin) (1)
  • Aix-Marseille 3 (1)
  • Australian national university (1)
  • BEN GURION UNIVERSITY OF NEGEV (1)
  • Birkbeck college (Londres) (1)
  • Boǧaziçi üniversitesi (Istanbul) (1)
  • Brno University of Technology (MAIS) (1)
  • Centre international de recherche sur le cancer (1)
  • Centro de Investigación y de Estudios Avanzados del Instituto Politécnico Nacional (Mexico) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (1059)
  • Mathématiques (233)
  • Sciences économiques (142)
  • Mathématiques appliquées (141)
  • Physique (138)
  • Sciences de gestion (76)
  • Mathématiques fondamentales (49)
  • Automatique (39)
  • Chimie (38)
  • Mathématiques et Informatique (31)
  • Mathématiques et informatique (23)
  • Physique théorique (23)
  • Études anglophones (23)
  • Neurosciences (22)
  • Mathématiques Appliquées (21)
  • Philosophie (20)
  • Sciences de la vie et de la santé (20)
  • Mathématiques et leurs interactions (18)
  • Droit (17)
  • Mathematiques (17)
  • Robotique (17)
  • Réseaux, information et communications (15)
  • Informatique et applications (14)
  • Informatique et réseaux (14)
  • Mathématiques appliquées et calcul scientifique (14)
  • Sciences (13)
  • Sociologie (13)
  • Automatique - productique (12)
  • Biologie (12)
  • Mécanique (12)
  • Automatique, Traitement du signal et des images, Génie informatique (11)
  • Science politique (11)
  • Sciences et technologies industrielles (11)
  • Génie électrique (10)
  • Mathématiques et applications (10)
  • Psychologie (10)
  • Sciences de Gestion (10)
  • Sciences de l'information et de la communication (10)
  • Sciences du langage (10)
  • Sciences et technologie industrielles (10)
  • Traitement du signal et des images (10)
  • Astronomie et Astrophysique (9)
  • Automatique, génie informatique, traitement du signal et des images (9)
  • Bioinformatique (9)
  • Intelligence artificielle (9)
  • Sciences economiques (9)
  • Sureté de logiciel et calcul de haute performance (9)
  • Chimie organique (8)
  • Droit public (8)
  • Etudes anglophones (8)
  • Géographie (8)
  • Informatique (STIC) (8)
  • Matériaux, Mécanique, Génie civil, Electrochimie (8)
  • Nanoélectronique et nanotechnologie (8)
  • Physique de la matière condensée et du rayonnement (8)
  • Sciences de l'univers (8)
  • Stic (8)
  • Analyse et politique économiques (7)
  • Automatique et productique (7)
  • Histoire (7)
  • Langues et littératures anglaises et anglo-saxonnes (7)
  • Mathématiques et modélisation (7)
  • Mécanique des solides (7)
  • Sciences cognitives (7)
  • Signal, Image, Automatique (7)
  • Anglais (6)
  • Automatique, traitement du signal et des images (6)
  • Génie industriel (6)
  • Génie mécanique (6)
  • Informatique. Informatique fondamentale (6)
  • Mathematiques pures (6)
  • Mathématiques. Mathématiques appliquées (6)
  • Sciences de l'éducation (6)
  • Traitement du signal et télécommunications (6)
  • Automatique, génie informatique, traitement du signal et images (5)
  • Biostatistiques (5)
  • Chimie des matériaux (5)
  • Droit privé (5)
  • Economie (5)
  • Economie et finance (5)
  • Génie Industriel : conception et production (5)
  • Géosciences (5)
  • Informatique et Télécommunications (5)
  • Langues et littératures étrangères (5)
  • Littérature générale et comparée (5)
  • Mathématiques Pures (5)
  • Mathématiques. Logique et fondements de l'informatique (5)
  • Nanophysique (5)
  • Sciences Economiques (5)
  • Télécommunications (STIC) (5)
  • Acoustique (4)
  • Anthropologie sociale et ethnologie (4)
  • Aspects moléculaires et cellulaires de la biologie (4)
  • Automatique, génie informatique, traitement du signal et image (4)
  • Chimie Physique (4)
  • Conception (4)
  • Droit privé et sciences criminelles (4)
  • Electronique et communications (4)
  • Energie, Rayonnement, Plasma (4)
  • Interdisciplinaire (4)
  • Linguistique anglaise (4)
  • Mathématiques aux interfaces (4)
  • Mathématiques pures (4)
  • Mathématiques. Géométrie et dynamique (4)
  • Mécanique des fluides (4)
  • Nano electronique et nano technologies (4)
  • Neurosciences cognitives (4)
  • Optimisation et Sûreté des Systèmes (4)
  • Pathologie humaine. Maladies infectieuses (4)
  • Physique Théorique et Mathématique (4)
  • Physique des matériaux (4)
  • Physique des plasmas (4)
  • Réseaux, télécom, système et architecture (4)
  • Sciences agronomiques (4)
  • Signal, Image, Vision (4)
  • Signal, image, paroles, télécoms (4)
  • Structure et réactions nucléaires (4)
  • Sûreté de logiciel et calcul de haute performance (4)
  • Économie (4)
  • Électronique Électrotechnique Automatique (4)
  • Automatique et traitement du signal et des images (3)
  • Automatique, Génie informatique, Traitement du Signal et des Images (3)
  • Automatique, génie informatique, traitement du signal et image (3)
  • Biologie Santé (3)
  • Chimie organométallique de coordination (3)
  • Chimie physique (3)
  • Chimie physique moléculaire et structurale (3)
  • Economie, gestion, sciences sociales (3)
  • Electronique (3)
  • Epidémiologie (3)
  • Génie Electrique (3)
  • Génie Industriel (3)
  • Génie civil (3)
  • Génie des systèmes industriels (3)
  • Géographie humaine (3)
  • Immunologie (3)
  • Informatique temps réel, robotique et automatique (3)
  • Informatique, données, IA (3)
  • Informatique, temps réel, robotique et automatique (3)
  • Ingénierie de la Cognition, de l'interaction, de l'Apprentissage et de la création (3)
  • Intelligence Artificielle (3)
  • Littérature américaine (3)
  • Mathématiques-Informatique (3)
  • Matériaux (3)
  • Mécanique des fluides, procédés, énergétique (3)
  • Mécanique-matériaux (3)
  • Optique et photonique (3)
  • Physico-Chimie de la Matière Condensée (3)
  • Physique Théorique (3)
  • Physique de la matière condensée (3)
  • Physique des particules (3)
  • Physique et sciences de la matière (3)
  • Physique hadronique (3)
  • Physique quantique (3)
  • Physique subatomique et astroparticules (3)
  • Polymères (3)
  • Réseaux, Télécommunications, Systèmes et Architecture (3)
  • Sciences de la Terre et de l'Univers et de l'Environnement (3)
  • Sciences de la planète et de l'univers (3)
  • Sciences de la terre et de l'univers, et de l'environnement (3)
  • Sciences politiques (3)
  • Sciences pour l'ingénieur (3)
  • Sciences économiques - EM2C (3)
  • Sciences économiques - EM2PSI (3)
  • Signal image parole telecoms (3)
  • Signal, Image, Acoustique et Optimisation (3)
  • Systèmes informatiques (3)
  • Technologies de l'Information et des Systèmes : Unité de recherche Heudyasic (UMR-7253) (3)
  • Télécommunications (3)
  • Électronique (3)
  • Agrosystèmes, Écosystèmes et Environnement (2)
  • Anthropologie (2)
  • Arts (2)
  • Astronomie et astrophysique (2)
  • Astrophysique (2)
  • Astrophysique, sciences de l'espace, planétologie (2)
  • Automatique (STIC) (2)
  • Automatique et Informatique (2)
  • Automatique et informatique industrielle (2)
  • Automatique, Traitement du Signal et des Images, Génie informatique (2)
  • Automatique, productique et robotique (2)
  • Automatique. Automatique, génie informatique (2)
  • Biochimie (2)
  • Biochimie et biologie moléculaire (2)
  • Biologie cellulaire (2)
  • Biologie des organismes (2)
  • Biologie des populations et écologie (2)
  • Biophysique (2)
  • Biotechnologie, instrumentation, signal et imagerie pour la biologie, la médecine et l'environnement (2)
  • Chimie Moléculaire (2)
  • Chimie et physico-chimie des matériaux (2)
  • Chimie inorganique et bio inorganique (2)
  • Cosmologie (2)
  • Droit international public (2)
  • Droit privé et Sciences Criminelles (2)
  • Dynamique des fluides (2)
  • Développement Durable (2)
  • Ecologie de la santé (2)
  • Electronique (STIC) (2)
  • Electronique des hautes fréquences, photonique et systèmes (2)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (231)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (182)
  • École doctorale Sciences mathématiques de Paris centre (Paris) (147)
  • École doctorale de mathématiques Hadamard (Orsay, Essonne ; 2015-....) (112)
  • École doctorale en Informatique et Mathématiques de Lyon (106)
  • École doctorale Informatique, télécommunications et électronique de Paris (102)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (98)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (83)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (63)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (60)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (54)
  • École doctorale Physique en Île-de-France (Paris ; 2014-....) (54)
  • École doctorale Sciences pour l'Ingénieur (Lille) (51)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (49)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (49)
  • Ecole doctorale de Dauphine (Paris) (47)
  • École doctorale physique (Grenoble) (45)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (44)
  • École doctorale d'Économie (Paris) (44)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (43)
  • École doctorale Sciences fondamentales et appliquées (Nice) (40)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (39)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (37)
  • École doctorale Physique en Île-de-France (Paris) (36)
  • École doctorale INTERFACES : approches interdisciplinaires, fondements, applications et innovation (Palaiseau, Essonne ; 2015-....) (33)
  • I2S - Information, Structures, Systèmes (32)
  • École doctorale Sciences de l'Homme et de la Société (Sceaux, Hauts-de-Seine ; 2015-....) (32)
  • École doctorale Ingénierie - matériaux mécanique énergétique environnement procédés production (Grenoble) (31)
  • École doctorale Systèmes (Toulouse) (31)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (29)
  • MATHSTIC (26)
  • École doctorale Cerveau, cognition, comportement (Paris) (24)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (24)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (24)
  • École doctorale sciences exactes et leurs applications (Pau, Pyrénées Atlantiques) (24)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (23)
  • École doctorale Économie, organisations, société (Nanterre) (23)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (22)
  • Ecole doctorale Informatique de Paris-Sud (20)
  • École doctorale Sciences Ingénierie Santé (Saint-Etienne) (20)
  • École doctorale chimie et science du vivant (Grenoble) (19)
  • École doctorale Études anglophones, germanophones, et européennes (2009-2019 ; Paris) (19)
  • École doctorale de l'Institut polytechnique de Paris (18)
  • Ecole Doctorale Physique et Sciences de la Matière (Marseille) (17)
  • École doctorale Frontières de l'innovation en recherche et éducation (Paris) (17)
  • École doctorale de l'École des hautes études en sciences sociales (17)
  • École doctorale terre, univers, environnement (Grenoble) (17)
  • Biodiversité, Agriculture, Alimentation, Environnement, Terre, Eau (Montpellier ; École Doctorale ; 2015-...) (16)
  • Toulouse School of Economics (16)
  • École doctorale Carnot-Pasteur (Besançon ; Dijon ; 2012-....) (16)
  • École doctorale de Sciences Po (Paris) (16)
  • Ecole Doctorale Sciences de la Vie et de la Santé (Marseille) (15)
  • École doctorale de Physique et Astrophysique de Lyon (15)
  • École doctorale mathématiques, information et ingénierie des systèmes (Caen) (15)
  • École Doctorale Sciences de la Matière (Toulouse) (14)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (14)
  • École Doctorale de Biologie Moléculaire Intégrative et Cellulaire (Lyon) (13)
  • École doctorale 71, Sciences pour l'ingénieur (Compiègne) (13)
  • École doctorale Astronomie et astrophysique d'Île-de-France (Meudon, Hauts-de-Seine ; 1992-....) (13)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018) (13)
  • Ecole doctorale Sciences et Technologies de l'Information, des Télécommunications et des Systèmes (Orsay, Essonne ; 2000-2015) (12)
  • École doctorale des sciences chimiques (Talence, Gironde) (12)
  • École doctorale Agriculture, Alimentation, Biologie, Environnement, Santé (Paris ; 2015-....) (11)
  • École doctorale Ondes et Matière (Orsay, Essonne ; 2015-....) (11)
  • École doctorale Particules, Hadrons, Énergie et Noyau : Instrumentation, Imagerie, Cosmos et Simulation (Orsay, Essonne ; 2015-....) (11)
  • Ecole doctorale Économie, Management, Mathématiques , Physique et Sciences Informatiques (EM2PSI) (Cergy-Pontoise, Val d'Oise) (10)
  • École Doctorale Evolution Ecosystèmes Microbiologie Modélisation (10)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2010-2015) (10)
  • École doctorale Pierre Louis de santé publique : épidémiologie et sciences de l'information biomédicale (Paris) (10)
  • École doctorale Sociétés, politique, santé publique (Bordeaux) (10)
  • École doctorale ingénierie pour la santé, la cognition, l'environnement (Grenoble) (10)
  • Ecole Doctorale Mecanique, Energetique, Genie Civil, Acoustique (MEGA) (Villeurbanne) (9)
  • Ecole Doctorale Sciences pour l'Ingénieur : Mécanique, Physique, Micro et Nanoélectronique (Marseille) (9)
  • École Doctorale Interdisciplinaire Sciences-Santé. (Villeurbanne) (9)
  • École doctorale Abbé Grégoire (Paris) (9)
  • École doctorale Montaigne-Humanités (Pessac, Gironde) (9)
  • École doctorale de droit de la Sorbonne (Paris ; 2015-....) (9)
  • École doctorale langues, littératures et sciences humaines (Grenoble) (9)
  • Ecole doctorale Sciences pour l'Ingénieur (Troyes, Aube) (8)
  • École doctorale Droit et sciences politiques, économiques et de gestion (Nice) (8)
  • École doctorale Entreprise, économie, société (Pessac, Gironde) (8)
  • École doctorale Environnements, Santé (Dijon ; Besançon ; 2012-....) (8)
  • École doctorale Philosophie (Paris) (8)
  • École doctorale Sciences chimiques : molécules, matériaux, instrumentation et biosystèmes (Orsay, Essonne ; 2015-....) (8)
  • École doctorale Sciences et Ingénierie des Systèmes, Mathématiques, Informatique (Limoges) (8)
  • École doctorale Sciences mécaniques, acoustique, électronique et robotique de Paris (8)
  • École doctorale Sciences économiques et gestion (Lyon) (8)
  • École doctorale Sciences, Ingénierie et Environnement (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (8)
  • École doctorale Structure et Dynamique des Systèmes Vivants (Gif-sur-Yvette, Essonne ; 2015-....) (8)
  • École doctorale de l'École pratique des hautes études (Paris) (8)
  • École doctorale pluridisciplinaire Jean-Henri Lambert, ED 494 (Mulhouse) (8)
  • École doctorale sciences de gestion (Grenoble) (8)
  • École doctorale Érasme (Villetaneuse, Seine-Saint-Denis) (8)
  • Ecole Doctorale Sciences Economiques et de Gestion d'Aix-Marseille (Aix-en-Provence) (7)
  • Information, Structures, Systèmes (Montpellier ; École Doctorale ; 2009-2014) (7)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (7)
  • École Doctorale de Chimie (Lyon) (7)
  • École doctorale E2S Environnements, Santé, STIC (Dijon ; ....-2012) (7)
  • École doctorale Lettres, langues, linguistique, arts (Lyon) (7)
  • École doctorale Littérature française et comparée (Paris) (7)
  • École doctorale Sciences Mécaniques et Energétiques, Matériaux et Géosciences (Cachan, Val-de-Marne ; 2015-....) (7)
  • École doctorale Sciences de l'homme et de la société (Villeneuve d'Ascq, Nord) (7)
  • École doctorale Sciences et Ingénierie (Evry ; 2008-2015) (7)
  • École doctorale Sciences écologiques, vétérinaires, agronomiques et bioingénieries (Toulouse) (7)
  • École doctorale de Management Panthéon-Sorbonne (Paris) (7)
  • École doctorale sciences sociales et humanités (Pau, Pyrénées Atlantiques) (7)
  • École Doctorale Neurosciences et Cognition (NSCo) (6)
  • École doctorale Arts, Lettres, Langues (Rennes) (6)
  • École doctorale Connaissance, langage et modélisation (Nanterre) (6)
  • École doctorale Droit et Science Politique (Toulouse) (6)
  • École doctorale Economie Gestion de Montpellier (2015-.... ; Montpellier) (6)
  • École doctorale Géosciences, ressources naturelles et environnement (Paris) (6)
  • École doctorale Langage et langues (Paris) (6)
  • École doctorale Matière, Molécules et Matériaux (Le Mans) (6)
  • École doctorale Physique et chimie des matériaux (Paris) (6)
  • École doctorale Physique et chimie-physique (Strasbourg ; 1994-....) (6)
  • École doctorale sciences et ingénierie des systèmes, de l'environnement et des organisations (Chambéry) (6)
  • École doctorale Électronique, électrotechnique, automatique (Lyon) (6)
  • Biologie-Santé (5)
  • Ecole Doctorale Sciences Juridiques et Politiques (Aix-en-Provence) (5)
  • Ed Sis 488 (5)
  • MATISSE (5)
  • MSTIC : Mathématiques et Sciences et Technologies de l'Information et de la Communication (5)
  • SESAMES - Ecole Doctorale Lorraine de Chimie et Physique Moléculaires (5)
  • Toulouse School of Economics (Toulouse) (5)
  • École Doctorale Droit et Science Politique (Nanterre) (5)
  • École doctorale Arts, Lettres, Langues, Philosophie, Communication (Toulouse) (5)
  • École doctorale Carnot (Dijon ; .....-2012) (5)
  • École doctorale Chimie physique et chimie analytique de Paris Centre (Paris) (5)
  • École doctorale Concepts et langages (Paris) (5)
  • École doctorale Innovation thérapeutique : du fondamental à l'appliqué (Châtenay-Malabry, Hauts-de-Seine ; 2015-....) (5)
  • École doctorale Mathématiques, sciences de l'information et de l'ingénieur (Strasbourg ; 1997-....) (5)
  • École doctorale Mer et Sciences. ED 548 (Toulon) (5)
  • École doctorale Milieux, cultures et sociétés du passé et du présent (Nanterre) (5)
  • École doctorale Mécanique, énergétique, génie civil et procédés (Toulouse) (5)
  • École doctorale SLTC - Sociétés, Langages, Temps, Connaissances (Lorraine) (5)
  • École doctorale Sciences de l'Homme et de la société (Sceaux, Hauts-de-Seine ; 2015-2020) (5)
  • École doctorale Sciences de l'éducation, psychologie, information et communication (Lyon) (5)
  • École doctorale Sciences de la nature et de l'Homme - Évolution et écologie (Paris) (5)
  • École doctorale Sciences de l’univers, de l’environnement et de l’espace (Toulouse) (5)
  • École doctorale Sciences et technologies de l'information et de la communication (5)
  • École doctorale Sciences, Technologies et Santé (Saint-Denis, La Réunion) (5)
  • École doctorale Sciences, technologie et santé (Amiens) (5)
  • École doctorale de droit (Pessac, Gironde) (5)
  • École doctorale des Sciences Juridiques, Politiques et de Gestion (Lille) (5)
  • École doctorale des sciences fondamentales (Clermont-Ferrand) (5)
  • École doctorale des sciences physiques et de l’ingénieur (Talence, Gironde) (5)
  • École doctorale sciences économiques (Grenoble) (5)
  • EMMA - Ecole Doctorale Energie - Mécanique - Matériaux (4)
  • Ecole doctorale Langages, Espaces, Temps, Sociétés (Besançon ; 1991-2016) (4)
  • Ecole doctorale Mathématiques de la région Paris-Sud (1992-2015 ; Orsay) (4)
  • RP2E - Ecole Doctorale Sciences et Ingénierie des Ressources, Procédés, Produits, Environnement (4)
  • Sciences Chimiques Balard (4)
  • Sociétés, Politique, Santé Publique (4)
  • École Doctorale Systèmes (Toulouse) (4)
  • École doctorale 536 « Sciences et agrosciences » (Avignon) (4)
  • École doctorale Arts et médias (Paris) (4)
  • École doctorale Aéronautique-Astronautique (Toulouse) (4)
  • École doctorale Bio Sorbonne Paris Cité (Paris) (4)
  • École doctorale Chimie moléculaire de Paris Centre (Paris) (4)
  • École doctorale Cognition, comportements, conduites humaines (Boulogne-Billancourt, Hauts-de-Seine) (4)
  • École doctorale Complexité du vivant (Paris) (4)
  • École doctorale Electrical, optical, bio-physics and engineering (Orsay, Essonne ; 2015-....) (4)
  • École doctorale Langues, littératures et sociétés du monde (Paris) (4)
  • École doctorale Lettres, langues, spectacles (Nanterre) (4)
  • École doctorale Santé Publique (Le Kremlin-Bicêtre, Val-de-Marne ; 2015-...) (4)
  • École doctorale Sciences de la mer (Plouzané, Finistère) (4)
  • École doctorale Sciences de la terre et de l'environnement et physique de l'univers (Paris) (4)
  • École doctorale Sciences de la vie et de la santé (Bordeaux) (4)
  • École doctorale Sciences du Management Gestion-Organisation-Décision-Information (Paris) (4)
  • École doctorale Sciences du mouvement humain (Marseille) (4)
  • École doctorale Sciences mécaniques et énergétiques, matériaux et géosciences (Gif-sur-Yvette, Essonne ; 2015-....) (4)
  • École doctorale Sciences physiques mathématiques et de l'Information pour l'ingénieur (Saint-Etienne-du-Rouvray, Seine-Maritime ; ....-2016) (4)
  • École doctorale Sciences pour l'Ingénieur (Châtenay-Malabry, Hauts de Seine) (4)
  • École doctorale Sociétés, humanités, arts et lettres (Nice ; 2016-....) (4)
  • École doctorale de Physique et d’Astrophysique (Lyon) (4)
  • École doctorale des sciences de l'environnement d'Île-de-France (Paris ; 1991-....) (4)
  • École doctorale des sciences économiques, juridiques, politiques et de gestion (Clermont-Ferrand) (4)
  • École doctorale histoire, mémoire, patrimoine, langage (Mont- Saint- Aignan, Seine-Maritime) (4)
  • École doctorale Énergie environnement (Perpignan) (4)
  • Ecole Doctorale Sciences Chimiques (Marseille) (3)
  • Ecole doctorale Economies, Espaces, Sociétés, Civilisations : pensée critique, politique et pratiques sociales (Paris) (3)
  • Ecole doctorale Physique de la Région Parisienne (....-2013) (3)
  • Ecole doctorale Sciences et technologies (Orléans) (3)
  • Ecole doctorale Sciences pour l'ingénieur (Clermont-Ferrand) (3)
  • Ecole doctorale Sciences, technologies, santé (Reims, Marne) (3)
  • Ecole doctorale Économie, Management, Mathématiques , Physique et Sciences Informatiques (Cergy-Pontoise, Val d'Oise) (3)
  • Mathématiques Informatique Télécommunications de Toulouse (3)
  • Sciences Chimiques et Biologiques pour la Santé (3)
  • Sciences pour l'ingénieur (SPI) (3)
  • Systèmes (3)
  • École Doctorale Sciences de Gestion TSM (Toulouse) (3)
  • École Doctorale d'Informatique et Mathématiques (Lyon) (3)
  • École d'économie de la Sorbonne (Paris) (3)
  • École doctorale Biologie-Santé (Lille) (3)
  • École doctorale 537 « Culture et patrimoine » (Avignon) (3)
  • École doctorale BioSE - Biologie, Santé, Environnement (3)
  • École doctorale Cancérologie, Biologie, Médecine, Santé (Villejuif, Val-de-Marne ; 2015-....) (3)
  • École doctorale Comportement, Langage, Éducation, Socialisation, Cognition (Toulouse) (3)
  • École doctorale Droit international et européen (Paris) (3)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • anglais (2796)
  • français (1141)
  • espagnol (5)
  • null (4)
  • portugais (3)
  • italien (2)
  • arabe (1)
  • basque (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Bensalem Saddek (14)
  • Pointcheval David (14)
  • Morel Jean-Michel (11)
  • Bertot Yves (9)
  • Naccache David (9)
  • Abdalla Michel (8)
  • Barkaoui Kamel (8)
  • Dubois Catherine (8)
  • Lafourcade Pascal (8)
  • Maler Oded (8)
  • Bozga Dorel Marius (7)
  • Fouque Pierre-Alain (7)
  • Gaussier Éric (7)
  • Lakhnech Yassine (7)
  • Barthe Gilles (6)
  • Blazy Sandrine (6)
  • Chbeir Richard (6)
  • Gaaloul Walid (6)
  • Goubault-Larrecq Jean (6)
  • Jensen Thomas (6)
  • Lesage Jean-Jacques (6)
  • Merz Stephan (6)
  • Mosbah Mohamed (6)
  • Oquendo Flavio (6)
  • Sagot Marie-France (6)
  • Segoufin Luc (6)
  • Ayong Le Kama Alain (5)
  • Aït-Ameur Yamine (5)
  • Bach Francis (5)
  • Coudreau Thomas (5)
  • Crespi Noël (5)
  • Dang Thao (5)
  • Delahaye David (5)
  • Genevès Pierre (5)
  • Guerrini Stefano (5)
  • Guilley Sylvain (5)
  • Haddad Serge (5)
  • Lanet Jean-Louis (5)
  • Layaida Nabil (5)
  • Loulergue Frédéric (5)
  • Mammar Amel (5)
  • Milman Pérola (5)
  • Méhaut Jean-François (5)
  • Schoenauer Marc (5)
  • Toguyeni Abdoul Karim Armand (5)
  • Trystram Denis (5)
  • Aussem Alexandre (4)
  • Bajard Jean-Claude (4)
  • Barkatou Moulay Abdelfattah (4)
  • Ben Amor Nahla (4)
  • Bhargavan Karthikeyan (4)
  • Bonnin Jean-Marie (4)
  • Bouzeghoub Amel (4)
  • Brunie Lionel (4)
  • Calvary Gaëlle (4)
  • Calvez Vincent (4)
  • Casida Mark Earl (4)
  • Cavalli Ana (4)
  • Chanussot Jocelyn (4)
  • Clémençon Stéphan (4)
  • Collart-Dutilleul Simon (4)
  • Cortier Véronique (4)
  • Cuppens Frédéric (4)
  • Delaune Stéphanie (4)
  • Demongeot Jacques (4)
  • Donsez Didier (4)
  • Dowek Gilles (4)
  • Euzenat Jérôme (4)
  • Fesquet Laurent (4)
  • Fradet Pascal (4)
  • Fribourg Laurent (4)
  • Gandrillon Olivier (4)
  • Gaubert Stéphane (4)
  • Girault Alain (4)
  • Goubin Louis (4)
  • Gravier Sylvain (4)
  • Groz Roland (4)
  • Haar Stefan (4)
  • Hacid Mohand Saïd (4)
  • Henrion Didier (4)
  • Herbelin Hugo (4)
  • Jard Claude (4)
  • Kheddouci Hamamache (4)
  • Klein Christian (4)
  • Laleau Régine (4)
  • Le Masson Pascal (4)
  • Lefèvre Laurent (4)
  • Liberti Leo (4)
  • Marché Claude (4)
  • Massot Marc (4)
  • Monniaux David (4)
  • Moy Matthieu (4)
  • Muller Jean-Michel (4)
  • Nakagawa Elisa Yumi (4)
  • Paulin-Mohring Christine (4)
  • Pautet Laurent (4)
  • Percebois Christian (4)
  • Rahmani Ahmed (4)
  • Rastello Fabrice (4)
  • Rival Xavier (4)
  • Rivasseau Vincent (4)
  • Sifakis Joseph (4)
  • Stefani Jean-Bernard (4)
  • Stoltz Gabriel (4)
  • Termier Alexandre (4)
  • Teytaud Olivier (4)
  • Tsybakov Alexandre B. (4)
  • Waintal Xavier (4)
  • Wiels Virginie (4)
  • Wolff Burkhart (4)
  • Yannou Bernard (4)
  • Yvon François (4)
  • Zaïdi Fatiha (4)
  • Aguilar Melchor Carlos (3)
  • Alazard Daniel (3)
  • Allassonnière Stéphanie (3)
  • Amer-Yahia Sihem (3)
  • Ammari Habib (3)
  • Badr Youakim (3)
  • Barucq Hélène (3)
  • Belabas Karim (3)
  • Benzaken Véronique (3)
  • Besançon Gildas (3)
  • Besseyre des Horts Charles-Henri (3)
  • Bidan Christophe (3)
  • Blanco Éric (3)
  • Bodeveix Jean-Paul (3)
  • Boldo Sylvie (3)
  • Bon Philippe (3)
  • Bonnans Frédéric (3)
  • Borrione Dominique (3)
  • Bouchard-Denize Bruno (3)
  • Canudas-de-Wit Carlos (3)
  • Castelluccia Claude (3)
  • Chapelle Dominique (3)
  • Chevy Frédéric (3)
  • Chopin Nicolas (3)
  • Ciofini Ilaria (3)
  • Cohen Albert Henri (3)
  • Comon-Lundh Hubert (3)
  • Conchon Emmanuel (3)
  • Congedo Pietro Marco (3)
  • Coricelli Fabrizio (3)
  • Cresson Jacky (3)
  • Cuppens Nora (3)
  • Daumas Marc (3)
  • Delmas Jean-François (3)
  • Demailly Jean-Pierre (3)
  • Desvillettes Laurent (3)
  • El Kamel Abdelkader (3)
  • Elghazel Haytham (3)
  • Eyssidieux Philippe (3)
  • Fermanian Jean-David (3)
  • Filali Mamoun (3)
  • Filliâtre Jean-Christophe (3)
  • Foufou Sebti (3)
  • Fougères Anne-Laure (3)
  • Frappier Marc (3)
  • Gaborit Philippe (3)
  • Garnier Josselin (3)
  • Garoche Pierre-Loïc (3)
  • Gava Frédéric (3)
  • Girard Antoine (3)
  • Goudon Thierry (3)
  • Hellwig Christian (3)
  • Henrio Ludovic (3)
  • Hill David R. C. (3)
  • Horaud Radu (3)
  • Iosif Radu (3)
  • Jaulin Luc (3)
  • Joly Patrick (3)
  • Jullien Bruno (3)
  • Kaci Souhila (3)
  • Kermarrec Anne-Marie (3)
  • Lalanda Philippe (3)
  • Laugier Christian (3)
  • Laurent Olivier (3)
  • Lavenier Dominique (3)
  • Le Doussal Pierre (3)
  • Le Gall Pascale (3)
  • Lemardeley Marie-Christine (3)
  • Leroy Xavier (3)
  • Leurent Fabien (3)
  • Livine Etera R. (3)
  • Lyubashevsky Vadim (3)
  • Lécuyer Anatole (3)
  • Léonard Christian (3)
  • Maag Stéphane (3)
  • Mansard Nicolas (3)
  • Markey Nicolas (3)
  • Maupeu Hervé (3)
  • Maury Bertrand (3)
  • Mazza Damiano (3)
  • Merker Joël (3)
  • Miermont Grégory (3)
  • Minguzzi Anna (3)
  • Mokhtari Mounir (3)
  • Monin Jean-François (3)
  • Montagnat Johan (3)
  • Morin-Allory Katell (3)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (1296)
  • Mathématiques (648)
  • Sciences de l'ingénieur (435)
  • Physique (316)
  • Economie (205)
  • Sciences de la vie, biologie, biochimie (166)
  • Médecine et santé (124)
  • Chimie, minéralogie, cristallographie (109)
  • Gestion et organisation de l'entreprise (99)
  • Informatique, information, généralités (66)
  • Droit (51)
  • Sciences de la terre (44)
  • Sciences sociales, sociologie, anthropologie (42)
  • Littératures anglaise et anglo-saxonne (37)
  • Astronomie, cartographie, géodésie (29)
  • Langues et linguistique (28)
  • Psychologie (24)
  • Philosophie, psychologie (23)
  • Technologie (Sciences appliquées) (21)
  • Science politique (20)
  • Education et enseignement (19)
  • Langue anglaise. Anglo-saxon (17)
  • Histoire et critique littéraires, rhétorique (16)
  • Statistiques générales (14)
  • Agronomie, agriculture et médecine vétérinaire (14)
  • Géographie et histoire (14)
  • Géographie et voyages (13)
  • Littérature américaine en anglais (12)
  • Epistémologie, causalité, genre humain (10)
  • Linguistique générale (10)
  • Arts du spectacle, loisirs (10)
  • Commerce, communications, transports (8)
  • Sciences de la nature et mathématiques (8)
  • Histoire générale de l'Amérique du Nord (8)
  • Bibliothéconomie et sciences de l'information (7)
  • Sport (7)
  • Animaux. Zoologie (6)
  • Arts. Beaux-arts et arts décoratifs (6)
  • Musique (6)
  • Ethnologie (5)
  • Autres langues (5)
  • Fabrication industrielle (5)
  • Littérature de langues romanes. Littérature française (5)
  • Histoire moderne et contemporaine de l'Europe (4)
  • Philosophie occidentale moderne et philosophies non orientales (3)
  • Problèmes et services sociaux (3)
  • Génie chimique, technologies alimentaires (3)
  • Bâtiments (3)
  • Urbanisme (3)
  • Littératures espagnole et portugaise (3)
  • Histoire générale de l'Afrique (3)
  • Administration publique. Arts et science militaires (2)
  • Langues romanes. Français (2)
  • Langues helléniques. Grec classique (2)
  • Paléontologie. Paléozoologie (2)
  • Plantes. Botanique (2)
  • Littérature grecque (2)
  • Littératures des autres langues (2)
  • Histoire générale de l'Asie, Orient, Extrême-Orient (2)
  • Médias d'information, journalisme, édition (1)
  • Les divers systèmes et écoles philosophiques (1)
  • Logique (1)
  • Morale (éthique) (1)
  • Philosophie de l'Antiquité, du Moyen Âge, de l'Orient (1)
  • Religion (1)
  • Théologie morale et pratiques chrétiennes (1)
  • Autres religions (1)
  • Langues espagnole et portugaise (1)
  • Langues italiques. Latin (1)
  • Fabrication de produits à usages spécifiques (1)
  • Architecture (1)
  • Arts plastiques. Sculpture (1)
  • Arts graphiques (1)
  • Photographie et les photographies, art numérique (1)
  • Littérature latine (1)
  • Histoire ancienne et préhistoire (1)

Domaines :

Fullscreen

3723 thèses pour Formal proof

...analysis in the Coqproof assistant.Analysis in Coq is a widely debated topic in the formal proof community...

Accéder en ligne

...thefirst order satisfiability of Θn, ¬(p(q)σ), A. This concludes the proof.The previous soundness theorem...

Accéder en ligne

Preuve Formelle en calcul réseau.

par Lucien Rakotomalala sous la direction de Pierre Roux et de Marc Boyer. - Toulouse, ISAE

Informatique et Télécommunications

En préparation depuis le 01-10-2018
 thèse en cours de préparation
Informatique

Soutenue le 08-02-2019
thèse soutenue

...Schwichtenberg,Basic proof theoryA formal system consists of a set of axioms and inference rules, expressed in...

Accéder en ligne

...robust-ness of proof is an obstacle to the use of formal methods for large systems in industry, asit...

Accéder en ligne

...decide without human control.There are theoretical formal models like [Ced+05]; [EW07]; [Jag+09]but they...

Accéder en ligne
Informatique

Soutenue le 04-10-2016
thèse soutenue

...-dious work. For these reasons automatic proof checkers and proof assistants have beendeveloped, giving formal...

Accéder en ligne

...related, and although formal chapter . structural proof theorystudy tends to emphasize the side of proof...

Accéder en ligne

...-aided formal verication of distributed algorithms.Still, Lu s proof relies on many unproven assumptions...

Accéder en ligne

Résultats 1 à 10