[logic-ml] Talk by Alex Kavvos (October 17th, 11.00-)
Kazushige TERUI
terui at kurims.kyoto-u.ac.jp
Tue Oct 15 14:46:40 JST 2019
みなさま
今週木曜日に京都大学にて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.)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20191015/8c4d622a/attachment.html>
More information about the Logic-ml
mailing list