DIALOCO — PROGRAM
Days: Sunday, 19 July 2026
Sunday, 19 July 2026
09:00-10:00
First invited talk
DIALOCO
Location:
C4.02
| 09:00-10:00 |
TBA (abstract) 60 min
1 University of Birmingham, Huawei Central Software Institute
|
10:00-10:30
Contributed talks
DIALOCO
Location:
C4.02
| 10:00-10:30 |
Monoidal substitution diagrams (abstract) 30 min
1 Tallinn University of Technology
2 University of Calgary
|
10:30-11:00
Coffee Break
DIALOCO
Location:
C4.02
11:00-12:00
Contributed talks
DIALOCO
Location:
C4.02
| 11:00-11:30 |
Scalable Graphical Framework for Fermionic Computing : From premonoidality in the semantics to non-natural symmetry in the diagrammatic syntax (abstract) 30 min
1 INRIA, LIX, Ecole Polytechnique
2 LIX, Ecole Polytechnique
|
| 11:30-12:00 |
Towards a Combinatorial Representation of First-Order Bicategories (abstract) 30 min
1 University College London
2 Hellas AI
|
12:00-14:00
Lunch
DIALOCO
Location:
C4.02
14:00-15:00
Second invited talk
DIALOCO
Location:
C4.02
| 14:00-15:00 |
Proof Nets and Combinatorial Proofs — Hilbert's 24th Problem in the 21st Century (abstract) 60 min
1 Inria & LIX
|
15:00-15:30
Contributed talks
DIALOCO
Location:
C4.02
| 15:00-15:30 |
Function-Constructor Nets and their Semantics (abstract) 30 min
1 University of Sussex
|
15:30-16:00
Coffee Break
DIALOCO
Location:
C4.02
16:00-17:30
Contributed talks
DIALOCO
Location:
C4.02
| 16:00-16:30 |
Remarks on proof nets as combinatorial maps (abstract) 30 min
1 CNRS
2 Aix-Marseille Univ.
|
| 16:30-17:00 |
On the role of connectivity in Linear Logic proofs (abstract) 30 min
1 Université Paris Cité (IRIF), Università Roma Tre
2 Università Roma Tre
|
| 17:00-17:30 |
Representing non-associativity in effectful situation : String diagrams and sequential proof-nets (abstract) 30 min
1 Univ. Paris Cité, CNRS, INRIA
2 CNRS, Univ. Paris Cité, INRIA
3 INRIA, LS2N CNRS
|