Rencontre, 13 décembre 2018

Accueil devant l'amphi B (3è étage)

Exposé du matin : salle B1 (4è étage)

L'après-midi : amphi B (3è étage)

Programme

10:30 – 12:00

Tom Hirschowitz (CNRS - Univ. Savoie Mont Blanc)

Invited talk: Familial monads and structural operational semantics

slides

14:00 – 15:00

Lê Thành Dũng Nguyễn (Université Paris 13)

Invited talk: Around finite semantics for second-order multiplicative linear logic

15:30 – 16:30

Paolo Pistone (Tübingen Univ. (DE))

Invited talk: Coends and proof equivalence in second order multiplicative linear logic