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)
Chair:
Femke van Raamsdonk
Location: FH, Seminarraum 325/2
09:15
Ian Mackie
Numeral Systems in the Lambda Calculus (abstract)
10:15-10:45Coffee Break
10:45-12:15 Session 26F: Computing with Graphs
Chair:
Aart Middeldorp
Location: FH, Seminarraum 325/2
10:45
Sergio Antoy, Jacob Johannsen and Steven Libby
Needed Computations Shortcutting Needed Steps (abstract)
11:15
Naohi Eguchi
Proving Termination of Unfolding Graph Rewriting for General Safe Recursion (abstract)
11:45
Clemens Grabmayer and Vincent van Oostrom
Nested Term Graphs (abstract)
13:00-14:30Lunch Break
14:30-15:30 Session 31D: Joint IWC / TermGraph Invited Talk (joint with IWC)
Chair:
Delia Kesner
Location: FH, Seminarraum 325/2
14:30
Samuel Mimram
An Introduction to Higher-Dimensional Rewriting Theory (abstract)
15:30-16:00 Session 33F: Proof Nets
Chair:
Beniamino Accattoli
Location: FH, Seminarraum 325/2
15:30
Giulio Guerrieri, Luc Pellissier and Lorenzo Tortora De Falco
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:
Wolfram Kahl
Location: FH, Seminarraum 325/2
16:30
Ian Mackie and Shinya Sato
An Implementation Model for Interaction Nets (abstract)
17:00
Susumu Yamasaki
Fixed Point Theory for Consistent Rewriting in Logic of Action with Reverse (abstract)