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 hardsquares 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 multicomponent 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. 

