Express/SOS Program

I0		Saturday

8:30		Live Registration & Coffee





9:00		Live Expressiveness, Separation and Complexity Results on Multiparty Session Types Nobuko Yoshida











10:00		Live Coffee Break





10:30		Express/SOS Workshop Session 1 On the Expressiveness of Asynchronous Processes with Nested Session TypesSjors Wortelboer, Dan Frumin, Jorge A. Pérez The MAY-preorder for timed systems with asynchronous communicationGiovanni Bernardi, Maryline Zhang, Pedro Ribeiro Encoding call-by-push-value in the pi-calculusHans Hüttel, Nikolaj Kristensen, Benjamin Bennetzen, Peter Steffensen Weighted barbed congruenceIwan Quémerais

















12:00		Live Lunch

















13:30		Live Structural Operational Semantics for String Diagrammatic Languages Fabio Zanasi











14:30		Live Coffee Break





15:00		Express/SOS Workshop Session 2 The Theory of Sequential Value PassingEduardo Costa Martins Deadlock-Free Parallel Regions for Projected WorkflowsBenedikt Bollig A Formal Comparison of Controllability Definitions for Deterministic and Nondeterministic AutomataJeroen Keiren, Michel Reniers Discounted-Sum Automata - Reductions between the Universality ProblemsUdi Boker

8:30	Live Registration & Coffee
9:00	Live Expressiveness, Separation and Complexity Results on Multiparty Session Types Nobuko Yoshida
10:00	Live Coffee Break
10:30	Express/SOS Workshop Session 1 On the Expressiveness of Asynchronous Processes with Nested Session Types Sjors Wortelboer, Dan Frumin, Jorge A. Pérez The MAY-preorder for timed systems with asynchronous communication Giovanni Bernardi, Maryline Zhang, Pedro Ribeiro Encoding call-by-push-value in the pi-calculus Hans Hüttel, Nikolaj Kristensen, Benjamin Bennetzen, Peter Steffensen Weighted barbed congruence Iwan Quémerais
12:00	Live Lunch
13:30	Live Structural Operational Semantics for String Diagrammatic Languages Fabio Zanasi
14:30	Live Coffee Break
15:00	Express/SOS Workshop Session 2 The Theory of Sequential Value Passing Eduardo Costa Martins Deadlock-Free Parallel Regions for Projected Workflows Benedikt Bollig A Formal Comparison of Controllability Definitions for Deterministic and Nondeterministic Automata Jeroen Keiren, Michel Reniers Discounted-Sum Automata - Reductions between the Universality Problems Udi Boker

CONFEST 2026