コンピュータサイエンス研究会(2010年12月3日（金）)

研究会名：コンピュータサイエンス研究会

開催日：2010年12月3日（金）15:30～17:30

題目：“Reasoning Techniques for Higher-Order Concurrent Languages”

講師：Vasileios Koutavas氏 (Trinity College Dublin)

開催場所：電子情報システム・応物系3号館206号

コンピュータサイエンス研究会　講演会の御案内

コンピュータサイエンス研究会
主査篠原　歩

下記のようにコンピュータサイエンス研究会の講演会を開催いたしますので，ご案内申し上げます．

日時：2010年12月3日（金）15:30～17:30
場所：電子情報システム・応物系3号館206号
題目：“Reasoning Techniques for Higher-Order Concurrent Languages”
話者：Vasileios Koutavas (Trinity College Dublin）
概要：
Developing effective reasoning techniques for programming languages with higher-order constructs is a challenging problem, made even more challenging by the presence of concurrency, mobility, and distribution. With the increasing popularity of distributed applications on the web, where not only data but code can be transferred between nodes, such languages are becoming more relevant to software development and verification. This talk will focus on languages based on the higher-order pi-calculus, an extension of the pi-calculus with transmission of processes. We will examine and compare the main techniques for reasoning in such languages and discuss questions that still remain open.