13 Mai - 19 Mai


Retour à la vue des calendrier
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.