[logic-ml] Talk by Cho Kenta (Nijmegen), Tue 10 May

[Takumi Akazaki]

皆様, (重複して受け取られた方はご容赦ください)

東京大学蓮尾研の赤崎と申します。
以下の要領で, 再来週の火曜日に、Nijmegenの長健太さんをお招きして講演をしていただきます。
ぜひご参加くださいませ。

日時: 5月10日 13:00-15:00
場所: 東京大学理学部７号館214教室


-----------


Tue 10 May 2016, 13:00–15:00

理学部7号館214
Room 214, School of Science Bldg. No. 7

Kenta Cho
<https://www.google.com/url?q=http://www.cs.ru.nl/K.Cho/&sa=D&ust=1461640002273000&usg=AFQjCNEixO6CHXwAG-IoGfSa8Qs1OFrFKA>
(Inst.
of Comp. & Info. Sci., Radboud University), Von Neumann algebras from a
logical / categorical perspective

Many researches at the Nijmegen group involve von Neumann algebras,

which are now important not only in quantum physics but also in the

context of quantum computation and information. I plan to talk about:

1) basics of von Neumann algebras and quantum theory; 2) von Neumann

algebras in effectus theory (a categorical approach to quantum

computation and logic); 3) von Neumann algebras as a (categorical,

denotational) model of the quantum lambda calculus.

-- 
/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/
Dept. of Computer Science
Graduate School of Information Science and Technology
The University of Tokyo

Akazaki Takumi
mail :<ultraredrays at gmail.com>
mobile : <090-5379-4901>
/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20160427/05f79e25/attachment.html>