Multiparty Session Types (MPST) provide a rigorous formalism for specifying and verifying the correctness of communications in distributed systems. Rooted in the notion of behavioural types, MPST ...

Session types have emerged as a rigorous formalism for specifying and verifying communication protocols in concurrent systems. They provide a structured approach to ensuring that interactions among ...

Symposia (SYMP) are the scientific centerpiece of the meeting. These sessions consist of 4 invited talks, each 20 minutes long. Together these talks provide an integrated synthesis of a topic with ...

I have attended keynote presentations at conferences that have been the highlight of the conference (especially in terms of long-term perspective), but I have also attended conference keynote sessions ...

HBS Live Online Classrooms were designed to bring the immersive, interactive experience of the case method to remote learners, anywhere in the world. The HBS Live Online Classrooms are a ...