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
Location: FH, Dissertantenraum E104
14:30
A cubical representation of local states (abstract)
15:00
Computational complexity in the lambda-calculus: what's new? (abstract)
15:30
On the parallel reduction and complexity of interaction-net systems (abstract)
16:00-16:30Coffee Break
16:30-18:00 Session 20F
Location: FH, Dissertantenraum E104
16:30
On the Value of Variables (abstract)
17:00
Automated Complexity Analysis of Term Rewrite Systems (abstract)
17:30
Subrecursive Linear Dependent Types and Computational Security (abstract)
18:15-19:15 Session 21
Location: FH, Dissertantenraum E104
18:15
Proof theoretic approaches to rewriting (abstract)