应用范畴理论2020

Bryce Clarke，Derek Elkins，Jeremy Gibbons，Fosco Loregian，Bartosz Milewski，Emily Pillmore和Mario Román。

迈卡·哈尔特，埃文·帕特森，安德鲁·巴斯和詹姆斯·费尔班克斯。基于CATLAB和语义模型的组合科学计算。

拉克伦·麦克菲特，迈赫努什·萨德尔扎德，哈迪·瓦兹尼和吉斯·维恩霍尔德。具有相关模态的Lambek演算的范畴向量空间语义。

马尔科·贝尼尼，马尔科·佩林，亚历山大·申克尔和卢卡斯·沃克。代数量子场论的范畴化。

罗科·甘格尔，吉安卢卡·卡特琳娜和费尔南多·托梅。Peirce'；存在图(Alpha)的一般图形重构。

Bob Coecke，Giovanni de Felice，Konstantinos Meichanetzidis，Alexis Toumi，Stefano Gogioso和Nicolo Chiapi。量子自然语言处理。

布伦丹·方，大卫·贾兹·迈尔斯和大卫·I·斯皮瓦克。行为Mereology：传递约束的模态逻辑。

题名/责任者：The Function and and Evan Patterson(作者：David I.Spivak and Evan Patterson)。对称么半群范畴中作为计算范式的接线图。

乔埃勒·扎尔迪尼，大卫·I·斯皮瓦克，安德烈·森西和埃米利奥·弗拉佐利。一种基于事件系统的组合层理论框架。

杰弗里·克鲁特威尔，乔纳森·加拉格尔和多雷特·普朗克。一种简单微分程序设计语言的范畴语义。

乔瓦尼·德·费利斯、埃琳娜·迪·拉沃尔、马里奥·罗曼和亚历克西斯·图米。函数语言问答游戏。

马修·威尔逊、詹姆斯·赫福德、纪尧姆·博伊索和文森特·王。更新结构之旅：参观透镜和量子封闭体。

罗伯特·阿基，布鲁诺·加夫拉诺维ć，尼尔·加尼，克莱门斯·库普克，杰里米·莱登特和弗雷德里克·诺德瓦尔·福斯伯格。构图博弈论，构图博弈论。

塔莫·乌斯图鲁，尼科洛·韦尔特里和诺姆·泽尔伯格。部分正规斜么半群范畴的证明理论。

这些演示将于世界协调时7月8日16：40开始。