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)
  • Paris Sciences et Lettres (3)
  • Sorbonne Paris Cité (3)
  • Université de Lorraine (3)
  • Aix-Marseille 1 (2)
  • Bordeaux (2)
  • Grenoble 1 (2)
  • Grenoble INPG (2)
  • Montpellier 2 (2)
  • Paris 4 (2)
  • Pau (2)
  • Rennes 1 (2)
  • Rouen (2)
  • Sorbonne université (2)
  • Toulouse, INPT (2)
  • Toulouse, ISAE (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, EHESS (1)
  • Paris, ENST (1)
  • Paris, Télécom ParisTech (1)
  • Poitiers (1)
  • Saint-Etienne, EMSE (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 (60)
  • 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)
  • 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 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 Informatique, télécommunications et électronique de 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 de mathématiques et informatique (Talence, Gironde) (2)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (1)
  • Ecole doctorale de Sciences du Langage (Paris) (1)
  • IAEM Lorraine (1)
  • Informatique, télécommunications et électronique de Paris (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 pratiques (1998-2015 ; Cachan, Val-de-Marne) (1)
  • École doctorale Systèmes (Toulouse) (1)
  • École doctorale de Sciences du langage (Paris ; 1992-2019) (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 (85)
  • anglais (23)
  • null (2)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Borillo Mario (5)
  • Pouzet Marc (4)
  • 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)
  • 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)
  • 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)
  • 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)
  • 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)
  • 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)
  • 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)
  • Pelz Elisabeth (1)
  • Pierre Laurence (1)
  • Polacsek Thomas (1)
  • Potop-butucaru Dumitru (1)
  • Prié Yannick (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)
  • Sancier-Château Anne (1)
  • Schlenker Philippe (1)
  • Schmitt Alan (1)
  • Shariat Ghodous Parisa (1)
  • Sibertin-Blanc Christophe (1)
  • Sifakis Joseph (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 (70)
  • 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)
  • Sciences sociales, sociologie, anthropologie (2)
  • Autres langues (2)
  • Technologie (Sciences appliquées) (2)
  • Philosophie, psychologie (1)
  • 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

112 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

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

Accéder en ligne
Sciences appliquées

Soutenue en 1997
thèse soutenue
Sciences cognitives

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

En préparation depuis le 01-09-2016
 thèse en cours de préparation
Soutenance prévue le 03-12-2019

Résultats 1 à 10