VSL 2014: VIENNA SUMMER OF LOGIC 2014
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