TERMGRAPH — PROGRAM
Days: Sunday, 19 July 2026
Sunday, 19 July 2026
09:00-10:00
Session 1
TERMGRAPH
Location:
C6.02
| 09:00-10:00 |
Syntactic trinitarianism: terms, graphs, diagrams (joint keynote with DIALOCO, Room C4.02) (abstract) 60 min
1 Huawei Central Software Institute & University of Birmingham
|
10:00-10:30
Coffee Break
TERMGRAPH
Location:
C6.02
10:30-12:30
Session 2
TERMGRAPH
Session Chair:
Location:
C6.02
| 10:30-11:30 |
Graph Neural Networks, Their Logics, and Formal Verification (invited talk) (abstract) 60 min
1 Gran Sasso Science Institute
|
| 11:30-12:00 |
A Programming Language for Interaction Nets (abstract) 30 min
1 University of Sussex
|
| 12:00-12:30 |
Labels, paths, and linearization of the lambda-calculus (abstract) 30 min
1 Faculdade de Ciências da Universidade do Porto
|
12:30-14:00
Lunch
TERMGRAPH
Location:
C6.02
14:00-15:30
Session 3
TERMGRAPH
Session Chair:
Location:
C6.02
| 14:00-15:00 |
Term graph rewriting for implementing the λ-calculus refactored (invited talk) (abstract) 60 min
1 University of Sussex, UK
|
| 15:00-15:30 |
Hypergraphs with Binding (abstract) 30 min
1 Johns Hopkins University
2 Ochanomizu University
|
15:30-16:00
Coffee Break
TERMGRAPH
Location:
C6.02
16:00-17:30
Session 4
TERMGRAPH
Session Chair:
Location:
C6.02
| 16:00-16:30 |
Relating ordered hypergraph rewriting and proof theory: Work in progress (abstract) 30 min
1 Inria Saclay
|
| 16:30-17:00 |
Reducible Graphs and Bisimilarity of 1-free Star Expressions (abstract) 30 min
1 Leiden University
|
| 17:00-17:30 |
Towards a Characterisation of the Graph Structure of Process Interpretations of Regular Expressions (abstract) 30 min
1 Gran Sasso Science Institute
|