Title:　 Reasoning Techniques for Higher-Order Concurrent Languages

Speaker: Dr. Vasileios Koutavas（Trinity College Dublin）

Time:　  3pm, Friday Nov. 26

Venue:　 Lecture room, Lab for Computer Science, Level 3 Building #5, Institute of Software, CAS

Abstract:

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. Such languages are becoming increasingly relevant to software development and verification. This talk will mainly 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.