Invited Speakers

DisCoTec 2027 has invited speakers to give keynote talks and tutorials.

Keynote Talks

DisCoTec 2027 will host a keynote talk at each conference as well as a DisCoTec-wide keynote. The invited speakers are Nobuko Yoshida (COORDINATION) and to be announced.

TBA - DisCoTec-wide

To be announced

Nobuko Yoshida - COORDINATION

Title

To be announced

Abstract

To be announced

Bio

Nobuko Yoshida received her BSc and MSc from Keio University (Japan), before receiving her PhD from Keio University (Japan) and the University of Manchester (United Kingdom). She has worked at the Imperial College London (United Kingdom) and the University of Oxford (United Kingdom), where she currently holds the Christopher Strachey Chair of Computer Science. She is also an Honorary Senior Research Fellow at the University of Glasgow.

Her research is focused on theories and applications of protocols specifications and verifications, mobile concurrent computation and web services. Among her many contributions, stand out multiparty session types, which widened the scope of applications of session types and facilitated implementing them in many different programming languages. Her contributions spans many area of concurrent computation, from complexity analysis to formal verification of multiparty session types, from reversible process algebra to compositionality of choreographies, along with contributions to the Java, F#, go and Rocq programming languages, to name a few.

She is an editor of the ACM Transactions on Programming Languages and Systems, ACM Formal Aspects of Computing, Mathematical Structures in Computer Science, Journal of Logical Algebraic Methods in Programming, and the chief editor of the Concurrency Column for the EATCS Bulletin. She is regularly invited to serve in the program committees of CONCUR, ESOP, CAV, POPL, to name a few. She has been supported by the EPSRC (Morello-HAT, AppControl, …), received the “Most Influential POPL Paper Award” in 2018, CORDINATION Best Paper Award in 2023, and “10 Year Most Influential Paper Award” from PPDP in 2024, among others.

TBA - DAIS

To be announced

TBA - FORTE

To be announced

Tutorials

To be announced