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

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

09:00-10:30 Session 19E
09:00
A Computational Interpretation of Girard’s Intuitionistic Proof-Nets (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 21F
11:00
Transformation of DPO Grammars into Hypergraph Lambek Grammars With The Conjunctive Kleene Star (abstract)
11:30
Greedily Decomposing Proof Terms for String Rewriting into Multistep Derivations by Topological Multisorting (abstract)
12:00
A PBPO+ Graph Rewriting Tutorial (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 22G
14:00
PBPO+ Graph Rewriting in Context (abstract)
15:30-16:00Coffee Break
16:00-17:30 Session 23F
16:00
Formalization and analysis of BPMN using graph grammars (abstract)
16:30
Ideograph: A Language for Expressing and Manipulating Structured Data (abstract)
18:30-20:00Workshop Dinner (at the Technion) - Paid event