|
|
 |
|
Mardi 14 Novembre
| Heure: |
14:00 - 17:00 |
| Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
| Résumé: |
Tilings. TBA |
| Description: |
Michaël Rao |
| Heure: |
15:45 - 18:30 |
| Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
| Résumé: |
False Beliefs in mathematics |
| Description: |
thé combinatoire |
Jeudi 16 Novembre
| Heure: |
10:00 - 11:00 |
| Lieu: |
Salle A303 ? , Université de Villetaneuse |
| Résumé: |
[Réunion] réunion d'équipe Axe LO |
| Description: |
Stefano Guerrini Réunion |
| Heure: |
11:00 - 12:30 |
| Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
| Résumé: |
Réseaux de preuve pour MLL+Mix et algorithmes sur les graphes arêtes-coloriés |
| Description: |
Nguy?n Lê Thành D?ng Le critère de correction de Danos-Regnier mène à poser le problème
d'algorithmique des graphes suivant : étant donné un graphe apparié,
trouver un cycle (ou un chemin) passant au plus une fois par chaque
paire. Ce problème a été traité en théorie des graphes sous la forme
plus générale de graphes munis d'une coloration sur leurs arêtes
("edge-colored graphs") ; la solution fait intervenir une réduction aux
couplages parfaits et rejoint donc le travail de C. Retoré sur les
"handsome proof-nets".
Partant de cela, on obtient facilement d'une part un critère de
correction pour MLL+Mix en temps linéaire, et d'autre part que le
problème de correction des réseaux MLL+Mix est probablement plus
difficile que celui pour MLL sans la règle Mix (qui est NL-complet). Ce
dernier résultat explique que la littérature sur les critères de
correction pour MLL+Mix soit plus maigre que celle pour MLL.
Nous verrons également d'autres conséquences de ces liens entre logique
linéaire et théorie des graphes, notamment en lien avec le graphe de
dépendances d'un réseau introduit par Bagnol, Doumane et Saurin. |
Vendredi 17 Novembre
| Heure: |
14:15 - 16:30 |
| Lieu: |
amphi Copernic, Université de Villetaneuse |
| Résumé: |
[soutenance] Polyadic Approximations in Logic and Computation |
| Description: |
Damiano Mazza |
|
|
