6月17日 情報工学講義 16:30-18:00 14-201教室
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月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.