|
|
 |
|
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. |
|
|
