第六届国际可计算性和分析复杂性会议
2009年8月18日至22日，斯洛文尼亚卢布尔雅那
范围
会议涉及可计算性理论以及实际价值数据的复杂性。
可计算性和复杂性理论是两个核心领域数学逻辑与理论计算机研究科学。可计算性理论是对局限性的研究以及计算机的基本能力。计算复杂性理论为理解解决计算问题的成本，通过对时间和空间等资源的要求。这些领域的经典方法是运算于有限符号串的算法有限字母表。这些字符串可以表示各种离散的对象，例如整数或代数表达式，但不能表示一般实数或复数，除非它们是四舍五入。
然而，物理学和工程学中的大多数数学模型，基于实数概念。因此，可计算性实数及其上的理论和复杂性理论需要更通用的连续数据结构。尽管如此近年来取得显著进展的许多重要基础问题尚未研究，大概有很多意想不到的令人惊讶的结果正在等待检测。
从事实值计算领域的科学家数据来自不同的领域，例如理论计算机科学、领域理论、逻辑、构造数学、，计算机算术、数值数学和所有分支分析。会议为来自不同领域的人们见面，介绍正在进行的工作交流思想和知识。
感兴趣的主题包括各种基础工作描述可计算性和实数的复杂性。它们还包括复杂度理论研究，包括基础研究和关于具体问题，以及精确实数运算，以及已经存在的软件包。我们希望获得新的对各种可计算性理论方面的见解物理和其他领域的计算问题涉及对实数的计算。
话题
- 可计算分析
- 实数的复杂性
- 建设性分析
- 领域理论与分析
- 表征理论
- 可计算数字、子集和函数
- 随机性与可计算测度理论
- 实数的可计算性模型
- 可实现性理论与分析
- 实数算法
- 精确实数算法的实现
受邀演讲人
- 马克·布拉弗曼（美国剑桥）
- 弗拉迪克·克雷诺维奇（美国埃尔帕索）
- 达纳·斯科特（美国匹兹堡）
- 宁忠（美国辛辛那提）
演讲者教程
- 马丁·埃斯卡多（英国伯明翰）
- 低音喷溅和罗素·奥康纳（荷兰埃因霍温）
科学计划委员会
- 安德烈·鲍尔（斯洛文尼亚卢布尔雅那）
- 瓦斯科·布拉特卡（南非开普敦）
- 马克·布拉弗曼（美国剑桥）
- 彼得·柯林斯（荷兰阿姆斯特丹）
- 彼得·赫特林，联合主席（德国慕尼黑）
- 石原哈吉（石川，日本）
- Ker-I Ko公司，联席主席（美国石溪）
- 罗伯特·雷廷格（德国哈根）
- 维克托·塞利瓦诺夫（俄罗斯新西伯利亚）
- 亚历克斯·辛普森（英国爱丁堡）
- Dieter Spreen公司（德国西根）
- 弗兰克·斯蒂芬（新加坡）
- 郑西忠（美国格伦赛德）
组织委员会
- 安德烈·鲍尔，椅子
- 伊兹托克·卡夫克勒
- 达沃林·勒什尼克
- 马蒂亚·普雷特纳
数学和物理学院
卢布尔雅那大学和
数学、物理和力学研究所.
海报
会议海报位于：
CCA 2009海报
地点、住宿、旅行和登记
有关当地安排和注册的更多信息，请访问：
提交文件
请作者在以下网页上提交扩展摘要的PDF版本（通常为10-12页）：
http://www.easychair.org/conferences/？conf=cca2009
这些扩展摘要应使用Springer Verlag的LNCS样式文件；看见
http://www.springer.com/computer/lncs？SGWID=0-164-7-72376-0
诉讼
一份包含已接受论文的技术报告将在会议上分发。电子诉讼卷将显示在滴达格斯图尔宫系列。计划出版一些期刊的特刊会议结束后，致力于2009年CCA。
日期
新提交截止日期：五月18, 2009
作者通知：2009年6月15日
最终版本：2009年7月13日
CCA指导委员会
Vasco Brattka，主席（南非开普敦），彼得·赫特林（德国纽比堡），Ker-I Ko（美国石溪），克劳斯·维赫劳赫（德国哈根），宁忠（美国辛辛那提）更多信息
有关更多信息，请联系
- Ker-I Ko公司，PC联合主席（用于提交）
- 彼得·赫特林，PC联合主席（用于提交）
- 安德烈·鲍尔，本地组织者（用于本地信息）