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 |