Algorithme de gradient projeté  Algorithmes parallèles  Algèbre de Hopf  Alt-Ergo  Analyse combinatoire énumérative  Analyse de flot d'information  Analyse statique  Apprentissage non supervisé  Approximation linéaire par morceaux  Architecture -- Informatique  Architectures parallèles  Arithmétique linéaire sur les entiers  Association BBU-RRH  Associativité et commutativité  Automate  Automates hybrides  Automatisation  BMC  Bibliothèques actives  Blue Gene  Bqo  Branch-and-bound  C  C plus-plus  C++  CEGAR  Calcul intensif  Calculs de processus  Certification  Chromodynamique quantique  Clang  Cloud Radio Access Networks  Cohérence  Combinaison de procédures de décision  Combinatoire algébrique  Compilation  Compilation  Complétion AC  Composantes connexes  Congruence  Conteneurs  Contraintes en probabilité jointes  Coq  DSEL  DSELs  Diagnosticabilité  Démonstrateurs SMT  Economie de puissance  Efficacité énergétique  Etiquetage  Fonction de parking  Fourier-Motzkin  Futures  Fuzzing  Gestion des ressources radio  Haute performance  Induction temporelle  Informatique -- Recherche  Interprétation abstraite  Invariants  K-induction  Kahn  LLVM  Lambda calcul  Langage synchrone  Langages de programmation  Langages fonctionels  Lattice QCD  Logiciels -- Vérification  Logique  Logique informatique  Logique propositionnelle  Model Checking  Model checking  Modèle polyhédrique  Mémoire distribuée  Mémoire faible  Métabolites  Méthodes avancées de raisonnement  Méthodes d'ensemble actif  Méthodes formelles  Méthodes formelles  Méthodes symboliques  Non-interférence  OCaml  Objective Caml  Optimisation combinatoire  Ordre sous-Mot  Parallélisation  Parallélisme  Parallélisme  Polymorphisme  Polyèdres  Problème de minimisation de la largeur de bande de matrices  Problème de sac à dos  Problème du plus court chemin  Problème d’allocation de ressource dans les réseaux OFDMA  Problème semi-défini positif  Problèmes bi-niveaux  Problèmes coniques de second ordre  Procédures de décision  Programmation Linéaire Paramétrique  Programmation asynchrone  Programmation générative  Programmation générique  Programmation linéaire  Programmation linéaire en nombre entiers  Programmation parallèle  Programmation semidéfinie  Programmation stochastique  Proposition  Protocole de cohérence de cache  Recherche à voisinage variable  Réflexion  Résolution de contraintes  Réécriture  Réécriture, Systèmes de  SMT  STM  Sat  Satisfaisabilité  Satisfiabilité Modulo Théories  Satisfiabilité modulo théories  Shostak  Simplexe  Simulation Qualitative  Smt  Smt-Lib  Solveur SAT  Solveurs  Stabilité  Synthd'architecturesèse  Synthèse de type  Systèmes de communication sans fil  Systèmes de types  Systèmes distribués  Systèmes dynamiques hybrides  Systèmes paramétrés  Sécurité  Séquentiel  Sûreté de fonctionnement  Technique d'abstraction  Thèses et écrits académiques -- Catalogage  Théorie des jeux  Théorèmes -- Démonstration automatique  Traitement d'images  Typage  Vision par ordinateur  Vulnérabilités  Vérification  Vérification Formelle  Vérification de modèles  Vérification de modèles  Vérification de modèles modulo theories  Vérification déductive  Wqo  Équations différentielles -- Théorie qualitative  

Sylvain Conchon a rédigé la thèse suivante :


Sylvain Conchon dirige actuellement la thèse suivante :

Informatique
En préparation depuis le 01-10-2017
Thèse en préparation


Sylvain Conchon a dirigé les 4 thèses suivantes :


Sylvain Conchon a été président de jury des 13 thèses suivantes :

Réseaux, télécom, système et architecture
Soutenue le 19-12-2017
Thèse soutenue

Informatique
Soutenue le 08-11-2013
Thèse soutenue


Sylvain Conchon a été rapporteur de la thèse suivante :


Sylvain Conchon a été membre de jury des 4 thèses suivantes :