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)
Chair:
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
Chair:
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)
Chair:
Location: FH, Seminarraum 325/2
14:30 | An Introduction to Higher-Dimensional Rewriting Theory (abstract) |
15:30-16:00 Session 33F: Proof Nets
Chair:
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
Chair:
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) |