Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Université Paris-Saclay (ComUE) (148)
  • Grenoble Alpes (127)
  • Grenoble (119)
  • Sorbonne Paris Cité (74)
  • Lyon (63)
  • Rennes 1 (63)
  • Toulouse 3 (49)
  • Paris Sciences et Lettres (43)
  • Université de Lorraine (43)
  • Montpellier (40)
  • Paris, CNAM (34)
  • Paris 3 (30)
  • Paris 6 (30)
  • Côte d'Azur (29)
  • Dijon (27)
  • Paris 11 (27)
  • Bordeaux (25)
  • Pau (24)
  • Nice (22)
  • Paris Est (22)
  • Brest (21)
  • Paris 10 (19)
  • Aix-Marseille (18)
  • Nantes (18)
  • Toulouse 2 (18)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (17)
  • Normandie (17)
  • Lorient (16)
  • Orléans (14)
  • Paris 4 (14)
  • Toulouse, INPT (14)
  • Ecole centrale de Lille (13)
  • Evry, Institut national des télécommunications (13)
  • Paris 1 (13)
  • Clermont-Ferrand 2 (12)
  • Paris, EHESS (12)
  • Toulouse 1 (12)
  • Bourgogne Franche-Comté (10)
  • Lyon 1 (10)
  • Paris 8 (10)
  • Toulouse, INSA (10)
  • Cachan, Ecole normale supérieure (9)
  • Compiègne (9)
  • La Rochelle (9)
  • Lille 3 (9)
  • Paris 7 (9)
  • Paris, ENST (9)
  • Besançon (8)
  • Lille 1 (8)
  • Universidade de São Paulo (Brésil) (8)
  • Artois (7)
  • Bordeaux 3 (7)
  • Clermont Auvergne (7)
  • Lyon, INSA (7)
  • Paris, ENSAM (7)
  • Toulouse, ISAE (7)
  • Tours (7)
  • Troyes (7)
  • Valenciennes (7)
  • Avignon (6)
  • Belfort-Montbéliard (6)
  • Ecole centrale de Nantes (6)
  • Limoges (6)
  • Montpellier 2 (6)
  • Nancy 1 (6)
  • Rennes, INSA (6)
  • Sorbonne université (6)
  • Cergy-Pontoise (5)
  • Paris, Ecole normale supérieure (5)
  • Reims (5)
  • Université de Sfax (Tunisie) (5)
  • Bordeaux 1 (4)
  • CentraleSupélec (4)
  • Montpellier 3 (4)
  • Mulhouse (4)
  • Paris 5 (4)
  • Paris, EPHE (4)
  • Universidad del País Vasco (4)
  • Università degli studi La Sapienza (Rome) (4)
  • Université de Sherbrooke (Québec, Canada) (4)
  • Université de Yaoundé I (4)
  • École Nationale des Sciences de l'Informatique (La Manouba, Tunisie) (4)
  • École nationale d'ingénieurs de Tunis (Tunisie) (4)
  • Aix-Marseille 1 (3)
  • Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique (3)
  • Grenoble 1 (3)
  • Le Havre (3)
  • Lyon 2 (3)
  • Paris, ENMP (3)
  • Rennes 2 (3)
  • Rouen (3)
  • Strasbourg (3)
  • Universidad de Sevilla (Espagne) (3)
  • Universidade federal do Rio Grande do Norte (Natal, Brésil) (3)
  • Université du Luxembourg (3)
  • Université normale de la Chine de l'Est (Shanghai) (3)
  • Vandoeuvre-les-Nancy, INPL (3)
  • Amiens (2)
  • Angers (2)
  • Chambéry (2)
  • Châtenay-Malabry, Ecole centrale de Paris (2)
  • Colorado state university (2)
  • Ecole nationale des Mines d'Albi-Carmaux (2)
  • Ecully, Ecole centrale de Lyon (2)
  • Evry-Val d'Essonne (2)
  • Grenoble INPG (2)
  • Institut polytechnique de Paris (2)
  • Katholieke universiteit te Leuven (1970-....) (2)
  • La Réunion (2)
  • Le Mans (2)
  • Littoral (2)
  • Nancy 2 (2)
  • Nanyang Technological University (2)
  • Paris 13 (2)
  • Paris, INALCO (2)
  • Paris, Télécom ParisTech (2)
  • Poitiers (2)
  • Rennes, École normale supérieure (2)
  • Saint-Etienne (2)
  • Saint-Etienne, EMSE (2)
  • Toulon (2)
  • Télécom Bretagne (2)
  • Universidade Federal do Rio Grande do Sul (Porto Alegre, Brésil) (2)
  • Universitat autònoma de Barcelona (2)
  • Universiteit Leiden (Leyde, Pays-Bas) (2)
  • University of Western Sydney (2)
  • Università degli studi (Bologne, Italie). Facoltà di Ingegneria (2)
  • Università degli studi (Gênes, Italie) (2)
  • Università degli studi (Pise, Italie) (2)
  • Università degli studi (Trente, Italie) (2)
  • Università degli studi Roma Tre (2)
  • Università degli studi della Calabria (2)
  • Université catholique de Louvain (1970-....) (2)
  • Université de Mons (2)
  • Université de Montréal (2)
  • Université de Tunis (2)
  • Université de Tunis El Manar (2)
  • Université de Tunis El-Manar. Faculté des Sciences de Tunis (Tunisie) (2)
  • Université de Tunis. Faculté des sciences de Tunis (2)
  • Université du Québec à Montréal (2)
  • École nationale d'ingénieurs de Sfax (Tunisie) (2)
  • 029910463 (1)
  • 416 Univ Federal do Rio Grande do Sul (1)
  • Aix-Marseille 2 (1)
  • Aix-Marseille 3 (1)
  • Birkbeck college (Londres) (1)
  • Bourges, INSA Centre Val de Loire (1)
  • Brest, École nationale supérieure de techniques avancées Bretagne (1)
  • Brno University of Technology (MAIS) (1)
  • Caen (1)
  • Centro de Investigación y de Estudios Avanzados del Instituto Politécnico Nacional (Mexico) (1)
  • Corte (1)
  • Ecole Nationale Supérieure d'Informatique (ESI) - Alger (1)
  • Ecole Nationale des Sciences Informatiques (Tunis) (1)
  • Ecole des hautes études commerciales (Lausanne, Suisse) (1)
  • Ecole nationale d'ingénieurs de Sfax (1)
  • El Centro de Investigacion y de Estudios Avanzados del Insituto Politécnico National. Cinvestav (Méxique) (1)
  • Flinders university of South Australia (1)
  • Georgia State university (1)
  • Georgia institute of technology (1)
  • Grenoble 2 (1)
  • Helsingin yliopisto (Finland) (1)
  • IMT Mines Alès (1)
  • INSA de Rouen (1)
  • Institut supérieur de gestion (Tunis) (1)
  • Institute for Knowledge and Innovation South East-Asia (Bangkok University, Thailand) (1)
  • Instituto de Ciências Matemáticas (São Carlos, Brésil) (1)
  • Jouy-en Josas, HEC (1)
  • Kharkiv Polytechnic University (1)
  • Les Arts décoratifs (France) (1)
  • Lyon, École normale supérieure (1)
  • Malardalen University (1)
  • Masarykova univerzita (Brno, République tchèque) (1)
  • Montréal (1)
  • Nantes, Ecole des Mines (1)
  • Panepistī́mio Krī́tīs (1)
  • Paris Saclay (1)
  • Perpignan (1)
  • Politecnico di Bari. Dipartimento di Ingegneria Elettrica e dell'Informazione (Italia) (1)
  • Politecnico di Milano (1)
  • Politecnico di Milano. Dipartimento di elettronica, informazione e bioingegneria (Milano, Italie) (1)
  • Polynésie française (1)
  • Pontifícia universidade católica do Paraná (1)
  • Rennes, Agrocampus Ouest (1)
  • Rijksuniversiteit te Utrecht (1)
  • Sankt-Peterburgskij gosudarstvennyj universitet (1)
  • Strasbourg 2 (1)
  • Technische Universität (Munich, Allemagne) (1)
  • Trente, Italie (1)
  • Tsinghua University (Pékin) (1)
  • Universidad EAFIT (1)
  • Universidad Galileo (1)
  • Universidad de Buenos Aires (1)
  • Universidad de Salamanca (Espagne) (1)
  • Universidad de Zaragoza (Espagne) (1)
  • Universidad de la República (Montevideo) (1)
  • Universidad de los Andes (Bogotá, República de Colombia) (1)
  • Universidad del País Vasco. Facultad de ciencias (1)
  • Universidad nacional de Colombia (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (904)
  • Sciences du langage (55)
  • Linguistique (22)
  • Philosophie (22)
  • Informatique et applications (20)
  • Mathématiques et Informatique (16)
  • Mathématiques et informatique (16)
  • Psychologie (15)
  • Mathématiques (13)
  • Sciences de gestion (13)
  • Sciences cognitives (10)
  • Sciences du langage - linguistique (10)
  • Stic (10)
  • Intelligence artificielle (9)
  • Études anglophones (9)
  • Automatique (7)
  • Informatique et réseaux (7)
  • Linguistique anglaise (7)
  • Mathématiques appliquées (6)
  • Neurosciences (6)
  • Physique (6)
  • Sciences de l'information et de la communication (6)
  • Sciences du langage : linguistique et didactique des langues (6)
  • Sciences et technologie industrielles (6)
  • Automatique, Traitement du Signal et des Images, Génie Informatique (5)
  • Géomatique (5)
  • Image, information, hypermedia (5)
  • Instrumentation et informatique de l'image (5)
  • Sureté de logiciel et calcul de haute performance (5)
  • Automatique et informatique industrielle (4)
  • Conception (4)
  • Droit (4)
  • Génie Industriel (4)
  • Informatique (STIC) (4)
  • Informatique. Informatique fondamentale (4)
  • Langues et littératures anglaises et anglo-saxonnes (4)
  • Sciences et technologies industrielles (4)
  • Sociologie (4)
  • Anglais (3)
  • Automatique, Traitement du signal et des images, Génie informatique (3)
  • Automatique, génie informatique, traitement du signal et des images (3)
  • Automatique, génie informatique, traitement du signal et images (3)
  • Biologie (3)
  • Génie des systèmes industriels (3)
  • Informatique médicale (3)
  • Ingénierie Sociotechnique des Connaissances, des Réseaux et du Développement Durable (3)
  • Littérature générale et comparée (3)
  • Mathématiques. Logique et fondements de l'informatique (3)
  • Modèles, méthodes et algorithmes en biologie, santé et environnement (3)
  • Mécanique (3)
  • Nanoélectronique et nanotechnologie (3)
  • Réseaux, information et communications (3)
  • Réseaux, télécom, système et architecture (3)
  • Sciences appliquées (3)
  • Sciences cognitives, psychologie et neurocognition (3)
  • Sciences du langage : traitement automatique des langues (3)
  • Sciences et Technologies de l'Information et de la Communication (3)
  • Signal, Image, Automatique (3)
  • Sûreté de Logiciel et Calcul à Haute Performance (3)
  • Traductologie (3)
  • Traitement du signal et télécommunications (3)
  • Électronique (3)
  • Études basques (3)
  • Automatique - productique (2)
  • Didactique des langues (2)
  • Etudes anglophones (2)
  • Génie Industriel : conception et production (2)
  • Génie industriel conception et production (2)
  • Génie mécanique (2)
  • Histoire (2)
  • Information Technology : Unité de recherche Heudyasic (UMR-7253) (2)
  • Informatique et Télécommunications (2)
  • Informatique et applications (2)
  • Informatique temps réel, robotique et automatique (2)
  • Informatique, données, IA (2)
  • Informatique, temps réel, robotique et automatique (2)
  • Langues et litteratures etrangeres (2)
  • Lettres (2)
  • Lettres & Linguistique (2)
  • Lexicologie et terminologie multilingues (2)
  • Littératures et civilisations comparées (2)
  • Mathématiques Appliquées (2)
  • Neurosciences, comportement et cognition (2)
  • Optimisation et Sûreté des Systèmes (2)
  • Psycholinguistique (2)
  • Robotique et informatique (2)
  • Réseaux, Télécommunications, Systèmes et Architecture (2)
  • Réseaux, télécoms, systèmes et architecture (2)
  • STIC (sciences et technologies de l'information et de la communication) - Cergy (2)
  • STIC Informatique (2)
  • SYAM - Systèmes Automatiques et Micro-Électroniques (2)
  • Sciences de Gestion (2)
  • Sciences du langage - Cergy (2)
  • Sciences du langage - Linguistique (2)
  • Sciences du langage. Traitement automatique des langues (2)
  • Sciences et Technologies de l'Information Géographique (2)
  • Sciences et génie des activités à risques (2)
  • Sciences et technologies de l'information et de la communication (2)
  • Signal et images (2)
  • Signal, Image, Vision (2)
  • Sureté de Logiciel et Calcul à Haute Performance (2)
  • Systèmes automatiques et micro-électroniques (2)
  • Systèmes embarqués (2)
  • Électronique Électrotechnique Automatique (2)
  • Études anglaises (2)
  • Études du monde anglophone (2)
  • ARTS spécialité Etudes théâtrales et spectacle vivant (1)
  • Acoustique (1)
  • Agrosystèmes, écosystèmes et environnement (1)
  • Anthropologie (1)
  • Anthropologie Cognitive, Linguistique et Design d’Interaction : Unité de recherche COSTECH (EA-2223) (1)
  • Anthropologie sociale et ethnologie (1)
  • Anthropologie sociale et historique (1)
  • Archeologie, ethnologie, prehistoire (1)
  • Arts (1)
  • Arts plastiques (1)
  • Aspects moléculaires et cellulaires de la biologie (1)
  • Automatique et informatique appliquée (1)
  • Automatique et productique (1)
  • Automatique, Génie informatique, Traitement du Signal et des Images (1)
  • Automatique, Robotique et Informatique Temps Réel (1)
  • Automatique, Traitement du Signal et des Images, Génie informatique (1)
  • Automatique, Traitement du signal et des images, Génie Informatique (1)
  • Automatique, génie informatique, traitement du signal et image (1)
  • Automatique, signal, productique, robotique (1)
  • Automatique. Automatique, génie informatique (1)
  • Bioinformatique (1)
  • Biologie Evolutive (1)
  • Biologie Santé (1)
  • Biotechnologies, cancérologie (1)
  • Composants et systèmes de gestion de l'énergie (1)
  • Didactique & Linguistique (1)
  • Didactique et Linguistique (1)
  • Domaine STIC (1)
  • Développement Durable (1)
  • ETUDES ROMANES spécialité Etudes hispaniques et hispano-américaines (1)
  • Electronique (1)
  • Electronique et Architecture de Systèmes (1)
  • Electronique et communications (1)
  • Epidémiologie, analyse du risque, recherche clinique (1)
  • Ergonomie (1)
  • Ethnologie (1)
  • Etudes hispanophones - Cergy (1)
  • Etudes latines (1)
  • Evolution des systèmes infectieux (1)
  • Formation des adultes (1)
  • Genie industriel (1)
  • Génie électrique (1)
  • Génie Industriel et Informatique (1)
  • Génie Informatique et Automatique (1)
  • Génie Mécanique, Productique, Transport (1)
  • Génie civil (1)
  • Génie industriel (1)
  • Génie informatique (1)
  • Génie logiciel (1)
  • Génétique, génomique, bioinformatique (1)
  • Géographie et Aménagement (1)
  • Géographie humaine (1)
  • Histoire ancienne (1)
  • Histoire de la philosophie (1)
  • Histoire des religions et anthropologie religieuse (1)
  • Histoire et civilisations (1)
  • Informaique (1)
  • Informatique appliquée (1)
  • Informatique biomédicale (1)
  • Informatique et Automatique (1)
  • Informatique et Génie Industriel (1)
  • Informatique et Réseaux (1)
  • Informatique et Télécommunication (1)
  • Informatique et application (1)
  • Informatique et génie industriel (1)
  • Informatique et télécommunication (1)
  • Informatique et télécommunications (1)
  • Informatique et télécommunicationsInformatique et télécommunications (1)
  • Informatique linguistique (1)
  • Informatique, Télécomminication et Électronique (1)
  • Informatique, statistiques et cognition (1)
  • Informatique-traitement du signal (1)
  • Informatique. Génération automatique de texte (1)
  • Informatique. Informatique théorique (1)
  • Informatique. Intelligence artificielle (1)
  • Informatique. Modélisation et vérification (1)
  • Informatique. Théorie des jeux (1)
  • Informatique. Web sémantique (1)
  • Ingénierie Industrielle : Unité de recherche en Mécanique - Laboratoire Roberval (UMR-7337) (1)
  • Ingénierie de la Cognition, de l'interaction, de l'Apprentissage et de la création (1)
  • Ingénierie de la cognition, de l'interaction, de l'apprentissage et de la création (1)
  • Ingénierie des systèmes complexes (1)
  • Ingénierie informatique (1)
  • Ingénierie pour la Santé, la Cognition et l'Environnement (1)
  • Intelligence Artificielle / Aide à la décision (1)
  • Interdisciplinaire (1)
  • LINGUISTIQUE (1)
  • Langue et Littérature Anglaises (1)
  • Langues et littérature anglaises et anglo saxonnes (1)
  • Langues et littératures étrangères (1)
  • Langues et littératures étrangères - Didactique des langues (1)
  • Langues, Littératures et Civilisations (1)
  • Langues, littératures et civilisations anglaises et anglo-saxonnes (1)
  • Langues, littératures et civilisations anglophones (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (190)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (117)
  • École doctorale Informatique, télécommunications et électronique de Paris (76)
  • École doctorale en Informatique et Mathématiques de Lyon (58)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (56)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (56)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (40)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (37)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (33)
  • École doctorale Sciences pour l'Ingénieur (Lille) (31)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (30)
  • École doctorale Sciences mathématiques de Paris centre (Paris) (29)
  • I2S - Information, Structures, Systèmes (28)
  • École doctorale INTERFACES : approches interdisciplinaires, fondements, applications et innovation (Palaiseau, Essonne ; 2015-....) (21)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (21)
  • Ecole doctorale Informatique de Paris-Sud (19)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (19)
  • École doctorale sciences exactes et leurs applications (Pau, Pyrénées Atlantiques) (19)
  • École doctorale Langage et langues (Paris) (17)
  • École doctorale langues, littératures et sciences humaines (Grenoble) (16)
  • École doctorale Cerveau, cognition, comportement (Paris) (15)
  • École doctorale Études anglophones, germanophones, et européennes (2009-2019 ; Paris) (15)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (13)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (13)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (13)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (13)
  • École doctorale Systèmes (Toulouse) (12)
  • Ecole doctorale de Sciences du Langage (Paris) (11)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (11)
  • École doctorale Comportement, Langage, Éducation, Socialisation, Cognition (Toulouse) (11)
  • École doctorale Connaissance, langage et modélisation (Nanterre) (11)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (11)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (11)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (11)
  • MATHSTIC (10)
  • École doctorale Lettres, langues, linguistique, arts (Lyon) (10)
  • École doctorale Sciences de l'homme et de la société (Villeneuve d'Ascq, Nord) (10)
  • École doctorale ingénierie pour la santé, la cognition, l'environnement (Grenoble) (10)
  • École doctorale mathématiques, information et ingénierie des systèmes (Caen) (10)
  • École doctorale 71, Sciences pour l'ingénieur (Compiègne) (9)
  • École doctorale Concepts et langages (Paris) (8)
  • École doctorale Langues, littératures et sociétés du monde (Paris) (8)
  • École doctorale de l'École des hautes études en sciences sociales (8)
  • École doctorale de l'École pratique des hautes études (Paris) (8)
  • École doctorale sciences et ingénierie des systèmes, de l'environnement et des organisations (Chambéry) (8)
  • Ecole doctorale Sciences pour l'Ingénieur (Troyes, Aube) (7)
  • École doctorale Montaigne-Humanités (Pessac, Gironde) (7)
  • École doctorale Sciences Ingénierie Santé (Saint-Etienne) (7)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018) (7)
  • École doctorale Cognition, comportements, conduites humaines (Boulogne-Billancourt, Hauts-de-Seine) (6)
  • École doctorale Ingénierie - matériaux mécanique énergétique environnement procédés production (Grenoble) (6)
  • École doctorale Sciences et Ingénierie (Evry ; 2008-2015) (6)
  • Ecole doctorale de Dauphine (Paris) (5)
  • Information, Structures, Systèmes (Montpellier ; École Doctorale ; 2009-2014) (5)
  • École doctorale 536 « Sciences et agrosciences » (Avignon) (5)
  • École doctorale Arts, Lettres, Langues (Rennes) (5)
  • École doctorale E2S Environnements, Santé, STIC (Dijon ; ....-2012) (5)
  • École doctorale Philosophie (Paris) (5)
  • École doctorale Pierre Louis de santé publique : épidémiologie et sciences de l'information biomédicale (Paris) (5)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (5)
  • École doctorale des sciences physiques et de l’ingénieur (Talence, Gironde) (5)
  • École doctorale histoire, mémoire, patrimoine, langage (Mont- Saint- Aignan, Seine-Maritime) (5)
  • Ecole Doctorale Cognition, Langage et Education (Aix-en-Provence) (4)
  • Ecole doctorale Langages, Idées, Sociétés, Institutions, Territoires (Dijon ; 2007-2016) (4)
  • Ecole doctorale Sciences et Technologies de l'Information, des Télécommunications et des Systèmes (Orsay, Essonne ; 2000-2015) (4)
  • École doctorale Cognition, langage, interaction (Saint-Denis, Seine-Saint-Denis) (4)
  • École doctorale Lettres, langues, spectacles (Nanterre) (4)
  • École doctorale Sciences de l'Homme et de la Société (Sceaux, Hauts-de-Seine ; 2015-....) (4)
  • École doctorale Sciences de la mer et du littoral (Plouzané) (4)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (4)
  • École doctorale des lettres, sciences humaines et sociales (Clermont-Ferrand) (4)
  • École doctorale Éducation, langages, interactions, cognition, clinique (Nantes) (4)
  • Ecole doctorale Sciences pour l'ingénieur (Clermont-Ferrand) (3)
  • Ecole doctorale Sciences, technologies, santé (Reims, Marne) (3)
  • École Doctorale Neurosciences et Cognition (NSCo) (3)
  • École doctorale Arts, Lettres, Langues, Philosophie, Communication (Toulouse) (3)
  • École doctorale Environnements, Santé (Dijon ; Besançon ; 2012-....) (3)
  • École doctorale Euclide (La Rochelle ; 2018-....) (3)
  • École doctorale Frontières de l'innovation en recherche et éducation (Paris) (3)
  • École doctorale Lettres, Communication, Langues, Arts (Dijon ; Besançon ; 2017-....) (3)
  • École doctorale Lettres, sciences humaines et sociales (Nice ; 1992-2016) (3)
  • École doctorale Littérature française et comparée (Paris) (3)
  • École doctorale SIMPPé - Sciences et ingénierie des molécules, des produits, des procédés, et de l'énergie (Lorraine) (3)
  • École doctorale SLTC - Sociétés, Langages, Temps, Connaissances (Lorraine) (3)
  • École doctorale Santé, Sciences Biologiques et Chimie du Vivant (Centre-Val de Loire) (3)
  • École doctorale Sciences de la mer (Plouzané, Finistère) (3)
  • École doctorale Sciences et Ingénierie des Systèmes, Mathématiques, Informatique (Limoges) (3)
  • École doctorale Sciences physiques mathématiques et de l'Information pour l'ingénieur (Saint-Etienne-du-Rouvray, Seine-Maritime ; ....-2016) (3)
  • École doctorale Sciences pour l'Ingénieur (Châtenay-Malabry, Hauts de Seine) (3)
  • École doctorale Sociétés, humanités, arts et lettres (Nice ; 2016-....) (3)
  • École doctorale Temps, Espaces, Sociétés, Cultures (Toulouse) (3)
  • École doctorale de Management Panthéon-Sorbonne (Paris) (3)
  • École doctorale de droit et sciences humaines (Cergy-Pontoise, Val-d'Oise) (3)
  • École doctorale sciences sociales et humanités (Pau, Pyrénées Atlantiques) (3)
  • Biodiversité, Agriculture, Alimentation, Environnement, Terre, Eau (Montpellier ; École Doctorale ; 2015-...) (2)
  • Ecole Doctorale Sciences de la Vie et de la Santé (Marseille) (2)
  • Laboratoire de mathématiques et d'informatique (Bordeaux) (2)
  • Langues, Littératures, Cultures, Civilisations (2)
  • Lettres, Arts, Sciences humaines et sociales (2)
  • MATISSE (2)
  • Systèmes (2)
  • École Doctorale d'Informatique et Mathématiques (Lyon) (2)
  • École doctorale Abbé Grégoire (Paris) (2)
  • École doctorale Agriculture, Alimentation, Biologie, Environnement, Santé (Paris ; 2015-....) (2)
  • École doctorale Cognition, comportements, langage(s) (Poitiers ; 2009-2018) (2)
  • École doctorale Complexité du vivant (Paris) (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 Mathématiques, sciences de l'information et de l'ingénieur (Strasbourg ; 1997-....) (2)
  • École doctorale Mondes anciens et médiévaux (Paris) (2)
  • École doctorale Physique en Île-de-France (Paris) (2)
  • École doctorale Savoirs scientifiques : Epistémologie, Histoire des sciences, Didactique des disciplines (Paris) (2)
  • École doctorale Sciences et Ingénierie, Matériaux, Modélisation et Environnement (Champs-sur-Marne, Seine-et-Marne) (2)
  • École doctorale Sciences et ingénierie (Cergy-Pontoise, Val d'Oise) (2)
  • École doctorale Sciences mathématiques de Paris centre (2)
  • École doctorale Sciences pour l'ingénieur (Nantes) (2)
  • École doctorale Sciences écologiques, vétérinaires, agronomiques et bioingénieries (Toulouse) (2)
  • École doctorale Sciences, Technologies et Santé (Saint-Denis, La Réunion) (2)
  • École doctorale Sciences, technologie et santé (Amiens) (2)
  • École doctorale Sociétés méditerranéennes et sciences humaines. ED 509 (Toulon) (2)
  • École doctorale Sociétés, politique, santé publique (Bordeaux) (2)
  • École doctorale de mathématiques Hadamard (Orsay, Essonne ; 2015-....) (2)
  • École doctorale de philosophie (Lyon) (2)
  • École doctorale pluridisciplinaire Jean-Henri Lambert, ED 494 (Mulhouse) (2)
  • École doctorale sciences de gestion (Grenoble) (2)
  • École doctorale terre, univers, environnement (Grenoble) (2)
  • Biologie-Santé (1)
  • CS - Cultures et Sociétés (1)
  • ED SIS 488 (1)
  • ELICC (1)
  • EOS - Économie, Organisation, Société (1)
  • Ecole Doctorale Informatique et Information Pour La Societe. 1992-2009 (Lyon) (1)
  • Ecole Doctorale Mecanique, Energetique, Genie Civil, Acoustique (MEGA) (Villeurbanne) (1)
  • Ecole Doctorale Sciences Economiques et de Gestion d'Aix-Marseille (Aix-en-Provence) (1)
  • Ecole Doctorale de l'Institut Polytechnique de Paris (1)
  • Ecole doctorale Cultures et Sociétés (Créteil ; 2010-2015) (1)
  • Ecole doctorale Droit, Economie-Gestion, Sociétés, Territoires (Nantes) (1)
  • Ecole doctorale Economie, organisations, société (Nanterre) (1)
  • Ecole doctorale Ingénierie des Systèmes, Matériaux, Mécanique, Énergétique (Paris) (1)
  • Ecole doctorale Langages, Espaces, Temps, Sociétés (Besançon ; 1991-2016) (1)
  • Ecole doctorale Langages, Temps, Sociétés (LTS) (Nancy-Metz) (1)
  • Ecole doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (1)
  • Ecole doctorale Santé, sciences, technologies (Tours) (1)
  • Ecole doctorale Sciences de l'homme et de la société (Orléans) (1)
  • Ecole doctorale Sciences de l'homme et de la société (Reims, Marne) (1)
  • Ecole doctorale Sciences et technologies (Orléans) (1)
  • Ecole transdisciplinaire Lettres - Sciences (1)
  • Ed Sis 488 (1)
  • Electronique, Electrotechnique, Automatique, Traitement du Signal (EEATS) (1)
  • IAEM Lorraine (1)
  • Information, Communication, Modélisation et Simulation (1)
  • Institut Galilée (Villetaneuse, Seine-Saint-Denis) (1)
  • MSTIC : Mathématiques et Sciences et Technologies de l'Information et de la Communication (1)
  • Mathématiques Informatique Télécommunications de Toulouse (1)
  • Mathématiques et Sciences et Technologies de l'Information et de la Communication (1)
  • SPIM - Sciences Physiques pour l'Ingénieur et Microtechniques (1)
  • Sciences Chimiques et Biologiques pour la Santé (1)
  • Sciences et ingénierie (1)
  • Sciences pour l'ingénieur (SPI) (1)
  • Sociétés, Politique, Santé Publique (1)
  • Université de Corse (1975-....). UMR CNRS 6134 "Sciences pour l'Environnement" (SPE) (1)
  • VIE-AGRO-SANTE (1)
  • École Doctorale Biologie Santé Biotechnologies (Toulouse) (1)
  • École Doctorale INTER-MED (Perpignan) (1)
  • École Doctorale Interdisciplinaire Sciences-Santé. (Villeurbanne) (1)
  • École Doctorale Mathématiques, Informatique et Télécommunications (Toulouse) (1)
  • École Doctorale Systèmes (Toulouse) (1)
  • École doctorale 58, Langues, Littératures, Cultures, Civilisations (Montpellier ; ....-2014) (1)
  • École doctorale 58, Langues, Littératures, Cultures, Civilisations (Montpellier ; 2015-....) (1)
  • École doctorale Archéologie (Paris) (1)
  • École doctorale Aéronautique-Astronautique (Toulouse) (1)
  • École doctorale BioSE - Biologie, Santé, Environnement (1)
  • École doctorale Biologie-Santé (Rennes) (1)
  • École doctorale Biologie-Santé Nantes-Angers (1)
  • École doctorale Cancérologie, Biologie, Médecine, Santé (Villejuif, Val-de-Marne ; 2015-....) (1)
  • École doctorale Civilisations, cultures, littératures et sociétés (Paris) (1)
  • École doctorale Droit et Science Politique Pierre Couvrat (Poitiers) (1)
  • École doctorale Droit et sciences politiques, économiques et de gestion (Nice) (1)
  • École doctorale Droit international et européen (Paris) (1)
  • École doctorale Génie électrique, électronique et télécommunications (Toulouse) (1)
  • École doctorale Humanités Nouvelles - Fernand Braudel (Lorraine) (1)
  • École doctorale Humanités et Langues (Centre-Val de Loire) (1)
  • École doctorale Langue, littérature, image : civilisation et sciences humaines (domaines anglophone, francophone et d'Asie orientale) (Paris ; 1992-....) (1)
  • École doctorale Littératures, cultures et sciences sociales (Caen ; ....-2011) (1)
  • École doctorale Milieux, cultures et sociétés du passé et du présent (Nanterre) (1)
  • École doctorale Physique et chimie-physique (Strasbourg ; 1994-....) (1)
  • École doctorale Pratiques et théories du sens (Saint-Denis, Seine-Saint-Denis) (1)
  • École doctorale Santé Publique (Le Kremlin-Bicêtre, Val-de-Marne ; 2015-...) (1)
  • École doctorale Sciences de l'homme et de la société (Tours ; 1996-2018) (1)
  • École doctorale Sciences de la matière (Rennes) (1)
  • École doctorale Sciences de la mer (1)
  • École doctorale Sciences du Langage, Psychologie, Cognition, Education (Poitiers) (1)
  • École doctorale Sciences du Management Gestion-Organisation-Décision-Information (Paris) (1)
  • École doctorale Sciences du Végétal : du gène à l'écosystème (Orsay, Essonne ; 2015-....) (1)
  • École doctorale Sciences fondamentales et appliquées (Nice) (1)
  • École doctorale Sciences humaines et sociales : cultures, individus, sociétés (Paris ; 1994-2019) (1)
  • École doctorale Sciences humaines et sociales – Perspectives européennes (Strasbourg ; 2009-....) (1)
  • École doctorale Sciences pour l'ingénieur, Géosciences, Architecture (Nantes) (1)
  • École doctorale Sciences sociales (Saint-Denis, Seine-Saint-Denis) (1)
  • École doctorale Sociétés, Cultures, Echanges (SCE) (Angers) (1)
  • École doctorale d'Économie (Paris) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • anglais (929)
  • français (746)
  • espagnol (7)
  • null (3)
  • arabe (2)
  • basque (2)
  • italien (2)
  • allemand (1)
  • portugais (1)
  • russe (1)
  • chinois (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Bensalem Saddek (15)
  • Oquendo Flavio (10)
  • Chbeir Richard (9)
  • Aït-Ameur Yamine (8)
  • Barkaoui Kamel (8)
  • Hacid Mohand Saïd (8)
  • Nicolle Christophe (8)
  • Bozga Dorel Marius (7)
  • Desclès Jean-Pierre (7)
  • Gaussier Éric (7)
  • Lakhnech Yassine (7)
  • Yvon François (7)
  • Boitet Christian (6)
  • Claramunt Christophe (6)
  • Kahane Sylvain (6)
  • Layaida Nabil (6)
  • Loulergue Frédéric (6)
  • Maler Oded (6)
  • Sifakis Joseph (6)
  • Toguyeni Abdoul Karim Armand (6)
  • Baudry Benoit (5)
  • Blazy Sandrine (5)
  • Boughanem Mohand (5)
  • Dubois Catherine (5)
  • Gaaloul Walid (5)
  • Genevès Pierre (5)
  • Jensen Thomas (5)
  • Morgenstern Aliyah (5)
  • Nakagawa Elisa Yumi (5)
  • Pétrot Frédéric (5)
  • Spector Benjamin (5)
  • Amghar Youssef (4)
  • Badr Youakim (4)
  • Barais Olivier (4)
  • Bloch Isabelle (4)
  • Bouzeghoub Amel (4)
  • Calvary Gaëlle (4)
  • Cavalli Ana (4)
  • Dupuy-Chessa Sophie (4)
  • Euzenat Jérôme (4)
  • Faiz Rim (4)
  • Front Agnès (4)
  • Gensel Jérôme (4)
  • Guerrini Stefano (4)
  • Huchard Marianne (4)
  • Kaci Souhila (4)
  • Le Gall Pascale (4)
  • Le Thanh Nhan (4)
  • Legay Axel (4)
  • Mammar Amel (4)
  • Monniaux David (4)
  • Moy Matthieu (4)
  • Mrissa Michaël (4)
  • Méhaut Jean-François (4)
  • Novakova Iva (4)
  • Ogier Jean-Marc (4)
  • Pantel Marc (4)
  • Pesty Sylvie (4)
  • Ray Cyril (4)
  • Rebuschi Georges (4)
  • Retoré Christian (4)
  • Rutten Eric (4)
  • Tata Samir (4)
  • Terrier François (4)
  • Wolff Burkhart (4)
  • Abel Marie-Hélène (3)
  • Alla Hassane Lotfi (3)
  • Amer-Yahia Sihem (3)
  • Aniorté Philippe (3)
  • Attali Isabelle (3)
  • Barbier Franck (3)
  • Bellynck Valérie (3)
  • Benslimane Djamal (3)
  • Benzaken Véronique (3)
  • Boochs Frank (3)
  • Borillo Mario (3)
  • Borrione Dominique (3)
  • Brunie Lionel (3)
  • Chemla Emmanuel (3)
  • Chevallet Jean-Pierre (3)
  • Collet Christine (3)
  • Comyn-Wattiau Isabelle (3)
  • Cruz Christophe (3)
  • Curien Pierre-Louis (3)
  • Dang Thao (3)
  • Debar Hervé (3)
  • Delmas Claude (3)
  • Desainte-Catherine Myriam (3)
  • Donsez Didier (3)
  • Faure Jean-Marc (3)
  • Fernandez Jean-Claude (3)
  • Filali Mamoun (3)
  • Fradet Pascal (3)
  • Gaio Mauro (3)
  • Gaudel Marie-Claude (3)
  • Gillet Geneviève (3)
  • Girault Alain (3)
  • Goasdoué François (3)
  • Gosselin Laurent (3)
  • Grau Brigitte (3)
  • Groote Philippe de (3)
  • Gérard Sébastien (3)
  • Haddad Serge (3)
  • Hemforth Barbara (3)
  • Henrio Ludovic (3)
  • Herzig Andreas (3)
  • Iosif Radu (3)
  • Julliand Jacques (3)
  • Kamsu-Foguem Bernard (3)
  • Lafourcade Pascal (3)
  • Lagadec Loïc (3)
  • Laleau Régine (3)
  • Lanet Jean-Louis (3)
  • Laugier Christian (3)
  • Leclère Michel (3)
  • Ledru Yves (3)
  • Lesot Marie-Jeanne (3)
  • Maag Stéphane (3)
  • Mackay Wendy (3)
  • Madelaine Éric (3)
  • Manolescu Goujot Ioana Gabriela (3)
  • Martin Hervé (3)
  • Maudet Nicolas (3)
  • Mazza Damiano (3)
  • Merz Stephan (3)
  • Mokhtari Mounir (3)
  • Montagnat Johan (3)
  • Monticolo Davy (3)
  • Mugnier Marie-Laure (3)
  • Métais Elisabeth (3)
  • Palma Noël de (3)
  • Panetto Hervé (3)
  • Pautet Laurent (3)
  • Percebois Christian (3)
  • Pichardie David (3)
  • Poibeau Thierry (3)
  • Pouzet Marc (3)
  • Pérez Christian (3)
  • Reynaud Chantal (3)
  • Rieu Dominique (3)
  • Roche Mathieu (3)
  • Ronfard Rémi (3)
  • Rousseaux Francis (3)
  • Roux Olivier (3)
  • Rusinowitch Michaël (3)
  • Récanati François (3)
  • Salaün Gwen (3)
  • Schmitt Alan (3)
  • Senellart Pierre (3)
  • Sentieys Olivier (3)
  • Shariat Ghodous Parisa (3)
  • Si-Said Cherfi Samira (3)
  • Solaiman Basel (3)
  • Strecker Martin (3)
  • Sunyé Gerson (3)
  • Torres-Moreno Juan-Manuel (3)
  • Tuller Laurie (3)
  • Yétongnon Kokou (3)
  • Zaïdi Fatiha (3)
  • Abdalla Michel (2)
  • Abdulrab Habib (2)
  • Agoulmine Nazim (2)
  • Apvrille Ludovic (2)
  • Asher Nicholas (2)
  • Aufaure Marie-Aude (2)
  • Bach Francis (2)
  • Baciu Monica (2)
  • Baelde David (2)
  • Barthès Jean-Paul (2)
  • Bassac Christian (2)
  • Bellahsene Zohra (2)
  • Bellik Yacine (2)
  • Ben Amor Nahla (2)
  • Benbernou Salima (2)
  • Benharkat Aicha-Nabila (2)
  • Bennis-Zeitouni Karine (2)
  • Benoist Jocelyn (2)
  • Bernard Alain (2)
  • Berrut Catherine (2)
  • Bertelle Cyrille (2)
  • Bertot Yves (2)
  • Bertrand Nathalie (2)
  • Bhargavan Karthikeyan (2)
  • Bidan Christophe (2)
  • Bigand Emmanuel (2)
  • Bimbot Frédéric (2)
  • Blaschko Matthew B. (2)
  • Blay-Fornarino Mireille (2)
  • Bodeveix Jean-Paul (2)
  • Boissier Olivier (2)
  • Bon Philippe (2)
  • Bonnin Jean-Marie (2)
  • Bonnot Christine (2)
  • Bouchenak Sara (2)
  • Boudol Gérard (2)
  • Bourcier Johann (2)
  • Bouyer-Decitre Patricia (2)
  • Bouzefrane Samia (2)
  • Boyer Fabienne (2)
  • Brémond François (2)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (1042)
  • Sciences de l'ingénieur (176)
  • Linguistique générale (88)
  • Langues et linguistique (75)
  • Informatique, information, généralités (69)
  • Mathématiques (58)
  • Médecine et santé (36)
  • Langue anglaise. Anglo-saxon (28)
  • Psychologie (27)
  • Gestion et organisation de l'entreprise (26)
  • Sciences sociales, sociologie, anthropologie (22)
  • Philosophie, psychologie (21)
  • Sciences de la vie, biologie, biochimie (19)
  • Autres langues (18)
  • Physique (16)
  • Littératures anglaise et anglo-saxonne (13)
  • Histoire et critique littéraires, rhétorique (11)
  • Education et enseignement (10)
  • Technologie (Sciences appliquées) (10)
  • Epistémologie, causalité, genre humain (9)
  • Langues romanes. Français (8)
  • Géographie et voyages (7)
  • Fabrication industrielle (6)
  • Bibliothéconomie et sciences de l'information (4)
  • Economie (4)
  • Droit (4)
  • Langues espagnole et portugaise (4)
  • Arts. Beaux-arts et arts décoratifs (4)
  • Musique (4)
  • Littérature de langues romanes. Littérature française (4)
  • Géographie et histoire (4)
  • Philosophie occidentale moderne et philosophies non orientales (3)
  • Sciences de la terre (3)
  • Littératures espagnole et portugaise (3)
  • Histoire ancienne et préhistoire (3)
  • Les divers systèmes et écoles philosophiques (2)
  • Logique (2)
  • Philosophie de l'Antiquité, du Moyen Âge, de l'Orient (2)
  • Science politique (2)
  • Langues helléniques. Grec classique (2)
  • Bâtiments (2)
  • Photographie et les photographies, art numérique (2)
  • Littératures des autres langues (2)
  • Religion (1)
  • Théologie morale et pratiques chrétiennes (1)
  • Commerce, communications, transports (1)
  • Ethnologie (1)
  • Langues italienne, roumaine, rhéto-romane (1)
  • Sciences de la nature et mathématiques (1)
  • Animaux. Zoologie (1)
  • Agronomie, agriculture et médecine vétérinaire (1)
  • Urbanisme (1)
  • Architecture (1)
  • Arts plastiques. Sculpture (1)
  • Arts du spectacle, loisirs (1)
  • Littérature américaine en anglais (1)
  • Littérature allemande (1)
  • Littérature latine (1)
  • Histoire générale de l'Afrique (1)

Domaines :

Fullscreen

1653 thèses pour Formal semantics

Formal semantics of multitier languages

par Adam Khayam sous la direction de Alan Schmitt et de Tamara Rezk. - Rennes 1

Informatique

En préparation depuis le 16-09-2019
 thèse en cours de préparation
Mathématiques et Informatique

Soutenue le 12-06-2017
thèse soutenue
Informatique

Soutenue le 03-07-2018
thèse soutenue

...together in a difference language, makinguse of the aforementioned framework to give formal semantics to...

Accéder en ligne
Sciences du langage

Soutenue le 24-03-2016
thèse soutenue

.... In J. Groe-nendijk, M. Stokhof, & T. M. V. Janssen (Eds.), Formal methods in the study oflanguage...

Accéder en ligne
Informatique

Soutenue le 12-12-2012
thèse soutenue

...semantics.The aim of this thesis is to provide a formal environment for specifying andverifying complex...

Accéder en ligne
Informatique

Soutenue le 14-12-2018
thèse soutenue

...].This semantics is a huge inductive definition with more than 800 rules andhinders formal proofs as Coq...

Accéder en ligne
Informatique

Soutenue en 2004
thèse soutenue
Informatique

Soutenue en 2010
thèse soutenue
Informatique

Soutenue le 12-12-2017
thèse soutenue

...formal definition, the comparison with the other existingranking-based semantics is still difficult. It...

Accéder en ligne

...provides a formal seman-tics for purpose restrictions which is based on simulating ignorance of3...

Accéder en ligne

Résultats 1 à 10