Mariangiola Dezani-Ciancaglini, Torino University
Title:Â "Partial Typing for Open Compliance in Multiparty Sessions"
Clemens Grabmayer, Gran Sasso Science Institute
Title: "From Compactifying Lambda-Letrec Terms to Recognizing Regular-Expression Processes"
Gabriele Vanoni, INRIA
Title: "What are abstract machines good for?"