911½ñÈÕºÚÁÏ

DoC academic Nobuko Yoshida is to speak at PWL conference on the topic of verifying distributed, parallel and concurrent programs

Dr Nobuko Yoshida is one of six speakers from academia invited to speak at (PWLConf) which is the full-day preconference at the industry focussed , in Saint Louis, MO on Thursday 15 September.

Dr Yoshida will present a summary of recent papers on for verifying distributed, parallel and concurrent programs, illustrating how theoretical work is grounded on collaborations with industry partners.

This research led to the development of the protocol description language and other work such as in Go.

(PWL) is a community built around reading, discussing and learning more about academic computer science papers. This repository serves as a directory of some of the best papers the community can find, bringing together documents scattered across the web.

Since the first official chapter established in Feb 2014, PWL has grown to over 33 cities worldwide today; their largest chapter has 1,483 members and our most remote chapter is in Seoul. PWL videos have garnered over 41,906 views.

For further details about the and the conference, visit and the .