阿诺德·贝克曼（编辑）；维克托·米特拉纳（编辑）；玛丽亚·索斯科娃（编辑） 不断发展的可计算性。2015年6月29日至7月3日在罗马尼亚布加勒斯特举行的第十一届欧洲可计算性会议，CiE 2015。诉讼程序。 （英语） Zbl 1314.68011号 计算机科学课堂讲稿9136.查姆：施普林格（ISBN 978-3-319-20027-9/pbk；978-3-3169-20028-6/电子书）。xv，第363页。(2015). 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。有关上一次会议，请参阅[Zbl 1305.68020号].索引文章：费利斯·卡多内计算机和通信机制。佩特里和霍尔特工作愿景概述，3-12[Zbl 1459.68003号]劳拉·克罗西拉，错误和预测性，13-22[Zbl 1461.03004号]米尔恰·杜米特鲁，人类大脑完全是算法吗？关于Kurt Gödel不完全性定理的注记，23-33[Zbl 1461.03007号]丹尼尔·戈奇；哈蒙·穆萨维；卢克·谢弗（Luke Schaeffer）；杰弗里·沙利特，折叠纸张序列的新方法，34-43[兹比尔1459.68163]Kjos-Hanssen，比约恩；Frank Stephan；塞巴斯蒂安·特维恩。，覆盖递归集，44-53[Zbl 1461.03031号]安卡·穆斯科尔，关于分布式监控和合成，54-62[Zbl 1459.68017号]佩恩，古奥热，非传统计算：我们做梦太多了吗？，63-70 [Zbl 1459.68066号]让-埃里克·品，牛顿的函数从单词到单词的正向差分方程，71-82[Zbl 1459.68164号]斯蒂芬·辛普森。，无法解决的程度：教程，83-94[Zbl 1461.03036号]谢尔盖·弗兰，分子和细胞计算的普遍性，95-104[Zbl 1459.68067号]马尔蒂恩·巴尔茨（Martijn Baartse）；克劳斯·米尔，关于实际计算的交互证明的一些结果，107-116[Zbl 1461.03042号]尼古拉·巴热诺夫，相对于强构造没有自动稳定度的素数模型，117-126[Zbl 1461.03027号]纪尧姆·邦凡特；穆罕默德·阿卡德；本杰明·格林鲍姆；马修·霍洛普，计算机病毒学中的免疫系统，127-136[Zbl 1459.68028号]梅林·卡尔，ITRM可从随机预言中识别，137-144[Zbl 1436.03217号]罗迪卡·塞特奇；Subramanian，K.G。；易卜拉欣·文卡特链码图像语言的并行重写P系统，145-155[Zbl 1459.68064号]德布莱希特，马修；施罗德，马提亚斯；维克托·塞利瓦诺夫，\（\mathrm的基本复杂性分类{qcb}0\)-空格，156-166[兹比尔1338.03112]埃勒斯，托尔斯滕；米勒，迈克，最优排序网络的新边界，167-176[Zbl 1459.68046号]方成灵；刘江；吴国华；Mars M.亚马列夫。，（L[{mathbf d}]\）中不存在最小对，177-185[Zbl 1461.03030号]藤原真本，《直觉可证性与统一可证性》（mathsf{RCA}），186-195[Zbl 1461.03009号]亚历克斯·加利基，凸函数的随机性和可微性，196-205[Zbl 1461.03043号]维萨·哈拉瓦；哈尔朱、特罗；雷诺·尼斯卡宁（Reino Niskanen）；伊戈尔·波塔波夫，攻击防御游戏中无限单词的加权自动机，206-215[Zbl 1459.68101号]Joost J.乔斯特恩。，图灵跳过可证明性，216-225[Zbl 1461.03056号]科洛维纳、玛格丽塔；奥列格·库迪诺夫，有效可数拓扑空间中的Rice定理，226-235[Zbl 1461.03038号]米查尔·科瓦奇，具有活性膜的顺序P系统终止问题的可判定性，236-245[Zbl 1459.68065号]勒鲁（Le Roux），斯特芬（Stéphane）；阿诺·保利，在连续博弈中寻找均衡的Weihrauch度，246-257[Zbl 1461.03034号]伊娃·迈亚；内尔玛·莫雷拉；罗杰里奥·里斯，前缀和右偏导数自动机，258-267[Zbl 1459.68106号]Timothy H.麦克尼科尔。，关于空间的可计算范畴的注记，268-275[Zbl 1461.03044号]格奥尔格·莫瑟；托马斯·鲍威尔，关于终止证明的计算内容，276-285[兹比尔1459.68093]安德烈·涅斯；斯拉沃米尔·索莱基，可计算Polish度量空间的局部紧性为\（\varPi^1_1）-完全，286-290[Zbl 1461.03045号]卢多维奇·佩蒂，《逆向数学中的迭代强迫和超免疫》，291-301[Zbl 1461.03011号]艾奥西夫·彼得拉基斯，完全规则的主教空间，302-312[Zbl 1461.03058号]马库斯·施密德。，计算无等式字符串因式分解，313-323[Zbl 1441.68200号]维克托·塞利瓦诺夫《走向有效描述性集合理论》，324-333[Zbl 1461.03049号]孙树明；钟宁；马丁·齐格勒，关于Navier-Stokes方程的可计算性，334-342[Zbl 1461.03046号]马塞·萨博《卡尔马尔和佩特：不完整性导致的不确定性》，343-352[Zbl 1461.03006号]范德米伦（Jeroen van der Meeren）；安德烈亚斯·魏尔曼，如何比较Buchholz式序数符号系统和Gordeev式符号系统，353-362[Zbl 1461.03053号] 引用于1审查引用于2文件 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 68季度xx 计算理论 00B25型 杂项特定利益的会议记录 引文：Zbl 1305.68020号 PDF格式BibTeX公司 XML格式引用 \textit{A.Beckmann}（编辑）等人，《进化的可计算性》。2015年6月29日至7月3日在罗马尼亚布加勒斯特举行的第十一届欧洲可计算性会议。诉讼程序。查姆：斯普林格（2015；Zbl 1314.68011） 全文： 内政部