Convegno
Incontro annuale del gruppo di ricerca internazionale GDRI “Linear Logicâ€
23/10/2017 ore 10:00
fino al 24/10/2017
dove: 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