Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
Prochaine révision
Révision précédente
Prochaine révision Les deux révisions suivantes
fr:research:publications [2021/04/07 13:02]
apeiron [Conférences internationales avec comité et actes publiés]
fr:research:publications [2021/04/07 13:08]
apeiron [Exposés]
Ligne 51: Ligne 51:
 ===== Exposés ===== ===== Exposés =====
  
-  * soutenance de thèse +  * 2015 : //​Caractérisation impérative des algorithmes séquentiels en temps quelconque, primitif récursif et polynomial//​ (Yoann Marquer, Pierre Valarcher), ​soutenance de thèse, [[fr:​research:​models-computation#​algorithmes_sequentiels|modèle de calcul séquentiel]] 
-  * 2011 : //La résolvante de Galois// (Yoann Marquer, Vincent Cossart), [[http://​lmv.math.cnrs.fr/​evenements-scientifiques/​journees-mathematiques-des-20-ans|Journées Mathématiques]] des 20 ans de l'​UVSQ,​ [[fr:​research:​archives#​resolvante_de_galois|théorie de Galois]] +  * 2011 : //​Réalisabilité en logique classique// (Yoann Marquer, Jean-Louis Krivine), stage de M2, [[fr:​research:​models-computation#​realisabilite_classique|opérateurs de contrôle]] 
-  * 2011 : //​Réalisabilité en logique classique// (Yoann Marquer, Jean-Louis Krivine), stage de master, [[fr:​research:​models-computation#​realisabilite_classique|opérateurs de contrôle]]+  * 2011 : //La résolvante de Galois// (Yoann Marquer, Vincent Cossart), projet de M1, [[http://​lmv.math.cnrs.fr/​evenements-scientifiques/​journees-mathematiques-des-20-ans|Journées Mathématiques]] des 20 ans de l'​UVSQ,​ [[fr:​research:​archives#​resolvante_de_galois|théorie de Galois]]
   * 2009 : //Les théorèmes d’incomplétude de Gödel// (Yoann Marquer, Martin Andler), projet de licence, [[fr:​research:​archives#​theoremes_de_goedel|systèmes de preuve]]   * 2009 : //Les théorèmes d’incomplétude de Gödel// (Yoann Marquer, Martin Andler), projet de licence, [[fr:​research:​archives#​theoremes_de_goedel|systèmes de preuve]]