|
|
Mardi 18 Février
Heure: |
12:30 - 13:30 |
Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
Résumé: |
Circuit and bond polytopes in series-parallel graphs |
Description: |
Mathieu Lacroix We describe the circuit polytope in series-parallel graphs. We show the existence of a compact extended formulation for the latter, which inductively provides the description in the original space. As a consequence, using the link between bonds and circuits in planar graphs, we also describe the bond polytope in series-parallel graphs.This is a joint work with S. Borne, R. Grappe, P. Fouilhoux and P. Pesneau. |
Vendredi 21 Février
Heure: |
00:59 - 12:00 |
Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
Résumé: |
Paramétricité et type identité : application à la structure d'Ï-groupoide des types |
Description: |
Marc Lasson La paramétricité est un concept introduit par Reynolds afin d'étudier l'abstraction de type polymorphe du système F. Elle renvoie au fait que des programmes bien typés ne peuvent ``inspecter le type de leurs arguments'': ils doivent se comporter uniformément au regard des types abstraits. Reynolds formalise cette notion en montrant que les programmes polymorphes du système F satisfont des relations logiques définies par induction sur la structure des types. Le système de types sous-jacent à coq est suffisamment expressif pour exprimer sa propre théorie de la paramétricité. Dans cet exposé, nous nous intéresserons aux conséquences de cette remarque lorsqu'elle est appliquée au type des égalités, et nous montrerons en particulier comment montrer des résultats de paramétricité concernant les espaces de lacet (loop spaces, en anglais) et en déduire des résultats sur la structure de groupoide de la théorie des types. |
|
|