<div dir="ltr">みなさま<br><br>今週木曜日に京都大学にてAlex Kavvosさんによるご講演があります。<br>詳細は下記の通りです。よろしければぜひご参加ください。<br><br>京都大学数理解析研究所<br>照井一成<br><br>==========<br>Time:    11:00-12:00, October 17th, 2019<br>Place:    Rm 478, Research Building 2, Main Campus, Kyoto University<br>    京都大学 本部構内 総合研究2号館 4階478号室<br>    <a href="http://www.kyoto-u.ac.jp/en/access/yoshida/main.html">http://www.kyoto-u.ac.jp/en/access/yoshida/main.html</a> (Building 34)<br><br>Speaker: Alex Kavvos (Aarhus University)<br><br>Title: Modalities, Cohesion, and Information Flow<br><br>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.)<br></div>