Différences
Ci-dessous, les différences entre deux révisions de la page.
| 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:01] apeiron [Conférences internationales avec comité et actes publiés] |
fr:research:publications [2021/04/07 13:08] apeiron [Exposés] |
||
|---|---|---|---|
| Ligne 12: | Ligne 12: | ||
| * 2020 : //A Hole in the Ladder: Interleaved Variables in Iterative Conditional Branching// (Yoann Marquer, Tania Richmond), [[http://arith2020.arithsymposium.org|ARITH]] 27th IEEE International Symposium on Computer Arithmetic ([[https://www.gdr-soc.cnrs.fr/conferences/|Rang A]]), [[https://hal.archives-ouvertes.fr/hal-02889212|HAL 02889212]], [[fr:research:security#securisation_logicielle_par_echelonnement|sécurisation logicielle]] | * 2020 : //A Hole in the Ladder: Interleaved Variables in Iterative Conditional Branching// (Yoann Marquer, Tania Richmond), [[http://arith2020.arithsymposium.org|ARITH]] 27th IEEE International Symposium on Computer Arithmetic ([[https://www.gdr-soc.cnrs.fr/conferences/|Rang A]]), [[https://hal.archives-ouvertes.fr/hal-02889212|HAL 02889212]], [[fr:research:security#securisation_logicielle_par_echelonnement|sécurisation logicielle]] | ||
| - | * 2019 : //Type-Driven Verification of Non-functional Properties// (Christopher Brown, Adam Barwell, Yoann Marquer, Céline Minh, Olivier Zendra), [[http://ppdp2019.macs.hw.ac.uk|PPDP]] 21st International Symposium on Principles and Practice of Programming Languages 2019 ([[http://portal.core.edu.au/conf-ranks/1176/|Rang B]]), [[https://hal.archives-ouvertes.fr/hal-02314723|HAL 02314723]], [[fr:research:security#expression_et_contrats_des_proprietes_extra-fonctionnelles|expressivité et contrats]] | + | * 2019 : //Type-Driven Verification of Non-functional Properties// (Christopher Brown, Adam Barwell, Yoann Marquer, Céline Minh, Olivier Zendra), [[http://ppdp2019.macs.hw.ac.uk|PPDP]] 21st International Symposium on Principles and Practice of Programming Languages 2019 ([[http://portal.core.edu.au/conf-ranks/1176/|Rang B]]), [[https://hal.archives-ouvertes.fr/hal-02314723|HAL 02314723]], [[fr:research:security#expression_et_contrats_des_proprietes_extra-fonctionnelles|propriétés non-fonctionnelles]] |
| * 2018 : //An Axiomatization for BSP Algorithms// (Yoann Marquer, Frédéric Gava), [[http://nsclab.org/ica3pp2018/index.html|ICA3PP]] 18th International Conference on Algorithms and Architectures for Parallel Processing ([[http://portal.core.edu.au/conf-ranks/905/|Rang B]]), [[fr:research:models-computation#algorithmes_paralleles|modèle de calcul parallèle]] | * 2018 : //An Axiomatization for BSP Algorithms// (Yoann Marquer, Frédéric Gava), [[http://nsclab.org/ica3pp2018/index.html|ICA3PP]] 18th International Conference on Algorithms and Architectures for Parallel Processing ([[http://portal.core.edu.au/conf-ranks/905/|Rang B]]), [[fr:research:models-computation#algorithmes_paralleles|modèle de calcul parallèle]] | ||
| * 2018 : //Algorithmic Completeness for BSP Languages// (Yoann Marquer, Frédéric Gava), [[http://hpcs2018.cisedu.info|HPCS]] The 2018 International Conference on High Performance Computing and Simulation ([[http://portal.core.edu.au/conf-ranks/653/|Rang B]]), [[fr:research:models-computation#algorithmes_paralleles|modèle de calcul parallèle]] | * 2018 : //Algorithmic Completeness for BSP Languages// (Yoann Marquer, Frédéric Gava), [[http://hpcs2018.cisedu.info|HPCS]] The 2018 International Conference on High Performance Computing and Simulation ([[http://portal.core.edu.au/conf-ranks/653/|Rang B]]), [[fr:research:models-computation#algorithmes_paralleles|modèle de calcul parallèle]] | ||
| 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]] | ||