回复:

应用范畴理论2021

约翰发帖2021年2月17日下午7:49

您的评论:







记住个人信息(需要饼干)?

文本筛选选项:

转换换行符
默认转换:2个换行符开始一个新段落;一个换行符插入<br/>。
itex到MathML
原始HTML(您需要手动插入所有<p>标签),但使用嵌入的itex公司方程。
itex到MathML,带parbreaks
嵌入的itex公司,两个换行符开始一个新段落。
降价
约翰·格鲁伯的降价格式化。
使用itex对MathML进行降价
降价使用嵌入式设置格式itex公司.
织物
XHTML友好型实施迪安·艾伦的织物格式化.
嵌入itex到MathML的纺织品
织物使用嵌入式设置格式itex公司.

允许的HTML标记:<p>,<br/>,<区块报价>,<预>,<b>,<u>,<i>,<tt>,<强>,<em>,<代码>,<ul>,<ol>,<li>,<dl>,<日期>,<日>,<sup>,<子>,<abbr title=“”>,<首字母缩略词title=“”>,<bdo dir=“”xml:lang=“”>,<span xml:lang=“”>,<a href=“”title=“”>.

PGP签署的意见受到鼓励。




原职务:

应用范畴理论2021

一年一度的应用范畴理论大会即将召开!这是第四次:前三次是在莱顿、牛津和(实际上)麻省理工学院。这个将在线还有幸运的是,亲自出游,但现在不要安排旅行:

它将在应用范畴理论伴随学派7月5日至9日在同一地点举行的一次会议上,这将是一次幸运的会面。

你现在可以提交论文了!就像在计算机科学会议上一样,这就是你演讲的方式。有关更多详细信息,请继续阅读。

概述

应用范畴理论是越来越多的研究人员感兴趣的话题,他们对使用范畴理论工具研究许多不同类型的系统感兴趣。这些系统广泛存在于计算机科学、数学和物理,以及社会科学、语言学、认知和神经科学中。我们成员的背景和经验与所研究的系统一样多种多样。应用类别理论系列会议的目标是让研究人员共同传播最新成果,促进该领域的进一步发展。

我们接受提交的原始研究论文和其他地方接受/提交/发表的工作。被接受的原创研究论文将被邀请在论文集中发表。主旨演讲将取自最受欢迎的论文。会议将包括一个行业展示活动。

我们希望将此次会议作为一次混合活动来举办,届时将有实体与会者在剑桥出席,其他与会者也将在线参与。然而,由于大流行的现状,目前还没有确定是否有人在医院就医。请不要预订您的旅行或酒店住宿。

重要日期(全部在2021年)

  • 提交论文:5月10日星期一

  • 接受/拒绝通知:6月7日星期一

  • 附属学校:7月5日星期一至7月9日星期五

  • 主要会议:7月12日星期一至7月16日星期五

提交的资料

接受以下两种类型的提交:

  • 程序跟踪。高质量工作的原始贡献,包括长达12页的扩展摘要,提供真正感兴趣的结果的证据,并具有足够的细节,使项目委员会能够评估工作的优点。鼓励提交工作成果,但必须比研究提案更具实质性。

  • 非进程跟踪。还将考虑在其他地方提交或发表的高质量作品的描述,前提是这些作品是最新的并且与会议相关。作品可能有任何长度,但项目委员会成员只能查看提交文件的前3页,因此您应确保这些页面包含足够的证据,证明您的作品质量和严谨性。

这两个方面的论文将按照相同的质量标准进行审查。由于ACT是一个跨学科的会议,我们使用两个轨道来适应不同学科的出版惯例。例如,具有计算机科学背景的人可能更喜欢程序跟踪,而具有数学、物理或其他背景的人则可能更喜欢非程序跟踪。然而,任何背景的作者都可以自由选择他们喜欢的轨道,并且可以根据作者的要求随时将提交文件从诉讼轨道转移到非诉讼轨道。

缴费必须以PDF格式提交。必须使用LaTeX,使用EPTCS样式的文件(可在

http://style.eptcs.org

提交链接将很快在ACT2021网页上提供:

https://www.cl.cam.ac.uk/events/act2021

项目委员会

主席:科海·基希达,伊利诺伊大学香槟分校

整个项目委员会将很快公布。

当地组织者

  • 卢卡斯·海德曼,牛津大学
  • Nick Hu,牛津大学
  • 剑桥大学Ioannis Markakis
  • 亚历克斯·赖斯,剑桥大学
  • 剑桥大学卡林·塔塔鲁
  • 剑桥大学杰米·维卡里

指导委员会

  • John Baez,加州大学河滨分校和量子中心技术
  • 多雷特·普龙克,达尔豪西大学
  • Bob Coecke,剑桥量子计算
  • David Spivak,托普斯研究所

由john发布2021年2月17日下午7:49