Accepted Contributed Talks
Christophe Fouqueré and Myriam Quatrini | Multiplicative Decomposition of Behaviours in Ludics |
Marie Kerjean | Weak topologies for Linear Logic |
Taus Brock-Nannestad | Substructural Cut Elimination |
Dominic Hughes | First-order Proofs Without Syntax: Summary of Work in Progress |
Marc Bagnol, Amina Doumane and Alexis Saurin | A Correctness Criterion Free from Switchings |