VSL 2014: VIENNA SUMMER OF LOGIC 2014
SD PROGRAM
Saturday, July 12th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

09:10-10:15 Session 15: Lambda Calculus
Location: FH, Zeichensaal 1
09:10
Willem Heijltjes, Kaustuv Chaudhuri and Lutz Strassburger
Opening Remarks (abstract)
09:15
Gilles Dowek
Simply Typed Lambda-Calculus Modulo Type Isomorphisms (abstract)
10:15-10:45Coffee Break
10:45-12:45 Session 16E: Sequent Calculus and Proof Nets
Location: FH, Zeichensaal 1
10:45
Rosalie Iemhoff
Completions and the Schuette method (abstract)
11:45
Marc Bagnol, Amina Doumane and Alexis Saurin
A Correctness Criterion Free from Switchings (abstract)
12:15
Dominic Hughes
First-order Proofs Without Syntax: Summary of Work in Progress (abstract)
13:00-14:30Lunch Break
14:30-16:00 Session 18E: Algebra and Topology
Location: FH, Zeichensaal 1
14:30
Kazushige Terui
Proof theory for ordered algebra: amalgamation and densification (abstract)
15:30
Marie Kerjean
Weak topologies for Linear Logic (abstract)
16:00-16:30Coffee Break
16:30-17:30 Session 20E: Normalisation and Ludics
Location: FH, Zeichensaal 1
16:30
Taus Brock-Nannestad
Substructural Cut Elimination (abstract)
17:00
Christophe Fouqueré and Myriam Quatrini
Multiplicative Decomposition of Behaviours in Ludics (abstract)