› A Geometry of Interaction for Classical, Probabilistic, and Quantum Effects - Benoît Valiron, Laboratoire de Recherche en Informatique
14:45-15:15 (30min)
› Coherence Spaces for Resource-Sensitive Computation in Analysis - Kei Matsumoto, RIMS, Kyoto University
15:15-15:45 (30min)
› Data and Function Types in Ludics - Alice Pavaux, Laboratoire d'Informatique de Paris-Nord
16:30-17:00 (30min)
› Typing of MCCS (Multiplicative Calculus of Communicating Systems) in Ludics - Stefano Del Vecchio, Dipartimento di Matematica [Roma TRE], Laboratoire d'Informatique de Paris-Nord
17:00-17:30 (30min)
› Commutative algebra with a view towards (dependent) linear logic - Paul-André Melliès, Equipe PPS, Laboratoire IRIF
17:30-18:00 (30min)