IISER Pune
INDIAN INSTITUTE OF SCIENCE EDUCATION AND RESEARCH (IISER) PUNE
where tomorrow’s science begins today
An Autonomous Institution, Ministry of Human Resource Development, Govt. of India
Links
Seminars and Colloquia

Mathematics

Programs + Communication Structures = Systems 
 
Tue, Feb 12, 2019,   04:30 PM to 05:30 PM at Madhava Hall

Prof. Simon Gay
University of Glasgow, UK

Computing has changed - the era of data processing has been replaced by 
the era of communication. Programming languages have always provided 
support for structured data, but now they need to evolve to support 
structured communication. The necessary theory comes from the topic of 
session types, which are type-theoretic specifications of communication 
protocols. I will outline the theory of session types and how they can 
be used in programming languages, and describe some past, current and 
future projects.

homecolloquia_seminars