CONFEST'26
CONCUR
QEST+FORMATS
FMICS
Workshops
Local Info
Program
Registration
CONFEST 2026
Express/SOS
Weighted barbed congruence
Iwan Quémerais
in
Room B
in session
Express/SOS Workshop Session 1
(on,
Sat, 10:30
, 4 talks over 90 min)
Other talks in Express/SOS Workshop Session 1:
On the Expressiveness of Asynchronous Processes with Nested Session Types
The MAY-preorder for timed systems with asynchronous communication
Encoding call-by-push-value in the pi-calculus
Program
EXPRESS/SOS Program