[logic-ml] Talk by Bart Jacobs, Mon 2 Nov

皆様，

以下のように，来週月曜日，Radboud大学のBart Jacobsさんをお招きして講演をしていただきます。 Jacobsさんは量子計算等の圏論的意味論において先進的な研究をされている方です。 ぜひご参加ください。

-- 片岡 俊基 (Toshiki Kataoka, http://www-mmm.is.s.u-tokyo.ac.jp/~tos/)

-------------------- Mon 2 Nov 2015, 16:30–18:00 Room 214, School of Science Bldg. No. 7 (理学部7号館214) Access: http://www-mmm.is.s.u-tokyo.ac.jp/access.html

Bart Jacobs (Radboud U.), Introduction to Effectus Theory

Effectus theory provides a novel categorical approach to models of probabilistic and quantum computation and logic. The talk will introduce the main aspects and examples of effectuses. http://lmcs-online.org/ojs/viewarticle.php?id=1766&layout=abstract