[logic-ml] 講演のお知らせ (吉田 展子さん，7/29)

[Atsushi Igarashi]

皆様，    京都大学の五十嵐です．

以下の内容で，イギリス 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 at kuis.kyoto-u.ac.jp
url: http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/