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

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

10:15-10:45Coffee Break
13:00-14:30Lunch Break
14:30-16:00 Session 18F
Chair:
Georg Moser
Location: FH, Dissertantenraum E104
14:30
Paul-André Melliès
A cubical representation of local states (abstract)
15:00
Damiano Mazza
Computational complexity in the lambda-calculus: what's new? (abstract)
15:30
Stéphane Gimenez
On the parallel reduction and complexity of interaction-net systems (abstract)
16:00-16:30Coffee Break
16:30-18:00 Session 20F
Chair:
Georg Moser
Location: FH, Dissertantenraum E104
16:30
Beniamino Accattoli
On the Value of Variables (abstract)
17:00
Martin Avanzini
Automated Complexity Analysis of Term Rewrite Systems (abstract)
17:30
Ugo Dal Lago
Subrecursive Linear Dependent Types and Computational Security (abstract)
18:15-19:15 Session 21
Chair:
Georg Moser
Location: FH, Dissertantenraum E104
18:15
Thomas Powell
Proof theoretic approaches to rewriting (abstract)