みなさま

今週木曜日に京都大学にてAlex Kavvosさんによるご講演があります。 詳細は下記の通りです。よろしければぜひご参加ください。

京都大学数理解析研究所 照井一成

========== Time: 11:00-12:00, October 17th, 2019 Place: Rm 478, Research Building 2, Main Campus, Kyoto University 京都大学 本部構内 総合研究2号館 4階478号室 http://www.kyoto-u.ac.jp/en/access/yoshida/main.html (Building 34)

Speaker: Alex Kavvos (Aarhus University)

Title: Modalities, Cohesion, and Information Flow

Abstract: It is informally understood that the purpose of modal type constructors in programming calculi is to control the flow of information between types. I will introduce a number of such constructors that are useful for security-aware functional programming, i.e. for writing programs without accidental high-level leaks of information flow. Following that, I will prove that the well-typed programs in calculi of this sort preserve confidentiality and integrity by design, by using some categorical algebra and a few background ideas from topology. (This talk is based on arXiv:1809.07897.)