Juin 2013


Retour à la vue des calendrier
Mardi 4 Juin
Heure: 00:59 - 15:00
Lieu: Amphithéâtre Euler, Institut Galilée, Université de Villetaneuse
Résumé: Exploring Scholarly Data with Rexplore
Description: Enrico Motta
Heure: 14:00 - 17:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Combinatorics of the hard-squares model
Description: Andrew Rechnitzer
Vendredi 7 Juin
Heure: 00:59 - 14:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Graphical Foundations for Dialogue Games
Description: Cai Wingfield In 2007, Harmer, Hyland and Melliès gave a formal mathematical foundation for game semantics using a notion they called a schedule, a structure describing interleavings of plays in games. Their definition was combinatorial in nature, but researchers often draw pictures when describing schedules in practice. Moreover, several proofs of key properties, such as that the composition of schedules is associative, involve cumbersome combinatorial detail, whereas in terms of pictures the proofs are straightforward, reflecting the geometry of the plane. Here, we give a geometric formulation of schedules, prove that they are isomorphic to Harmer et al.'s definitions, and illustrate their value by giving such geometric proofs. Harmer et al.'s notions may be combined to describe plays in multi-component games, and researchers have similarly developed intuitive graphical representations of plays in these games. We give a characterisation of these diagrams and explicitly describe how they relate to the underlying schedules, finally using this relation to provide new, intuitive proofs of key categorical properties.
This is a joint work with Guy McCusker and John Power.
Mardi 11 Juin
Heure: 14:00 - 17:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Extreme statistics of non-intersecting Brownian motions
Description: Grégory Schehr Non-intersecting Brownian motions (BMs) havebeen the subject of numerous studies both in mathematics and in physics. In addition to theirdeep connection with random matrix theory, It was shown that they are at the heart of manyfundamental models of statistical physics, like stochastic growth models or directed paths in random media. In this talk I will review some recent results which we have obtained for the extreme statistics,like the maximal height, of such non-intersecting BMs.    Les marcheurs Browniens conditionnés à ne pas se croiser ontsuscité beaucoup d'intérêt ces dernièresannées, tant en mathématique (pour leurs aspectsprobabilistes et combinatoires) qu'en physique (comme desmodèles de polymères ou de transition de mouillage ou defusion). Dans cet exposé je présenterai un calcul exact dela distribution de la hauteur maximale d'une collection de N pontsBrowniens (appelés 'watermelons without wall') et de Nexcursions Browniennes (appelées 'watermelons with awall') conditionnés à ne pas se croiser. Je montreraique dans la limite asymptotique où N tend vers l'infini cettedistribution converge vers la distribution de Tracy-Widom quidécrit les fluctuations de la plus grande valeur propre dematrices aléatoires de l'ensemble gaussien orthogonal (GOEpour 'Gaussian Orthogonal Ensemble'). Je discuterai enfin uneapplication de ces résultats asymptotiques à desmodèles de croissance stochastique.
Jeudi 13 Juin
Heure: 10:30 - 13:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Journée ANR Magnum
Description: 10h30 Aline Parreau (LIFL) Une preuve combinatoire du lemme local de Lovasz11h45 Julien David (LIPN) & Yann Ponty (LIX) présentation de RDos (Random Discrete Objects Suite): un ensemble d'outils pour la génération aléatoire d'objets combinatoires 12h30 Buffet en salle A20114h Mathieu Raffinot (LIAFA) Nouvelles avancées dans la recherche de motifs uniques ou consécutifs dans des permutations travail en commun avec D.l Belazzougui (Univ. of Helsinki), A. Pierrot (LIAFA) et S. Vialette (LIGM) 15h15 Axel Bacher (LIPN) Génération aléatoire d'arbres en taille exacte et linéaire en temps et en espace 16h15 Discussion : bilan et perspectives après 30 mois
Vendredi 14 Juin
Heure: 00:59 - 14:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Some Results for Linear Logic Full Completeness
Description: Hugh Steele Many full completeness theorems have been established for fragments of
linear logic since the notion was first defined by Samson Abramsky and
Radha Jagadeesan in their 1992 paper. For the most part, these results
are obtained on a case-by-case basis: the subject of each proof is
precisely one category.

In this talk it is shown that the Hyland-Tan double glueing
construction can transform all tensor-generated compact closed
categories with finite biproducts into fully complete models of
unit-free MLL. The arguments employed are based around considering the
combinatorics behind the construction using standard linear algebra.
It is also discussed how another double glueing construction may be
able to create similar categories satisfying unit-free MALL full
completeness.
Mardi 18 Juin
Heure: 14:00 - 17:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Where the really hard problems really are?
Description: Lenka Zdeborova