FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
TERMGRAPH PROGRAM
Monday, August 1st

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

08:30-09:00Coffee & Refreshments
09:00-10:30 Session 26J

Invited Talk by Delia Kesner

Chair:
Sandra Alves
Location: Ullmann 101
09:00
Delia Kesner
A Computational Interpretation of Girard’s Intuitionistic Proof-Nets (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 31N

Regular submissions, morning session

Chair:
Femke Van Raamsdonk
Location: Ullmann 101
11:00
Tikhon Pshenitsyn
Transformation of DPO Grammars into Hypergraph Lambek Grammars With The Conjunctive Kleene Star (abstract)
11:30
Vincent Van Oostrom
Greedily Decomposing Proof Terms for String Rewriting into Multistep Derivations by Topological Multisorting (abstract)
12:00
Roy Overbeek and Joerg Endrullis
A PBPO+ Graph Rewriting Tutorial (abstract)
PRESENTER: Roy Overbeek
12:30-14:00Lunch Break

Lunches will be held in Taub hall and in The Grand Water Research Institute.

14:00-15:30 Session 34N

Invited talk by Jörg Endrullis

Chair:
Femke Van Raamsdonk
Location: Ullmann 101
14:00
Jörg Endrullis
PBPO+ Graph Rewriting in Context (abstract)
15:30-16:00Coffee Break
16:00-17:30 Session 37M

Regular papers, afternoon session, including discussion

Chair:
Clemens Grabmayer
Location: Ullmann 101
16:00
Tim Kräuter, Harald König, Adrian Rutle and Yngve Lamo
Formalization and analysis of BPMN using graph transformation systems (abstract)
PRESENTER: Tim Kräuter
16:30
Stephen Mell, Osbert Bastani and Steve Zdancewic
Ideograph: A Language for Expressing and Manipulating Structured Data (abstract)
PRESENTER: Stephen Mell
18:00-19:00 Session 42: A session to honor 100 years since the birth of the late Boris (Boaz) Trakhtenbrot
Chair:
Nachum Dershowitz
Location: Taub 1
18:30-20:00Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event