Attività del Dipartimento

 

Incontro annuale del gruppo di ricerca internazionale GDRI “Linear Logic”

23/10/2017 ore 10:00 fino al 24/10/2017
Dipartimento di Architettura - Via Madonna dei Monti, 80 - Aula Urbano VIII

Programma:


Lunedì 23 ottobre


10:00-10:45:
Damiano Mazza
"Church Meets Cook and Levin”

10:45-11:30:
Charles Grellois
"Linearity in Higher-Order Recursion Schemes"

11:30-12:00: Coffee break

12:00-13:00:
Olivier Laurent
"Around Classical and Intuitionistic Linear Logics"

15:00-16:00
Alexis Saurin
"Linear Logic with fixed points and infinitary proofs, from straight threads to bouncing threads"

16:00-17:00:
Paolo Pistone
"Polymorphism and Dinaturality from a Linear Logic Perspective"

17:00-17:30: coffee break

17:30-18:15:
Raphaëlle Crubillé
"The Free Exponential Modality of Probabilistic Coherence Spaces"
 

Martedì 24 ottobre


9:30-10:30:
Michele Pagani (and Thomas Ehrhard and Christine Tasson)
"Stable functions and probabilistic programs"

10:30-11:15:
Lionel Vaux
"Taylor expansion, β-reduction and normalization"

11:15-11:45: coffee break

11:45-12:30:
Jules Chouquet (and Giulio Guerrieri and Luc Pellissier and Lorenzo Tortora de Falco and Lionel Vaux)
"Normalization by evaluation in MELL Proof-Nets”

12:30-13:15:
Luc Pellissier (and Giulio Guerrieri and Lorenzo Tortora de Falco)
"Coherence, Taylor expansion and box-connected proof-nets"

15:00-15:45:
Marie Kerjean (and Yoann Dabrowksi)
"Models of Linear Logic based on the Schwartz epsilon-product"

15:45-16:00: coffee break

16:00-19:00:
General meeting

Per ulteriori informazioni:
- sito ufficiale del GDRI “Linear Logic”: http://linear-logic.org/en/
- Lorenzo Tortora de Falco: tortora@uniroma3.it


 

 

admin