Mai 2013


Retour à la vue des calendrier
Jeudi 2 Mai
Heure: 10:30 - 13:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Méthodes combinatoires pour la gravité quantique
Description: Aristide Baratin Certaines approches à la gravité quantique reposent sur une construction combinatoire de l'intégrale fonctionnelle.Une question centrale dans ce contexte est de savoir comment incorporer, ou éventuellement retrouver dans un régime approprié, les symétries de la théorie classique (invariance par difféomorphismes).Je présenterai certains aspects mathématiques de ce problème, que j'examinerai sous deux angles complémentaires : le point de vue des invariants dits de "state sum", où les difféomorphismes de la variété sont remplacés par certaines opérations combinatoires sur des triangulations (mouvements de Pachner). le point de vue des modèles de matrices, où l'invariance par difféomorphismes est le résultat de la sommation sur une certaine classe de graphes associés à des triangulations.
Heure: 14:30 - 17:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Le modèle à 6 vertex généralisé et les polynômes de Macdonald
Description: Tiago Dinis de Fonseca Les polynômes symétriques jouent, depuis toujours, un rôle assezimportant en physique.Par exemple, il est connu que la « fonction génératrice » du modèle à 6vertex (remarquablement,ce modèle est en bijection avec les matrices à signes alternants) estun polynôme de Schur.Plus récemment, on a découvert, que la « fonction génératrice » d'unegénéralisation de cemodèle est aussi un polynôme symétrique, plus précisément, un polynômede Macdonald.
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.
Mardi 21 Mai
Heure: 14:00 - 17:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Une généralisation du théorème de Roth pour les progressions arithmétiques
Description: Jehanne Dousse Le théorème de Roth établit que pour tout a>0, il exite un entier N tel que tout sous-ensemble de {1,...,N} de cardinal au moins aN contient une progressionarithmétique de longueur 3 (un ensemble de la forme {x,x+r,x+2r} avec x et r des entiers non nuls). Plusieurs autres théorèmes importants de combinatoire additiveconcernent les progressions arithmétiques, comme le théorème de Szemeredi ou celui de Green-Tao.Après une introduction à la combinatoire additive, nous présenterons une généralisation du théorème de Roth aux "d-configurations" (ensembles de la forme {x_i+x_j+a|1
Mercredi 22 Mai
Heure: 00:59 - 15:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Game semantics and applications to compilation (1/3): Semantic foundations of heterogeneous compilation
Description: Dan Ghica This is an introductory, motivational and methodological talk in which I will describe my "Seamless Computing" research programme. By "seamless" I mean that programming languages for unconventional architectures (e.g. distributed, reconfigurable, heterogeneous) can still conform to the long-established principles of machine independence, recast in this new setting. I will talk about when and how such conventional languages (higher-order, imperative, concurrent) can be compiled in a seamless way, using ideas based on the Geometry of Interaction and on game semantics.
Jeudi 23 Mai
Heure: 09:00 - 12:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Yueyun Hu (LAGA), Axel Bacher (LIPN), Vladas Sidoravicius (Sao Paulo), Hugo Duminil-Copin (Genève), Guy Fayolle (INRIA)
Description: Journée Math-S
Vendredi 24 Mai
Heure: 00:59 - 15:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Game semantics and applications to compilation (2/3): Abstract machines for game semantics
Description: Dan Ghica We will examine new abstract machines for game semantics which correspond to networks of conventional computers, and which can be used as an intermediate representation for distributed compilation. This is achieved in two steps. First we introduce the HRAM, a Heap and Register Abstract Machine, an abstraction of a conventional computer, which can be structured into HRAM nets, an abstract point-to-point network model. HRAMs are multi-threaded and subsume communication by tokens (cf. IAM) or jumps (cf. JAM). Game Abstract Machines (GAM), are HRAMs with additional structure at the interface level, but no special operational capabilities. We show that GAMs cannot be naively composed, but composition must be mediated using special HRAM combinators. HRAMs are flexible enough to allow the representation of game models for languages with state (non-innocent games) or concurrency (non-alternating games). We illustrate the potential of this technique by implementing a toy distributed compiler for ICA, a higher-order programming language with shared state concurrency, thus significantly extending our previous distributed PCF compiler. We show that compilation is sound and memory-safe, i.e. no (distributed or local) garbage collection is necessary. [Joint work with Olle Fredriksson, to appear at LICS'13]
Vendredi 31 Mai
Heure: 00:59 - 11:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Game semantics and applications to compilation (3/3): A type system for hard real-time computation
Description: Dan Ghica We will examine a type system, suitable for higher-order functional programming languages with mutable state, which can automatically certify the timing of execution. The system is generally applicable to hard real-time computation and especially to the automatic synthesis of computational pipelines. We present the general typing rules, a categorical semantic model and a proof of coherence as well as a concrete programming language with a type inference algorithm and a concrete game-semantic model. [Joint work with Alex Smith]
Heure: 00:59 - 13:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: From Mind to Turing to Mind
Description: Henk Barendregt Based on introspection Alan Turing analyzed the process by which humans
perform  computations. Recent papers on consciousness go in the other
direction: this is seen as a hybrid Turing machine process. Hybrid in
the sense that it acts both discretely and in parallel, where the Turing
machine quadruplets are implemented by a neural net.

We also focus on mind-states and their possible implementations in the
brain, based on recent progress in neuroscience.

If the claims in the talk are validated one day, then this would be
emperical evidence for the Church-Turing thesis