Résultats 1 à 10

EXPORTER les résultats
S'ABONNER à theses.fr

Dates de soutenance :


Etablissements :

Valider et fermer
  • Paris 6 (26)
  • Université Paris-Saclay (ComUE) (26)
  • Université de Lorraine (25)
  • Grenoble (22)
  • Sorbonne Paris Cité (20)
  • Université Grenoble Alpes (ComUE) (19)
  • Lyon (14)
  • Aix-Marseille (12)
  • Paris 11 (12)
  • Bordeaux (11)
  • Paris 1 (11)
  • Rennes 1 (11)
  • Nancy 1 (10)
  • Paris Est (10)
  • Toulouse 3 (10)
  • Université Côte d'Azur (ComUE) (10)
  • Nantes (9)
  • Dijon (8)
  • Normandie (8)
  • Paris, CNAM (8)
  • Montpellier (7)
  • Nancy 2 (7)
  • Paris Sciences et Lettres (ComUE) (7)
  • Toulouse, ISAE (7)
  • Bourgogne Franche-Comté (6)
  • Nice (6)
  • Paris 3 (6)
  • Paris 5 (6)
  • Cachan, Ecole normale supérieure (5)
  • Lille 2 (5)
  • Lyon, École normale supérieure (sciences) (5)
  • Orléans (5)
  • université Paris-Saclay (5)
  • Avignon (4)
  • Bordeaux 3 (4)
  • Ecole centrale de Lille (4)
  • Institut polytechnique de Paris (4)
  • Lyon 1 (4)
  • Paris 10 (4)
  • Strasbourg (4)
  • Toulouse 2 (4)
  • Tours (4)
  • Université Grenoble Alpes (4)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (3)
  • Grenoble INPG (3)
  • Le Mans (3)
  • Lille 1 (3)
  • Palaiseau, Ecole polytechnique (3)
  • Paris 7 (3)
  • Paris, EHESS (3)
  • Perpignan (3)
  • Toulouse 1 (3)
  • Toulouse, INSA (3)
  • Angers (2)
  • Besançon (2)
  • Bordeaux 1 (2)
  • Clermont-Ferrand 1 (2)
  • Clermont-Ferrand 2 (2)
  • Ecole centrale de Nantes (2)
  • La Rochelle (2)
  • Lille 3 (2)
  • Limoges (2)
  • Lyon, INSA (2)
  • Lyon, École normale supérieure (2)
  • Metz (2)
  • Montpellier 2 (2)
  • Paris 2 (2)
  • Paris 4 (2)
  • Paris, Ecole nationale des chartes (2)
  • Paris, INALCO (2)
  • Pau (2)
  • Université Paris sciences et lettres (2)
  • Université de Montréal (2)
  • Valenciennes (2)
  • Aix-Marseille 2 (1)
  • Aix-Marseille 3 (1)
  • Amiens (1)
  • Antilles (1)
  • Artois (1)
  • Bordeaux 2 (1)
  • Châtenay-Malabry, Ecole centrale de Paris (1)
  • Corte (1)
  • Ecole Nationale Supérieure des télécommunications (1)
  • Grenoble Alpes (1)
  • Indiana university (1)
  • International Burch University (Faculty of Engineering and Natural Sciences, Department of Architecture) (1)
  • Marne-la-vallée, ENPC (1)
  • Montpellier 1 (1)
  • Montpellier 3 (1)
  • Montpellier, Ecole nationale supérieure de chimie (1)
  • Mulhouse (1)
  • Paris 8 (1)
  • Paris 9 (1)
  • Paris, ENMP (1)
  • Paris, ENST (1)
  • Paris, EPHE (1)
  • Prove & Run (1)
  • Reims (1)
  • Rennes 2 (1)
  • Rouen, INSA (1)
  • Sorbonne université (1)
  • Toulouse, INPT (1)
  • Universidade estadual paulista (São Paulo, Brésil) (1)
  • Universidade federal da Bahia (1)
  • Università degli studi (Pise, Italie) (1)
  • Università degli studi (Sienne, Italie) (1)
  • Università degli studi (Trieste, Italie) (1)
  • Università degli studi di Napoli Federico II (1)
  • Universität Bayreuth (1)
  • Universität Potsdam (1)
  • Universität des Saarlandes (1)
  • Université Badji Mokhtar-Annaba (1)
  • Université catholique de Louvain (1970-....) (1)
  • Université d'Antananarivo (1)
  • Université de Genève. Faculté des sciences (1)
  • Université de Liège (1)
  • Université de Paris (2019-....) (1)
  • Université de Sfax (Tunisie) (1)
  • Université de Sherbrooke (Québec, Canada) (1)
  • Université de Tunis (1)
  • Université de Tunis El Manar (1)
  • Université des sciences, des techniques et des technologies de Bamako (Mali) (1)
  • Université libanaise (1)
  • Vandoeuvre-les-Nancy, INPL (1)
  • Versailles-St Quentin en Yvelines (1)
  • École nationale des chartes (Paris) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (117)
  • Histoire (19)
  • Immunologie (11)
  • Droit privé (9)
  • Mathématiques (9)
  • Droit (8)
  • Science politique (8)
  • Philosophie (7)
  • Sciences de la vie et de la santé (7)
  • Sociologie (7)
  • Chimie (6)
  • Mathématiques appliquées (6)
  • Droit privé et sciences criminelles (5)
  • Mathématiques Appliquées (5)
  • Psychologie (5)
  • Automatique (4)
  • Chimie organique (4)
  • Droit public (4)
  • Génie électrique (4)
  • Histoire de l'art (4)
  • Histoire moderne et contemporaine (4)
  • Neurosciences (4)
  • Physique (4)
  • Sciences de gestion (4)
  • Sciences du langage (4)
  • Études anglophones (4)
  • Géographie (3)
  • Informatique, données, IA (3)
  • Mathématiques et Informatique (3)
  • Sciences appliquées (3)
  • Sciences de l'éducation (3)
  • Sciences de la Vie et de la Santé (3)
  • Sciences économiques (3)
  • Archéologie (2)
  • Biologie (2)
  • Biologie cellulaire et moléculaire (2)
  • Cancérologie (2)
  • Didactique des mathématiques (2)
  • Droit privé et Sciences criminelles (2)
  • Epidémiologie (2)
  • Epistémologie, histoire des sciences et des techniques (2)
  • Génie informatique, automatique et traitement du signal (2)
  • Histoire, histoire de l'art et archéologie (2)
  • Informatique et Télécommunications (2)
  • Informatique et applications (2)
  • Instrumentation et informatique de l'image (2)
  • Mécanique des fluides (2)
  • Nano electronique et nano technologies (2)
  • Physico-Chimie de la Matière Condensée (2)
  • Sciences de Gestion (2)
  • Sciences de l'information et de la communication (2)
  • Sciences de la vie (2)
  • Sciences de la vie et de la sante (2)
  • Sciences des matériaux (2)
  • Sciences et techniques (2)
  • Sciences et technologie industrielles (2)
  • Sciences politiques (2)
  • Électronique Électrotechnique Automatique (2)
  • ARN, biogenèse et structure / fonction (1)
  • Anthropologie biologique (1)
  • Anthropologie sociale et historique (1)
  • Arts (1)
  • Arts et Sciences de l'Art (1)
  • Arts et sciences de l'art (1)
  • Aspects moleculaires et cellulaires de la biologie (1)
  • Aspects moléculaires et cellulaires de la biologie (1)
  • Aspects moléculaires et cellulaires de la biologie. Hématologie et oncologie (1)
  • Automatique et informatique (1)
  • Automatique et informatique industrielle (1)
  • Automatique, Génie informatique, Traitement du Signal et des Images (1)
  • Automatique, Ingénierie-Système, Nucléaire (1)
  • Automatique, Traitement du Signal et des Images, Génie Informatique (1)
  • Automatique, génie informatique, traitement du signal et des images (1)
  • Automatique, génie informatique, traitement du signal et images (1)
  • Automatique, productique (1)
  • Automatique, productique, signal et image, ingénierie cognitique (1)
  • Automatique, traitement du signal et génie informatique (1)
  • Automatique, traitement du signal et images (1)
  • Biochimie et biologie moléculaire (1)
  • Biochimie structurale (1)
  • Biodiversité écologie environnement (1)
  • Biologie Cellulaire (1)
  • Biologie Santé (1)
  • Biologie cellulaire et physiopathologie (1)
  • Biologie de l'environnement, des populations, écologie (1)
  • Biologie interdisciplinaire (1)
  • Biologie moléculaire et cellulaire (1)
  • Biosanté (1)
  • Biotechnologie, instrumentation, signal (1)
  • Chime Physique et Chimie Analytique (1)
  • Chimie Moléculaire (1)
  • Chimie analytique, physique et théorique (1)
  • Chimie biologie (1)
  • Chimie des Matériaux (1)
  • Chimie pharmaceutique (1)
  • Chimie séparative matériaux et procédés (1)
  • Doctorat de l'université de Rennes1 mention sciences économiques (1)
  • Droit Public (1)
  • Droit privé et Sciences Criminelles (1)
  • Droit public. Droit international public (1)
  • Ecologie fonctionnelle (1)
  • Electronique et communications (1)
  • Epidémiologie : Nutrition (1)
  • Espagnol (1)
  • Ethologie (1)
  • Etudes cinématographiques (1)
  • Etudes cinématographiques et audiovisuelles (1)
  • Etudes iberiques et méditerranennes (1)
  • Génie civil (1)
  • Génie des Procédés et des Produits (1)
  • Génie informatique (1)
  • Géographie physique (1)
  • Géographie spec. géo. humaine et économique (1)
  • Géographie, aménagement, urbanisme (1)
  • Géographie, urbanisme (1)
  • Géosciences (1)
  • Histoire contemporaine (1)
  • Histoire de l'art -archéologie (1)
  • Histoire de l'art médiéval (1)
  • Histoire des religions et anthropologie religieuse (1)
  • Histoire du Droit et des Institutions (1)
  • Histoire du droit (1)
  • Histoire et archéologie des mondes anciens et médiévaux (1)
  • Histoire grecque (1)
  • Histoire mention Histoire de l'art (1)
  • Histoire option histoire des sciences (1)
  • Histoire, langues, littérature anciennes (1)
  • Histoire, sociétés et civilisatons (1)
  • Histoire. Histoire et civilisations (1)
  • Hématologie (1)
  • Immunologie et cancérologie (1)
  • Immunologie et microbiologie (1)
  • Infectiologie (1)
  • Informatique et Télécommunication (1)
  • Informatique, données et IA (1)
  • Informatique, temps réel, robotique et automatique (1)
  • Interactions moléculaires et cellulaires (1)
  • Langues et litteratures francaises (1)
  • Langues et littératures. Langues et littératures françaises (1)
  • Langues, littératures et civilisation des pays de langues européennes (1)
  • Langues, littératures et civilisations (1)
  • Langues, littératures, art et civilisations germaniques (1)
  • Lettres & Linguistique (1)
  • Littérature française (1)
  • Littérature française du XIXe siècle (1)
  • Littérature générale et comparée (1)
  • Littératures et civilisations (1)
  • Logique et fondements de l'informatique (1)
  • Mathématiques aux interfaces (1)
  • Mathématiques et Applications (1)
  • Mathématiques et Modélisation (1)
  • Micro et nanoélectronique (1)
  • Microbiologie Marine (1)
  • Microbiologie-Immunologie (1)
  • Modèles, méthodes et algorithmes en biologie, santé et environnement (1)
  • Mécanique (1)
  • Mécanique, dynamique des structures (1)
  • Médecine nucléaire (1)
  • Médecine. Anthropologie biologique (1)
  • Nanophysique (1)
  • Nanoélectronique et nanotechnologie (1)
  • Neurobiologie et biologie du développement (1)
  • Neuroimmunologie (1)
  • Neuropharmacologie (1)
  • Neurosciences, éthologie (1)
  • Nutrition et Sciences des Aliments (1)
  • Nutrition et pathologies métaboliques (1)
  • Oncogenèse (1)
  • Optique et radiofrequences (1)
  • PCN - Sciences cognitives, psychologie et neurocognition (1)
  • Parasitologie (1)
  • Philosophie pratique (1)
  • Physiologie et biologie des organismes - populations - interactions (1)
  • Physiologie, physiopathologie et thérapeutique (1)
  • Physique de l'Univers (1)
  • Physique de l’Univers (1)
  • Physique des matériaux (1)
  • Physique des particules (1)
  • Physique théorique (1)
  • Polymères (1)
  • Réseaux, Télécoms, Systèmes et Architecture (1)
  • Santé publique - épidémiologie (1)
  • Santé publique Epidémiologie (1)
  • Science, ingénierie, santé (1)
  • Sciences (1)
  • Sciences appliquées. Informatique, automatique théorique, systèmes (1)
  • Sciences cognitives (1)
  • Sciences de l'information et de la communication. Informatique (1)
  • Sciences de l'éducation. Didactique des disciplines (1)
  • Sciences de la vie et de la sant? (1)
  • Sciences de l’éducation (1)
  • Sciences du langage - linguistique (1)
  • Sciences et génie des activités à risques (1)
  • Sciences et génie des matériaux (1)
  • Sciences physiques (1)
  • Sciences sociales, philosophie, art (1)
  • Sciences, technologie, santé. Neurosciences (1)
  • Socio anthroplogie (1)
  • Sociologie, démographie (1)
  • Sureté 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) (20)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (16)
  • École doctorale Informatique, télécommunications et électronique de Paris (12)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (11)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (9)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (7)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (6)
  • École doctorale Sciences pour l'Ingénieur (Lille) (6)
  • École doctorale sciences de l'homme, du politique et du territoire (Grenoble) (6)
  • École doctorale Arts, Lettres, Langues, Philosophie, Communication (Toulouse) (5)
  • École doctorale BioSE - Biologie, Santé, Environnement (5)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (5)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (5)
  • École doctorale histoire, mémoire, patrimoine, langage (Mont- Saint- Aignan, Seine-Maritime) (5)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (4)
  • Ecole doctorale Langages, Temps, Sociétés (LTS) (Nancy-Metz) (4)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (4)
  • École Doctorale de Biologie Moléculaire Intégrative et Cellulaire (Lyon) (4)
  • École doctorale Génétique, cellulaire, immunologie, infectiologie et développement (Paris ; ....-2013) (4)
  • École doctorale Humanités Nouvelles - Fernand Braudel (Lorraine) (4)
  • École doctorale Montaigne-Humanités (Pessac, Gironde) (4)
  • École doctorale SJPEG - Sciences Juridiques, Politiques, Economiques et de Gestion (Lorraine) (4)
  • École doctorale Santé, Sciences Biologiques et Chimie du Vivant (Centre-Val de Loire) (4)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (4)
  • École doctorale Systèmes (Toulouse) (4)
  • École doctorale d'Histoire de l'Université Paris 1 Panthéon-Sorbonne (Paris) (4)
  • École doctorale de droit de la Sorbonne (Paris ; 2015-....) (4)
  • École doctorale de l'Institut polytechnique de Paris (4)
  • École doctorale des Sciences Juridiques, Politiques et de Gestion (Lille) (4)
  • École doctorale en Informatique et Mathématiques de Lyon (4)
  • Ecole Doctorale Sciences Juridiques et Politiques (Aix-en-Provence) (3)
  • Ecole doctorale Langages, Idées, Sociétés, Institutions, Territoires (Dijon ; 2007-2016) (3)
  • IAEM Lorraine (3)
  • École Doctorale Biologie Santé Biotechnologies (Toulouse) (3)
  • École doctorale 537 « Culture et patrimoine » (Avignon) (3)
  • École doctorale Arts et médias (Paris) (3)
  • École doctorale Complexité du vivant (Paris) (3)
  • École doctorale Droit et Science Politique (Toulouse) (3)
  • École doctorale Europe latine et Amérique latine (Paris) (3)
  • École doctorale Hématologie, oncogenèse et biothérapies (Paris ; 2014-....) (3)
  • École doctorale Langues, littératures et sociétés du monde (Paris) (3)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (3)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (3)
  • École doctorale Organisations, marchés, institutions (Créteil ; 2015-....) (3)
  • École doctorale Sciences de l'Homme et de la société (Sceaux, Hauts-de-Seine ; 2015-2020) (3)
  • École doctorale Sciences de l'homme et de la société (Villeneuve d'Ascq, Nord) (3)
  • École doctorale Sciences de la vie et de la santé (Bordeaux) (3)
  • École doctorale Sciences mathématiques de Paris centre (Paris ; 2000-....) (3)
  • École doctorale Sociétés, Espaces, Pratiques, Temps (Dijon ; Besançon ; 2017-....) (3)
  • École doctorale Sociétés, humanités, arts et lettres (Nice ; 2016-....) (3)
  • École doctorale de droit (Pessac, Gironde) (3)
  • École doctorale de l'École des hautes études en sciences sociales (3)
  • École doctorale de l'École pratique des hautes études (Paris) (3)
  • École doctorale de mathématiques Hadamard (Orsay, Essonne ; 2015-....) (3)
  • École doctorale des sciences chimiques (Talence, Gironde) (3)
  • École doctorale des sciences de la vie, santé, agronomie, environnement (Clermont-Ferrand) (3)
  • École doctorale ingénierie pour la santé, la cognition, l'environnement (Grenoble) (3)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (3)
  • École doctorale physiologie, physiopathologie et thérapeutique (3)
  • École doctorale physique (Grenoble) (3)
  • École doctorale Électronique, électrotechnique, automatique (Lyon) (3)
  • École doctorale Érasme (Villetaneuse, Seine-Saint-Denis) (3)
  • Ecole Doctorale Cognition, Langage et Education (Aix-en-Provence) (2)
  • Ecole doctorale Arts et Métiers (Paris) (2)
  • Ecole doctorale Droit et science politique (Montpellier ; 2015-....) (2)
  • Ecole doctorale Informatique de Paris-Sud (2)
  • Ecole doctorale Innovation Thérapeutique : du Fondamental à l'Appliqué (Châtenay-Malabry, Haut-de-Seine ; 2000-2015) (2)
  • Ecole doctorale Perspectives Interculturelles : Ecrits, Médias, Espaces, Sociétés (PIEMES) (Metz-Nancy) (2)
  • Ecole doctorale Sciences de la Vie et de la Santé (Créteil ; 2010-2015) (2)
  • Ecole doctorale de Dauphine (Paris) (2)
  • RP2E - Ecole Doctorale Sciences et Ingénierie des Ressources, Procédés, Produits, Environnement (2)
  • SESAMES - Ecole Doctorale Lorraine de Chimie et Physique Moléculaires (2)
  • École Doctorale INTER-MED (Perpignan) (2)
  • École doctorale Bio Sorbonne Paris Cité (Paris ; 2014-....) (2)
  • École doctorale Biologie-Santé (Rennes) (2)
  • École doctorale Cancérologie : biologie-médecine-santé (Villejuif, Val-de-Marne ; 2015-....) (2)
  • École doctorale Cerveau, cognition, comportement (Paris) (2)
  • École doctorale Chimie physique et chimie analytique de Paris Centre (Paris ; 2000-....) (2)
  • École doctorale Civilisations, cultures, littératures et sociétés (Paris) (2)
  • École doctorale Connaissance, langage et modélisation (Nanterre) (2)
  • École doctorale Droit et sciences politiques, économiques et de gestion (Nice) (2)
  • École doctorale Environnements, Santé (Dijon ; Besançon ; 2012-....) (2)
  • École doctorale Lettres, langues, linguistique, arts (Lyon) (2)
  • École doctorale Littérature française et comparée (Paris) (2)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (2)
  • École doctorale Mathématiques, sciences de l'information et de l'ingénieur (Strasbourg ; 1997-....) (2)
  • École doctorale Milieux, cultures et sociétés du passé et du présent (Nanterre) (2)
  • École doctorale Philosophie (Paris) (2)
  • École doctorale SLTC - Sociétés, Langages, Temps, Connaissances (Lorraine) (2)
  • École doctorale Savoirs scientifiques : Epistémologie, histoire des sciences, didactique des disciplines (Paris ; 2000-2019) (2)
  • École doctorale Sciences de l'éducation, psychologie, information et communication (Lyon) (2)
  • École doctorale Sciences de la vie et de la santé (Sophia Antipolis, Alpes-Maritimes) (2)
  • École doctorale Sciences et technologies de l'information et de la communication (2)
  • École doctorale Sciences fondamentales et appliquées (Nice) (2)
  • École doctorale Sciences humaines et sociales : cultures, individus, sociétés (Paris ; 1994-2019) (2)
  • École doctorale Sciences mathématiques de Paris centre (2)
  • École doctorale Sciences mécaniques, acoustique, électronique et robotique de Paris (2)
  • École doctorale Sciences sociales (Lyon) (2)
  • École doctorale Signalisations et réseaux intégratifs en biologie (Le Kremlin-Bicêtre, Val-de-Marne ; 2015-....) (2)
  • École doctorale Sociétés, Cultures, Echanges (SCE) (Angers) (2)
  • École doctorale Sociétés, temps, territoires (Angers) (2)
  • École doctorale Structure et dynamique des systèmes vivants (Gif-sur-Yvette, Essonne ; 2015-....) (2)
  • École doctorale de droit privé (Paris) (2)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (2)
  • École doctorale mathématiques, information et ingénierie des systèmes (Caen) (2)
  • École doctorale Éducation, langages, interactions, cognition, clinique (Nantes) (2)
  • École doctorale Études anglophones, germanophones, et européennes (2009-2019 ; Paris) (2)
  • Biologie-Santé (1)
  • EDMITT - Ecole Doctorale Mathématiques, Informatique et Télécommunications de Toulouse (1)
  • Ecole Doctorale Espaces, Cultures, Sociétés (Aix-en-Provence) (1)
  • Ecole Doctorale Langues, Lettres et Arts (Aix-en-Provence) (1)
  • Ecole Doctorale Sciences Chimiques (Marseille) (1)
  • Ecole Doctorale Sciences de la Vie et de la Santé (Marseille) (1)
  • Ecole doctorale 188 (Ecole des chartes-Paris 4) (1)
  • Ecole doctorale Chimie de Paris-Sud (Orsay, Essonne ; 2006-2015) (1)
  • Ecole doctorale Cultures et Sociétés (Créteil ; 2015-....) (1)
  • Ecole doctorale Droit, Economie-Gestion, Sociétés, Territoires (Nantes) (1)
  • Ecole doctorale Ingénierie des Systèmes, Matériaux, Mécanique, Énergétique (Paris) (1)
  • Ecole doctorale Modélisation et Instrumentation en Physique, Energie, Géosciences et Environnement (Orsay, Essonne ; 2010-2015) (1)
  • Ecole doctorale Santé, sciences, technologies (Tours) (1)
  • Ecole doctorale Sciences de la Vie et de la Santé (Créteil ; 2015-....) (1)
  • Ecole doctorale Sciences et Technologies de l'Information, des Télécommunications et des Systèmes (Orsay, Essonne ; 2000-2015) (1)
  • Ecole doctorale Sciences, technologies, santé (Reims, Marne) (1)
  • Ecole doctorale cultures, régulations, institutions et territoires. Versailles (1)
  • Laboratoire de mathématiques et d'informatique (Bordeaux) (1)
  • MATHSTIC (1)
  • Sciences Chimiques (Montpellier ; École Doctorale ; 2015-....) (1)
  • Sciences Chimiques et Biologiques pour la Santé (Montpellier ; Ecole Doctorale ; ....-2014) (1)
  • Sociétés, Temps, Territoires (1)
  • Systèmes (1)
  • École Doctorale Evolution Ecosystèmes Microbiologie Modélisation (1)
  • École Doctorale Information, Structures, Systèmes (1)
  • École Doctorale Interdisciplinaire Sciences-Santé. (Villeurbanne) (1)
  • École Doctorale Sciences de la Matière (Toulouse) (1)
  • École Doctorale de Chimie (Lyon) (1)
  • École doctorale Biologie-Santé (Lille) (1)
  • École doctorale 58, Langues, Littératures, Cultures, Civilisations (Montpellier ; 2015-....) (1)
  • École doctorale Abbé Grégoire (Paris) (1)
  • École doctorale Arts, Lettres, Langues (Rennes) (1)
  • École doctorale Carnot (Dijon ; .....-2012) (1)
  • École doctorale Carnot-Pasteur (Besançon ; Dijon ; 2012-....) (1)
  • École doctorale Chimie moléculaire de Paris Centre (Paris) (1)
  • École doctorale Droit et science politique (Montpellier ; 2010-2014) (1)
  • École doctorale E2S Environnements, Santé, STIC (Dijon ; ....-2012) (1)
  • École doctorale Economies, espaces, sociétés, civilisations : pensée critique, politique et pratiques sociales (Paris ; 2000-2019) (1)
  • École doctorale Electrical, optical, bio : physics and engineering (Orsay, Essonne ; 2015-....) (1)
  • École doctorale Environnement et sociéte (Corte ; 2000-....) (1)
  • École doctorale Euclide (La Rochelle ; 2018-....) (1)
  • École doctorale Frontières de l'innovation en recherche et éducation (Paris ; 2006-....) (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é (Châtenay-Malabry, Hauts-de-Seine ; 2015-....) (1)
  • École doctorale Interdisciplinaire pour le Vivant (Paris) (XXXX-2014) (1)
  • École doctorale Lettres, Sciences Humaines et Sciences Sociales (Créteil) (1)
  • École doctorale Lettres, sciences humaines et sociales (Nice ; 1992-2016) (1)
  • École doctorale Milieu insulaire tropical à risques : protection, valorisation , santé et développement (Pointe-à-Pitre) (1)
  • École doctorale Normande de biologie intégrative, santé, environnement (Mont-Saint-Aignan, Seine-Maritime) (1)
  • École doctorale Particules, hadrons, énergie et noyau : instrumentation, imagerie, cosmos et simulation (Orsay, Essonne ; 2015-....) (1)
  • École doctorale Physique en Île-de-France (Paris ; 2014-....) (1)
  • École doctorale Physique et chimie-physique (Strasbourg ; 1994-....) (1)
  • École doctorale Pierre Louis de santé publique : épidémiologie et sciences de l'information biomédicale (Paris ; 2000-....) (1)
  • École doctorale Santé Publique (Le Kremlin-Bicêtre, Val-de-Marne ; 2015-...) (1)
  • École doctorale Santé publique (Paris ; 2000-2015) (1)
  • École doctorale Sciences Biologiques et Santé (Limoges) (1)
  • École doctorale Sciences Ingénierie Santé (Saint-Etienne) (1)
  • École doctorale Sciences de l'environnement d'Île-de-France (Paris ; 1991-....) (1)
  • École doctorale Sciences de l'homme et de la société (Orléans) (1)
  • École doctorale Sciences de la matière (Rennes) (1)
  • École doctorale Sciences de la terre et de l'environnement et physique de l'univers (Paris ; 2014-....) (1)
  • École doctorale Sciences de l’univers, de l’environnement et de l’espace (Toulouse) (1)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (1)
  • École doctorale Sciences et Environnements (Pessac, Gironde) (1)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018) (1)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (1)
  • École doctorale Sciences humaines et sociales – Perspectives européennes (Strasbourg ; 2009-....) (1)
  • École doctorale Sciences juridiques, politiques, économiques et de gestion (Malakoff, Hauts-de-Seine) (1)
  • École doctorale Sciences mécaniques et énergétiques, matériaux et géosciences (Gif-sur-Yvette, Essonne ; 2015-....) (1)
  • École doctorale Sciences pour l'Ingénieur (Châtenay-Malabry, Hauts de Seine) (1)
  • École doctorale Sciences pour l'environnement - Gay Lussac (La Rochelle ; 2009-2018) (1)
  • École doctorale Sciences pour l'ingénieur (Nantes) (1)
  • École doctorale Sciences sociales (Saint-Denis, Seine-Saint-Denis) (1)
  • École doctorale Sciences écologiques, vétérinaires, agronomiques et bioingénieries (Toulouse) (1)
  • École doctorale Sciences économiques et gestion (Lyon) (1)
  • École doctorale Sciences économiques et sciences de gestion (Rennes) (1)
  • École doctorale Sciences économiques, sociales, de l'aménagement et du management (Villeneuve d'Ascq) (1)
  • École doctorale Signalisations et réseaux intégratifs en biologie (Le Kremlin-Bicêtre, Val-de-Marne ; 2000-2015) (1)
  • École doctorale Sociétés, politique, santé publique (Bordeaux) (1)
  • École doctorale Systèmes (1)
  • École doctorale chimie et science du vivant (Grenoble) (1)
  • École doctorale de Géographie de Paris. Espace, sociétés, aménagement (Paris) (1)
  • École doctorale de mathématiques Hadamard (1)
  • École doctorale des sciences fondamentales (Clermont-Ferrand) (1)
  • École doctorale en Sciences humaines et sociales (Amiens) (1)
  • École doctorale normande de chimie (Caen) (1)
  • École doctorale pluridisciplinaire Jean-Henri Lambert, ED 494 (Mulhouse) (1)
  • École doctorale sciences et ingénierie des systèmes, de l'environnement et des organisations (Chambéry) (1)
  • École doctorale sciences exactes et leurs applications (Pau, Pyrénées Atlantiques) (1)
  • École doctorale sciences sociales et humanités (Pau, Pyrénées Atlantiques) (1)
  • École doctorale Économie, organisations, société (Nanterre) (1)
  • École doctorale Énergie environnement (Perpignan) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (446)
  • anglais (63)
  • null (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Dubois Catherine (5)
  • Jensen Thomas (4)
  • Bertot Yves (3)
  • Chevrier Vincent (3)
  • Daumas Marc (3)
  • Delahaye David (3)
  • Dowek Gilles (3)
  • Fesquet Laurent (3)
  • Merz Stephan (3)
  • Morin-Allory Katell (3)
  • Russo Daniel (3)
  • Werner Benjamin (3)
  • Alazard Daniel (2)
  • Andreu David (2)
  • Barthe Gilles (2)
  • Bertrand Gilles (2)
  • Blay Jean-Yves (2)
  • Boldo Sylvie (2)
  • Bougé Luc (2)
  • Buffet Pierre (2)
  • Buignet Christine (2)
  • Cadiet Loïc (2)
  • Chapurlat Vincent (2)
  • Chazan Mireille (2)
  • Compagnon Olivier (2)
  • Cortier Véronique (2)
  • Fourment François (2)
  • Garoche Pierre-Loïc (2)
  • Giambiasi Norbert (2)
  • Girard Antoine (2)
  • Greiner Alain (2)
  • Hercberg Serge (2)
  • Huet Gérard (2)
  • Héam Pierre-Cyrille (2)
  • James Guillaume (2)
  • Kuzniak Alain (2)
  • Lakhnech Yassine (2)
  • Mathiot Pierre (2)
  • Melquiond Guillaume (2)
  • Moreau Pierre-Etienne (2)
  • Méry Dominique (2)
  • Paulin-Mohring Christine (2)
  • Percebois Christian (2)
  • Pétrot Frédéric (2)
  • Strub Pierre-Yves (2)
  • Weill Jean-Claude (2)
  • Adjali Oumeya (1)
  • Agogué Hélène (1)
  • Agresti Jean-Philippe (1)
  • Agrinier Nelly (1)
  • Alami Mouâd (1)
  • Alba Narciso (1)
  • Alberge Florence (1)
  • Allamigeon Xavier (1)
  • Allard Bruno (1)
  • Almouzni Geneviève (1)
  • Amari Saïd (1)
  • Amghar Tassadit (1)
  • Amor-Guéret Mounira (1)
  • Andrieu-Abadie Nathalie (1)
  • Andronikof-Sanglade Anne (1)
  • Antoine Pierre (1)
  • Antoine Xavier (1)
  • Apetoh Lionel (1)
  • Aquien Pascal (1)
  • Ara Dimitri (1)
  • Artigues Christian (1)
  • Assfeld Xavier (1)
  • Attiogbé Christian (1)
  • Aupiais Jean (1)
  • Avenel Jean (1)
  • Bagrel Denyse (1)
  • Bajard Jean-Claude (1)
  • Barais Olivier (1)
  • Barbin Evelyne (1)
  • Barin-Le Guellec Chantal (1)
  • Barkaoui Kamel (1)
  • Baron Georges-Louis (1)
  • Baslez Marie-Françoise (1)
  • Bastard Benoit (1)
  • Bayard-Sakai Anne (1)
  • Belayche Nicole (1)
  • Bellagamba Ugo (1)
  • Ben Mahmoud Mohamed Slim (1)
  • Ben Meriem Tayeb (1)
  • Benveniste Olivier (1)
  • Benzaken Véronique (1)
  • Berkani Karim (1)
  • Bernard Julien (1)
  • Bernard Olivier (1)
  • Bernault Carine (1)
  • Berner Christian (1)
  • Bertocci Barbara (1)
  • Bertrand Roxane (1)
  • Bessy Christian (1)
  • Beyries Sylvie (1)
  • Bideaux Eric (1)
  • Bienia Wojciech (1)
  • Binder Didier (1)
  • Birgy Philippe (1)
  • Blackburn Patrick (1)
  • Blanc Gérard (1)
  • Blanqui Fréderic (1)
  • Bloch Isabelle (1)
  • Blondel Béatrice (1)
  • Boblet Marie-Hélène (1)
  • Bocquentin Fanny (1)
  • Boczkowski Jorge (1)
  • Boisson Didier (1)
  • Boitard Christian (1)
  • Boivin Michel (1)
  • Bon Philippe (1)
  • Bonnechere Pierre (1)
  • Bonnetier Eric (1)
  • Borrione Dominique (1)
  • Bosson Jean-Luc (1)
  • Boubeker Ahmed (1)
  • Bouchez Agnès (1)
  • Boudier Thomas (1)
  • Boulme Sylvain (1)
  • Boumendjel Ahcène (1)
  • Bourennane El-Bay (1)
  • Bourgeois Pierre-Yves (1)
  • Bourjot Christine (1)
  • Bousquet Franck (1)
  • Bouveret Myriam (1)
  • Bouvier-Colle Marie-Hélène (1)
  • Bouzid Maroua (1)
  • Boyer Marc (1)
  • Brague Rémi (1)
  • Brandel Jean-Philippe (1)
  • Branlant Christiane (1)
  • Brasseur Patrice (1)
  • Brost Vincent (1)
  • Brousse Georges (1)
  • Brunel Julien (1)
  • Bruzek Jaroslav (1)
  • Bunel Claude (1)
  • Caillet Jean-Pierre (1)
  • Caire Raphaël (1)
  • Calle-Gruber Mireille (1)
  • Camp Olivier (1)
  • Campana Stefano (1)
  • Carrey Julian (1)
  • Carrupt Pierre-Alain (1)
  • Castelluccia Claude (1)
  • Castéran Pierre (1)
  • Catala Michel (1)
  • Catalan Tullia (1)
  • Caumon Guillaume (1)
  • Cerf Aline (1)
  • Chaarani-Lesourd Elsa (1)
  • Chailloux Emmanuel (1)
  • Chandenier Jacques (1)
  • Chante Jean-Pierre (1)
  • Chapel Jean-Paul (1)
  • Charron-bost Bernadette (1)
  • Chassaing Jean-Camille (1)
  • Chaty Sylvain (1)
  • Chaulet Rudy (1)
  • Chauleur Céline (1)
  • Chausson François (1)
  • Chemouil David (1)
  • Chevrel Philippe (1)
  • Chevrot Jean-Pierre (1)
  • Chibon Frédéric (1)
  • Chihani Zakaria (1)
  • Chollet-Martin Sylvie (1)
  • Choné Paulette (1)
  • Choquet Christophe (1)
  • Claret Philippe (1)
  • Clouteau Didier (1)
  • Cloëz-Tayarani Isabelle (1)
  • Cohen Cyril (1)
  • Cole Daniel H. (1)
  • Colis Silviu-Mihail (1)
  • Collart-Dutilleul Simon (1)
  • Collon Pauline (1)
  • Combettes Bernard (1)
  • Conchon Sylvain (1)
  • Contassot-Vivier Sylvain (1)
  • Contejean Evelyne (1)
  • Corbel Pascal (1)
  • Corbineau Pierre (1)
  • Coron Jean-Michel (1)
  • Cortet Pierre-Philippe (1)
  • Costa Delphine (1)
  • Costa François (1)
  • Costagliola Dominique (1)
  • Couffignal Georges (1)
  • Courtin Christine (1)
  • Cousillas Hugo (1)
  • Crespelle Christophe (1)
  • Crestani Bruno (1)
  • Crouseilles Nicolas (1)
  • Cuniberti Gilles (1)
  • Dagnat Fabien (1)
  • Darmoni Stéfan Jacques (1)
  • David René (1)
  • De Lara Michel (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (139)
  • Médecine et santé (53)
  • Sciences de l'ingénieur (49)
  • Sciences de la vie, biologie, biochimie (40)
  • Droit (35)
  • Mathématiques (30)
  • Chimie, minéralogie, cristallographie (20)
  • Géographie et histoire (19)
  • Physique (16)
  • Sciences sociales, sociologie, anthropologie (15)
  • Science politique (11)
  • Histoire moderne et contemporaine de l'Europe (9)
  • Education et enseignement (8)
  • Histoire ancienne et préhistoire (8)
  • Philosophie, psychologie (7)
  • Histoire générale de la France (7)
  • Psychologie (6)
  • Informatique, information, généralités (5)
  • Gestion et organisation de l'entreprise (5)
  • Economie (4)
  • Langues et linguistique (4)
  • Linguistique générale (4)
  • Arts. Beaux-arts et arts décoratifs (4)
  • Arts du spectacle, loisirs (4)
  • Littérature de langues romanes. Littérature française (4)
  • Problèmes et services sociaux (3)
  • Langues romanes. Français (3)
  • Sciences de la nature et mathématiques (3)
  • Technologie (Sciences appliquées) (3)
  • Arts plastiques. Sculpture (3)
  • Histoire et critique littéraires, rhétorique (3)
  • Epistémologie, causalité, genre humain (2)
  • Religion (2)
  • Langue anglaise. Anglo-saxon (2)
  • Langues germaniques. Allemand (2)
  • Langues espagnole et portugaise (2)
  • Sciences de la terre (2)
  • Agronomie, agriculture et médecine vétérinaire (2)
  • Urbanisme (2)
  • Littératures anglaise et anglo-saxonne (2)
  • Littératures espagnole et portugaise (2)
  • Géographie et voyages (2)
  • Logique (1)
  • Histoire et géographie du christianisme et de l'Eglise chrétienne (1)
  • Commerce, communications, transports (1)
  • Astronomie, cartographie, géodésie (1)
  • Paléontologie. Paléozoologie (1)
  • Génie chimique, technologies alimentaires (1)
  • Architecture (1)
  • Dessin. Arts décoratifs (1)
  • Peinture (1)
  • Littérature allemande (1)
  • Littérature italienne (1)
  • Histoire générale de l'Amérique du Nord (1)

Domaines :

Fullscreen

496 thèses pour "Preuve formelle"

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

Conception d'un noyau de vérification de preuves pour le λΠ-calcul modulo

par Mathieu Boespflug sous la direction de Gilles Dowek - Palaiseau, Ecole polytechnique

Informatique

Soutenue en 2011
thèse soutenue
Accéder en ligne

Certified numerics in function spaces : polynomial approximations meet computer algebra and formal proof

par Florent Bréhard sous la direction de Mioara Maria Joldes et de Mioara Maria Joldes. - Lyon

Informatique

Soutenue le 12-07-2019
thèse soutenue

...Chapitre 8 (cf. Objectif D).A.3 Preuve formelle et implémentations certifiéesUn niveau de confiance encore...

Accéder en ligne

Verified computing in homological algebra

par Arnaud Spiwack sous la direction de Benjamin Werner - Palaiseau, Ecole polytechnique

Informatique

Soutenue en 2011
thèse soutenue
Accéder en ligne

Le domaine abstrait des polyèdres revisité : représentation par contraintes et preuve formelle

par Alexis Fouilhé sous la direction de David Monniaux et de Michaël Périn. - Université Grenoble Alpes (ComUE)

Informatique

Soutenue le 15-10-2015
thèse soutenue

...´sentation par contrainteset preuve formelleRevisiting the abstract domain of polyhedra...

Accéder en ligne

Outils Génériques de Modélisation et de Démonstration pour la Formalisation des Mathématiques en Théorie des Types : application à la Théorie des Catégories

par Amokrane Saïbi sous la direction de Gérard Huet - Paris 6

Informatique

Soutenue en 1999
thèse soutenue

Formalisation de calculs polyédraux efficaces : application à la vérification et à la combinatoire

par Quentin Canu sous la direction de Georges Gonthier, Xavier Allamigeon et de Pierre-Yves Strub. - université Paris-Saclay

Mathématiques aux interfaces

En préparation depuis le 01-09-2020
thèse en cours de préparation

Sécurité formelle de primitives cryptographiques efficaces

par Antoine Séré sous la direction de Benjamin Werner et de Pierre-Yves Strub. - Institut polytechnique de Paris

Informatique, données, IA

En préparation depuis le 01-09-2020
thèse en cours de préparation

Schémas algorithmiques prouvables en programmation fonctionnelle : application aux calculs interactifs

par Marc Coiffier sous la direction de Jean-François Monin et de Jean-louis Roch. - Université Grenoble Alpes

Mathématiques et Informatique

En préparation depuis le 11-04-2018
thèse en cours de préparation

Apprentissage de règles logiques pour la preuve formelle de réseaux de neurones profonds : application à la classification d'objets dans le contexte d'un véhicule autonome

par Romain Xu (Xu-darme) sous la direction de Georges Quenot, Marie-Christine Rousset et de Zakaria Chihani. - Université Grenoble Alpes

Informatique

En préparation depuis le 29-10-2020
thèse en cours de préparation

Résultats 1 à 10