Express/SOS Program

I0		Saturday

8:30		On now Registration & Coffee





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











10:00		On now Coffee Break





10:30		On now 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		On now Lunch

















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











14:30		On now Coffee Break





15:00		On now 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	On now Registration & Coffee
9:00	On now Expressiveness, Separation and Complexity Results on Multiparty Session Types Nobuko Yoshida
10:00	On now Coffee Break
10:30	On now 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	On now Lunch
13:30	On now Structural Operational Semantics for String Diagrammatic Languages Fabio Zanasi
14:30	On now Coffee Break
15:00	On now 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