Algorithme de gradient projeté  Algorithmes parallèles  Algèbre de Hopf  Analyse combinatoire énumérative  Analyse de flot d'information  Analyse statique  Approximation linéaire par morceaux  Architecture -- Informatique  Architectures parallèles  Arithmétique linéaire sur les entiers  Associativité et commutativité  Automate  Automates hybrides  Automates temporisés  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  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  Etiquetage  Fonction de parking  Fourier-Motzkin  Futures  Fuzzing  Gestion mémoire  Haute performance  Induction temporelle  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  Mcmt  Model Checking  Model Checking Modulo Theories  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  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 parallèle  Programmation semidéfinie  Programmation stochastique  Proposition  Protocole de cohérence de cache  Recherche à voisinage variable  Réflexion  Réseaux de Petri temporels et temporisés  Résolution de contraintes  Réécriture  Réécriture, Systèmes de  SMT  STM  Satisfaisabilité  Satisfiabilité Modulo Théories  Shostak  Simplexe  Simulation Qualitative  Smt  Solveur SAT  Solveurs  Stabilité  Structures de données persistantes  Synthd'architecturesèse  Synthèse de type  Systèmes de types  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é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  Wqo  Équations différentielles -- Théorie qualitative  

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


Sylvain Conchon dirige actuellement les 3 thèses suivantes :

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

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


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


Sylvain Conchon a été président de jury des 12 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 :