6月17日　情報工学講義 16:30-18:00 14-201教室
講師：Loyola University Chicago, Professor William L. HONIG
演題： Metrics, Software Engineering, Small Systems – the Future of Systems Development

6月10日　情報工学講義 16:30-18:00 14-201教室
講師：George Mason University, Professor BIJAN JABBARI
演題：Enabling communications technology for the future

6月3日　情報工学講義 16:30-18:00 14-201教室
講師：イーソリューションズ(株) 代表取締役社長　佐々木　経世
演題：ソリューションズビジネスの最前線

5月27日　情報工学講義 16:30-18:00 14-201教室
講師：北海道大学　教授　小野　哲雄
演題：ヒューマンエージェントインタラクションの現状と未来

5月20日　情報工学講義 16:30-18:00 14-201教室
講師：三菱電機株式会社　情報技術総合研究所 部長　米田 健
演題：先端エレクトロニクス製品アーキテクチャ講座(仮）

5月13日　情報工学講義 16:30-18:00 14-201教室
講師：株式会社レコチョク　稲荷 幹夫　様
演題：新技術を実用化する考え方

お知らせ内容
5月6日　情報工学講義 16:30-18:00 14-201教室
講師：筑波大学 助教　大澤 博隆
演題：知能が作る社会・社会が作る知能：ヒューマンエージェントインタラクション

4月22日　情報工学講義 16:30-18:00 14-201教室
講師：情報工学科助教　杉浦裕太
演題：生活インタラクション

詳細は以下からご覧下さい。
第7回　産学連携シンポジウム　IT・エレクトロニクス企業で活躍する先輩からのメッセージ

Multiparty Session Types and their Applications

http://mrg.doc.ic.ac.uk/

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.