Abduction  Algorithmique parallèle  Analyse formelle  Anneau de boole  Annotation de génomes  Answer Set Programming  Answer Set Programming  Apprentissage des modèles  Atteignabilité  Attracteurs  Attracteurs  Automatic proving  Base de grobner  Bases lexicales multilingues  Bioinformatique  Biotechnologie  Boole, Algèbre de  Calcul des propositions  Calcul formel  Calculabilite  Cd  Circularity  Circularité  Class taxonomy design  Collections  Compilateurs  Compilation  Completeness  Completude  Computability  Computational lexicography  Computer assisted teaching  Conception de taxonomies de classes  Concurrent constraint programming  Connaissances  Consistance  Consistency  Constraint logic programming  Correction  Corrections  Declarative dynamic geometry  Demonstration theoreme  Dictionaries  Dictionnairique  Direct manipulation  Dissimilarité entre objets  Données massives  Duplications de gènes  Déduction  Démonstration automatique  Efficacité  Eiao  Enseignement  Enseignement assisté ordinateur  Figure géométrique  Filtres à ADN  First order logic  Formal language  Geometric figure  Geomtetry  Géométrie  Géométrie dynamique déclarative  Inference rule  Informatique omniprésente  Informatique, automatique theorique, systemes  Informatique, automatique théorique, systèmes  Inférence de type  Intelligence artificielle  Interactions hôte-pathogène  LUSTRE  Langage formel  Langage naturel  Language theory  Lexical servers  Lexicographie -- Informatique  Lexicographie  Lexicologie  Lexicology  Logiciels -- Validation  Logiciels -- Vérification  Logique du premier ordre  Logique mathematique  Logique ordre 1  Logique temporelle  Machine paralléle  Man machine system  Manipulation directe  Mathematical logic  Mathématiques  Micromonde  Modes  Multilingual lexical databases  Méthode des tableaux  Natural language  Object dissimilarity  Object-based knowledge representation  Opera  Optimisations  Ordinateurs -- Programmation  Parallélisme  Parallélisme  Preuve de circuits  Programmation automatique  Programmation concurrente avec contraintes  Programmation logique avec contrainte  Programmation logique par contraintes  Programmation orientée objets  Programmation par contraintes  Prolog  Prolog  Prolog IV  Proof theory  Protocoles de réseaux d'ordinateurs  Raisonnement  Reasoning  Regle inference  Relation d'équivalence  Relations  Représentation des connaissances  Représentation des connaissances par objets  Régulation adaptive  Réseaux de régulation biologique  Réseaux d’automates  Réseaux d’automates avec le temps  Réseaux d’interactions entre protéines  Réseaux génétiques  Résolution de problème -- Informatique  Résolution de systèmes d'équations  Schémas XML  Sciences appliquees  Sciences appliquées  Sciences et techniques communes  Serveurs lexicaux  Solution of linear equation systems  Synthèse de programmes  Système homme machine  Systèmes complexes  Systèmes de transitions étiquetées  Systèmes experts  Teaching  Temporal logic  Termes clos  Theorem proving  Theorie langage  Theorie preuve  Théorèmes -- Démonstration automatique  Traitement automatique du langage naturel  Types  Vérification de processus communicants  Vérification de type  XML  XML schemata  

Laurent Trilling a dirigé les 18 thèses suivantes :

Modèles, méthodes et algorithmes en biologie, santé et environnement
Soutenue le 26-01-2011
Thèse soutenue
Informatique. Systèmes et communication
Soutenue en 2004
Thèse soutenue

Informatique
Soutenue en 1999
Thèse soutenue
Sciences cognitives
Soutenue en 1998
Thèse soutenue


Laurent Trilling a été président de jury des 2 thèses suivantes :


Laurent Trilling a été membre de jury des 9 thèses suivantes :

Informatique
Soutenue en 1991
Thèse soutenue
Informatique
Soutenue en 1990
Thèse soutenue