Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Toulouse 3 (12)
  • Nice (11)
  • Paris 11 (7)
  • Paris 6 (6)
  • Cachan, Ecole normale supérieure (4)
  • Grenoble (4)
  • Paris 7 (3)
  • Sorbonne Paris Cité (3)
  • Université Paris sciences et lettres (3)
  • Université de Lorraine (3)
  • Aix-Marseille 1 (2)
  • Bordeaux (2)
  • Grenoble 1 (2)
  • Grenoble INPG (2)
  • Montpellier 2 (2)
  • Paris 4 (2)
  • Paris Sciences et Lettres (ComUE) (2)
  • Paris, EHESS (2)
  • Pau (2)
  • Rennes 1 (2)
  • Rouen (2)
  • Sorbonne université (2)
  • Toulouse, INPT (2)
  • Toulouse, ISAE (2)
  • Université Grenoble Alpes (2)
  • université Paris-Saclay (2)
  • Paris, ENMP (1)
  • Aix-Marseille (1)
  • Besançon (1)
  • Bordeaux 1 (1)
  • Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique (1)
  • Clermont-Ferrand 2 (1)
  • Lille 1 (1)
  • Limoges (1)
  • Lorient (1)
  • Lyon (1)
  • Lyon 1 (1)
  • Lyon, École normale supérieure (1)
  • Montpellier (1)
  • Nancy 1 (1)
  • Orléans (1)
  • Palaiseau, Ecole polytechnique (1)
  • Paris 1 (1)
  • Paris 12 (1)
  • Paris 3 (1)
  • Paris 9 (1)
  • Paris Est (1)
  • Paris, CNAM (1)
  • Paris, ENST (1)
  • Paris, Télécom ParisTech (1)
  • Poitiers (1)
  • Saint-Etienne, EMSE (1)
  • Sofijski universitet Sv. Kliment Ohridski (1)
  • Toulouse 1 (1)
  • Toulouse 2 (1)
  • Toulouse, INSA (1)
  • Universitatea politehnica (Bucarest) (1)
  • Université Abdelhamid Mehri - Constantine 2 (Constantine, Algérie) (1)
  • Université Côte d'Azur (ComUE) (1)
  • Université M'hamed Bougara de Boumerdès (Algérie) (1)
  • Université Paris-Saclay (ComUE) (1)
  • Université Politechnica de Timisoara (1)
  • École nationale d'ingénieurs de Tunis (Tunisie) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (66)
  • Sciences appliquées (10)
  • Sciences du langage (4)
  • Linguistique (3)
  • Informatique et télécommunications (2)
  • Lettres (2)
  • Sciences cognitives (2)
  • Automatique, Traitement du Signal et des Images, Génie Informatique (1)
  • AutomatiqueAutomatique (1)
  • Electronique (1)
  • Electronique et communications (1)
  • Informatique et application (1)
  • Informatique et applications (1)
  • Informatique, temps réel, robotique et automatique (1)
  • Informatique. Intelligence artificielle (1)
  • Informatique. Systèmes et communication (1)
  • Intelligence artificielle (1)
  • Lettres, sciences humaines et sociales (1)
  • Linguistique informatique (1)
  • Linguistique théorique, descriptive et automatique (1)
  • Linguistique. Sémantique formelle (1)
  • Mathématiques (1)
  • Mathématiques appliquées aux sciences sociales (1)
  • Mathématiques, informatique et application aux sciences de l'homme (1)
  • Micro et nanoélectronique (1)
  • Philosophie (1)
  • Philosophie et sciences sociales (1)
  • Programmation et systèmes (1)
  • Robotique et informatique (1)
  • Réseaux, télécom, système et architecture (1)
  • Sciences du langage - linguistique. Sémantique formelle (1)
  • Sciences et techniques (1)
  • Stic (1)
  • Sureté de logiciel et calcul de haute performance (1)
  • Systèmes automatiques et micro-électroniques (1)
  • Électronique Électrotechnique Automatique (1)
  • Électronique, électrotechnique, automatique (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • Ecole doctorale Informatique de Paris-Sud (4)
  • École doctorale Cerveau, cognition, comportement (Paris) (3)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (3)
  • École doctorale Informatique, télécommunications et électronique de Paris (3)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (3)
  • École doctorale en Informatique et Mathématiques de Lyon (3)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (3)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (2)
  • École doctorale Concepts et langages (Paris) (2)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (2)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (2)
  • École doctorale Sciences du langage (Paris ; 1992-2019) (2)
  • École doctorale Sciences et technologies de l'information et de la communication (2)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (2)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (2)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (1)
  • IAEM Lorraine (1)
  • École doctorale Comportement, Langage, Éducation, Socialisation, Cognition (Toulouse) (1)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (1)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (1)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (1)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (1)
  • École doctorale Sciences et Ingénierie des Systèmes, Mathématiques, Informatique (Limoges) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (1)
  • École doctorale Sciences mathématiques de Paris centre (1)
  • École doctorale Sciences mathématiques de Paris centre (Paris ; 2000-....) (1)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (1)
  • École doctorale Systèmes (Toulouse) (1)
  • École doctorale de l'École des hautes études en sciences sociales (1)
  • École doctorale des sciences pour l'ingénieur et aéronautique - SPI&A (Poitiers) (1)
  • École doctorale sciences exactes et leurs applications (Pau, Pyrénées Atlantiques) (1)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (86)
  • anglais (23)
  • null (2)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Borillo Mario (5)
  • Pouzet Marc (5)
  • Attali Isabelle (3)
  • Courtiat Jean-Pierre (3)
  • Berry Gérard (2)
  • Borrione Dominique (2)
  • Caromel Denis (2)
  • Desclès Jean-Pierre (2)
  • Diaz Michel (2)
  • Faure Jean-Marc (2)
  • Granger Gilles-Gaston (2)
  • Groote Philippe de (2)
  • Jensen Thomas (2)
  • Pagetti Claire (2)
  • Rousset Marie-Christine (2)
  • Spector Benjamin (2)
  • Spyratos Nicolas (2)
  • Abel Olivier (1)
  • Amblard Maxime (1)
  • Andreu David (1)
  • Apvrille Ludovic (1)
  • Aurnague Michel (1)
  • Aït-Ameur Yamine (1)
  • Barbier Franck (1)
  • Barkaoui Kamel (1)
  • Belala Faiza (1)
  • Beliakov Vladimir (1)
  • Benzaken Véronique (1)
  • Bhargavan Karthikeyan (1)
  • Blackburn Patrick (1)
  • Blay-Fornarino Mireille (1)
  • Boitet Christian (1)
  • Boniol Frédéric (1)
  • Boudjlida Nacer (1)
  • Boudol Gérard (1)
  • Bouhoula Adel (1)
  • Boulme Sylvain (1)
  • Bourke Timothy (1)
  • Boussinot Frédéric (1)
  • Bérard Béatrice (1)
  • Castellani Ilaria (1)
  • Chailloux Emmanuel (1)
  • Chambreuil Michel (1)
  • Chemla Emmanuel (1)
  • Choppy Christine (1)
  • Clerbout Mireille (1)
  • Cléro Jean-Pierre (1)
  • Cohen Albert (1)
  • Contejean Evelyne (1)
  • Coulette Bernard (1)
  • Cretu Vladimir-Ioan (1)
  • Cristea Valentin (1)
  • Danlos Laurence (1)
  • De Sainte-Catherine Myriam (1)
  • Delmas Rémi (1)
  • Dieng Rose (1)
  • Durieux Jean-Louis (1)
  • Ellouze Noureddine (1)
  • Fabre Christian (1)
  • Falcone Yliès (1)
  • Ferreira Da Silva Catarina (1)
  • Frydman Claudia (1)
  • Féraud Louis (1)
  • Gaio Mauro (1)
  • Gandon Fabien (1)
  • Garavel Hubert (1)
  • Gava Frédéric (1)
  • Ghallab Malik (1)
  • Ginzburg Jonathan (1)
  • Girard Patrick (1)
  • Gosselin Laurent (1)
  • Guitart René (1)
  • Hameurlain Nabil (1)
  • Henrio Ludovic (1)
  • Hirschkoff Daniel (1)
  • Ingrand Félix (1)
  • Jambon Francis (1)
  • Jayez Jacques (1)
  • Jomier Geneviève (1)
  • Jorrand Philippe (1)
  • Keller Chantal (1)
  • Klaudel Hanna (1)
  • Lanet Jean-Louis (1)
  • Laroussinie François (1)
  • Le Guernic Paul (1)
  • Leclère Michel (1)
  • Leroy Xavier (1)
  • Libourel Thérèse (1)
  • Loulergue Frédéric (1)
  • Madaule Françoise (1)
  • Madelaine Éric (1)
  • Maraninchi Florence (1)
  • Marteau Pierre-François (1)
  • Marty Jean-Charles (1)
  • Meghini Carlo (1)
  • Memmi Gérard (1)
  • Merz Stephan (1)
  • Mezghiche Mohamed (1)
  • Mille Alain (1)
  • Mosbah Mohamed (1)
  • Mounier Laurent (1)
  • Mugnier Marie-Laure (1)
  • Najm Elie (1)
  • Ouabdesselam Farid (1)
  • Pacalet Renaud (1)
  • Panetto Hervé (1)
  • Pedroza Gabriel (1)
  • Pelz Elisabeth (1)
  • Petrot (mstii) Frédéric (1)
  • Pierre Laurence (1)
  • Polacsek Thomas (1)
  • Potop-Butucaru Dumitru (1)
  • Prié Yannick (1)
  • Protzenko Jonathan (1)
  • Péroche Bernard (1)
  • Racoceanu Daniel (1)
  • Rebuschi Georges (1)
  • Retoré Christian (1)
  • Rosier-Catach Irène (1)
  • Rueda Camilo (1)
  • Ryl Isabelle (1)
  • Récanati François (1)
  • Salaun Gwen (1)
  • Sancier-Château Anne (1)
  • Schlenker Philippe (1)
  • Schmitt Alan (1)
  • Shariat Ghodous Parisa (1)
  • Sibertin-Blanc Christophe (1)
  • Sifakis Joseph (1)
  • Signoles Julien (1)
  • Simone Robert de (1)
  • Soutet Olivier (1)
  • Stefani Jean-Bernard (1)
  • Strecker Martin (1)
  • Tchaouchev Assen (1)
  • Terrier François (1)
  • Villaneau Jeanne (1)
  • Wiels Virginie (1)
  • Wolff Burkhart (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (76)
  • Sciences de l'ingénieur (24)
  • Linguistique générale (9)
  • Langues et linguistique (7)
  • Mathématiques (3)
  • Histoire et critique littéraires, rhétorique (3)
  • Informatique, information, généralités (2)
  • Philosophie, psychologie (2)
  • Sciences sociales, sociologie, anthropologie (2)
  • Autres langues (2)
  • Technologie (Sciences appliquées) (2)
  • Psychologie (1)
  • Langues romanes. Français (1)
  • Sciences de la nature et mathématiques (1)
  • Physique (1)
  • Sciences de la vie, biologie, biochimie (1)

Domaines :

Fullscreen

119 thèses pour "Sémantique formelle"

Linguistique. Sémantique formelle

Soutenue en 2000
thèse soutenue
Sciences du langage - linguistique. Sémantique formelle

Soutenue le 12-11-2018
thèse soutenue

...pragmatique linguistique et de la sémantique formelle. Les types de                       conversation...

Accéder en ligne
Sciences appliquées

Soutenue en 1997
thèse soutenue

...Universidad Javeriana de CaliExaminateurRésuméSémantique Formelle et Vérification Automatique de Scénarios...

Accéder en ligne
Sciences cognitives

Soutenue le 03-12-2019
 thèse en cours de préparation
Sciences cognitives

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

Résultats 1 à 10