20 Mai - 26 Mai


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