|
|
Mardi 14 Mai
Heure: |
12:30 - 15:30 |
Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
Résumé: |
Quelques résultats sur les codes identifiants |
Description: |
Petru Valicov Un code identifiant d'un graphe est un sous-ensemble C de sommetsqui est à la fois dominant (tout sommet du graphe a un voisin dansC ou appartient à C) et séparant (tous les sommets ont unvoisinage distinct à l'intérieur de C). Dans cet exposé, nousfaisons un tour d'horizon de quelques résultats sur cette notion.Nous proposons une caractérisation des graphes qui ont le codeminimum de taille n-1, n étant l'ordre du graphe. Egalement nous nous intéressons à ce paramètre dans la classe des graphes adjoints. Si le temps le permet, nous parlerons de la complexité du problème dans différentes sous-classes des graphes parfaits. |
Heure: |
14:00 - 17:00 |
Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
Résumé: |
Combinatorial Hopf algebraic description of the multiscale renormalization in quantum field theory |
Description: |
Thomas Krajewski |
Vendredi 17 Mai
Heure: |
00:59 - 13:30 |
Lieu: |
Salle à fixer, Université de Villetaneuse |
Résumé: |
Are partial orderings intrinsic to computations? |
Description: |
Antonino Salibra Answering a question by Honsell and Plotkin, we show that there are two equations between lambda terms, the so-called subtractive equations, consistent with lambda calculus but not contemporaneously satisfied in any Scott continuous model. We also relate the subtractive equations to the open problem of the order-incompleteness of lambda calculus, by studying the connection between the notion of absolute unorderability in a specific point and a weaker notion of subtractivity, namely n-subtractivity, for partially ordered algebras. Finally we study the relation between n-subtractivity and relativized separation conditions in topological algebras, obtaining an incompleteness theorem for a general topological semantics of lambda calculus. |
|
|