皆様， 京都大学の五十嵐です．
以下の内容で，イギリス Imperial College の吉田展子さんによる講演を行い ます．奮ってご参加ください．
吉田さんは当日午前中から夕方まで京大におり，懇親会(18:00頃から四条方面 で)を企画しております．日中お話をされたい方や懇親会に参加できる方は五十 嵐まで(日中の場合は希望の時間帯を)ご連絡ください．
日時: 7/29(水) 14:45〜16:00(ごろ) 場所: 京都大学 吉田キャンパス 総合研究７号館１階 情報２講義室
タイトル: Multiparty Session Types and their Applications
Abstract: In this talk, I give a summary of our recent research developments on multiparty session types for verifying distributed and concurrent programs, and our collaborations with industry partners and a major, long-term, NSF-funded project (Ocean Observatories Initiatives) to provide an ultra large-scale cyberinfrustracture (OOI CI) for 25-30 years of sustained ocean measurements to study climate variability, ocean circulation and ecosystem dynamics. I shall first talk how Robin Milner, Kohei Honda and Yoshida started collaborations with industry to develop a web service protocol description language called Scribble and discovered the theory of multiparty session types through the collaborations. I then talk about the recent developments in Scribble and the runtime session monitoring framework used in the OOI CI. Finally I summarise our recent other results on Multiparty Session Types.
-- 五十嵐 淳 (IGARASHI Atsushi) E-mail: igarashi@kuis.kyoto-u.ac.jp url: http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/