pPomCo.github.io

See this page in english

Pierre Pomeret-Coquot

Statut : doctorant Laboratoire : Institut de Recherche en Informatique de Toulouse (IRIT) Équipes : Argumentation, Décision, Raisonnement, Incertitude et Apprentissage (ADRIA) -- Assistance à la Certification des Applications Distribuées et Embarquées (ACADIE) Mél : pierre.pomeret [at] irit.fr Localisation : UPS / IRIT1 / Niveau 4, Bureau 420 Publications : 🗎 CV : 🇫🇷 🇬🇧

Recherche – Publications – Enseignement – Contributions logicielles

Recherche

Thèmes de recherche

• Théorie des jeux
• Théories de l’incertitude
• Méthodes de preuve formelle

Publications

Articles de recherche

• 2021
  • Fargier, Hélène, Érik Martin-Dorel, et Pierre Pomeret-Coquot. « Jeux incomplets algébriques ». In Rencontres des Jeunes Chercheurs en Intelligence Artificielle (RJCIA 2021) @ Plate-Forme Intelligence Artificielle (PFIA 2021), 46‑53. Bordeaux, France, 2021. https://hal.archives-ouvertes.fr/hal-03298722.
  • Fargier, Hélène, Érik Martin-Dorel, et Pierre Pomeret-Coquot. « Games of Incomplete Information: A Framework Based on Belief Functions ». In 16th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2021), 12897:328‑41. Lecture Notes in Computer Science book series (LNCS). Prague, Czech Republic: Springer International Publishing, 2021. https://doi.org/10.1007/978-3-030-86772-0_24.
• 2022
  • Pomeret-Coquot, Pierre, Hélène Fargier, et Érik Martin-Dorel. « Games of Incomplete Information: a Framework Based on Belief Functions », mai 2022. Pré-publication (preprint) - https://ut3-toulouseinp.hal.science/hal-03658700.

Exposés et présentations

• 2022
  • EJCIM 2022 Fargier, Hélène, Érik Martin-Dorel, et Pierre Pomeret-Coquot. « Bel-Games: A Formal Theory of Games of Incomplete Information Based on Belief Functions in the Coq Proof Assistant ». In Ecole Jeunes Chercheuses et Chercheurs en Informatique Mathématique. Nice, France: Maison de la Modélisation, de la Simulation et des Interactions [MSI], 2022. https://hal.archives-ouvertes.fr/hal-03709703.
  • Café FSL : Présentation de « Bel-Games: A Formal Theory of Games of Incomplete Information Based on Belief Functions in the Coq Proof Assistant »
• 2021
  • RJCIA 2021 : Présentation de l’article « Jeux Incomplets Algébriques » à RJCIA
  • TYPES 2021 : Présentation de la preuve Coq concernant l’article » Jeux incomplets Algébriques »

Enseignement

• 2020-2021
  • Programmation fonctionnelle, introduction aux types abstraits (Licence 3) – Cours/TD et TP (distanciel)
  • Types abstraits et programmation fonctionnelle avancée (Licence 3) – Cours/TD et TP (distanciel)
  • Modèles d’Incertitude, de Décision et de Raisonnement (Master 1) – Cours/TD (distanciel)
• 2021-2022
  • Logique 2 (Licence 2) – Cours/TD
  • Théorie des langages – TP
  • Types abstraits et programmation fonctionnelle avancée (Licence 3) – Cours/TD
  • Modèles d’Incertitude, de Décision et de Raisonnement (Master 1) – Cours/TD (Théorie des jeux)
• 2022-2023
  • Systèmes et Réseaux 2 (Licence) – TP
  • Bases de données (Licence) – TP
  • Modèles d’Incertitude, de Décision et de Raisonnement (Master 1) – Cours/TD (Théorie des jeux)

Contributions logicielles

• 2022
  • coq-belgames : Bibliothèque Coq concernant la théorie des fonctions de croyance et les jeux stratégiques à information incomplète basés sur cette théorie.
  • mathcomp/algebra : Proposition (acceptée) d’ajout de nouveaux lemmes à la bibliothèque math-comp (issus de coq-belgames).