第五届国际可计算性和分析复杂性会议

为纪念克劳斯·维赫劳赫65岁生日而举行
2008年8月21日至24日，德国黑根

范围

会议涉及可计算性理论以及实际价值数据的复杂性。

可计算性和复杂性理论是两个核心领域数学逻辑与理论计算机研究科学。可计算性理论是对局限性的研究以及计算机的基本能力。计算复杂性理论为理解解决计算问题的成本，通过对时间和空间等资源的要求。这些领域的经典方法是运算于有限符号串的算法有限字母表。这些字符串可以表示各种离散的对象，例如整数或代数表达式，但不能表示一般实数或复数，除非它们是四舍五入。

然而，物理学和工程学中的大多数数学模型，基于实数概念。因此，可计算性实数及其上的理论和复杂性理论需要更通用的连续数据结构。尽管如此近年来取得显著进展的许多重要基础问题尚未研究，大概有很多意想不到的令人惊讶的结果正在等待检测。

从事实值计算领域的科学家数据来自不同的领域，例如理论计算机科学、领域理论、逻辑、构造数学、，计算机算术、数值数学和所有分支分析。会议为来自不同领域的人们见面，介绍正在进行的工作交流思想和知识。

感兴趣的主题包括各种基础工作描述可计算性和实数的复杂性。它们还包括复杂度理论研究，包括基础研究和关于具体问题，以及精确实数运算，以及已经存在的软件包。我们希望获得新的对各种可计算性理论方面的见解物理和其他领域的计算问题涉及对实数的计算。

受邀演讲人

安德烈·鲍尔（斯洛文尼亚卢布尔雅那）
道格拉斯·布里奇斯（新西兰基督城）
马丁·埃斯卡多（英国伯明翰）
彼得·赫特林（德国纽比堡）
Ker-I Ko公司（美国石溪）
塞巴斯蒂安·特维恩（奥地利维也纳）
郑西忠（美国辛辛那提和德国科特布斯）
杰弗里·祖克（加拿大汉密尔顿）

科学计划委员会

瓦斯科·布拉特卡，主席（南非开普敦）
道格拉斯·布里奇斯（新西兰基督城）
曼努埃尔·坎帕尼奥洛（葡萄牙里斯本）
彼得·柯林斯（荷兰阿姆斯特丹）
彼得·赫特林（德国纽比堡）
杰克·H·卢茨（美国艾姆斯）
约瑟夫·米勒（美国斯托尔斯）
诺伯特·米勒（德国特里尔）
罗伯特·雷廷格（德国黑根）
Nathalie Revol公司（法国里昂）
马蒂亚斯·施罗德（德国纽比堡）
低音喷溅（荷兰埃因霍温）
保罗·泰勒（英国伦敦）
Hideki Tsuiki先生（日本京都）
约翰·V·塔克（英国斯旺西）
宁忠（美国辛辛那提）
马丁·齐格勒（德国帕德博恩）

组织委员会

鲁斯·迪尔哈奇（德国哈根）
坦尼娅·格拉巴（德国哈根）
克劳斯·维赫劳赫（Klaus Weihrauch），主席（德国黑根）

海报

会议海报位于：

CCA 2008海报

计划

会议的临时日程安排如下：

CCA 2008计划

2008年共同国家评估的一些参与者

登记处

有关注册和费用的信息，请转到以下页面：

CCA 2008注册.计划在Arcadeon设有登记处

8月20日，星期三，17:00-20:00
8月21日星期四07:45-09:00

地点、住宿和旅行

CCA 2008年会谈的地点是会议中心阿克顿酒店，Lennestraße 91，58093 Hagen。住宿建议如下：

住宿有关旅行的信息，请访问：

旅行

提交文件

请作者在以下网页上提交扩展摘要的PDF版本（通常为10-12页）：

http://www.easychair.org/conferences/？conf=cca2008
这些扩展的摘要必须用ENTCS样式文件.

诉讼

被接受的论文将作为CCA 2008年会议记录在理论计算机科学电子笔记. 此外，会议还将提供印刷版（作为技术报告）。

计划出版一些期刊的特刊会议结束后，致力于2008年CCA。

日期

提交截止日期：2008年5月26日
作者通知：2008年6月23日
最终版本：2008年7月21日

CCA指导委员会

Vasco Brattka（南非开普敦），彼得·赫特林（德国纽比堡），Ker-I Ko（美国石溪），Klaus Weihrauch，主席（德国哈根），宁忠（美国辛辛那提）