VSL 2014: VIENNA SUMMER OF LOGIC 2014
TERMGRAPH PROGRAM
Sunday, July 13th, 2014

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

09:15-10:15 Session 24A: Joint DCM / TermGraph Invited Talk (joint with DCM)
Location: FH, Seminarraum 325/2
09:15
Numeral Systems in the Lambda Calculus (abstract)
10:15-10:45Coffee Break
10:45-12:15 Session 26F: Computing with Graphs
Location: FH, Seminarraum 325/2
10:45
Needed Computations Shortcutting Needed Steps (abstract)
11:15
Proving Termination of Unfolding Graph Rewriting for General Safe Recursion (abstract)
11:45
Nested Term Graphs (abstract)
13:00-14:30Lunch Break
14:30-15:30 Session 31D: Joint IWC / TermGraph Invited Talk (joint with IWC)
Location: FH, Seminarraum 325/2
14:30
An Introduction to Higher-Dimensional Rewriting Theory (abstract)
15:30-16:00 Session 33F: Proof Nets
Location: FH, Seminarraum 325/2
15:30
Injectivity of Relational Semantics for (Connected) MELL Proof-Nets via Taylor Expansion (abstract)
16:00-16:30Coffee Break
16:30-17:30 Session 34E: Implementations
Location: FH, Seminarraum 325/2
16:30
An Implementation Model for Interaction Nets (abstract)
17:00
Fixed Point Theory for Consistent Rewriting in Logic of Action with Reverse (abstract)