第四届国际可计算性和分析复杂性会议
2007年6月16日至18日,意大利锡耶纳
![广场](http://cca-net.de/cca2007/piazza.jpg)
这张图片是基于这张图片田野广场
来自免费百科全书维基百科它在下面
GNU许可证。这张照片由O.Strama于2004年拍摄。
范围
会议涉及可计算性理论以及实际价值数据的复杂性。
可计算性和复杂性理论是两个核心领域数学逻辑与理论计算机研究科学。可计算性理论是对局限性的研究以及计算机的基本能力。计算型复杂性理论为理解解决计算问题的成本,由对时间和空间等资源的要求。这些领域的经典方法是考虑运算于有限符号串的算法有限字母表。这些字符串可以表示各种离散的对象,例如整数或代数表达式,但不能表示一般实数或复数,除非它们是四舍五入。
然而,物理学和工程学中的大多数数学模型,基于实数概念。因此,可计算性实数及其上的理论和复杂性理论需要更通用的连续数据结构。与离散结构的成熟经典理论,连续数据的计算理论仍然存在发展的早期阶段,尽管在近年来。许多重要的基本问题尚未研究,大概有很多意想不到的结果正在等待检测。
从事实值计算领域的科学家数据来自不同的领域,例如理论计算机科学、领域理论、逻辑、构造数学、,计算机算术、数值数学和所有分支分析。会议为来自不同领域的人们见面,介绍正在进行的工作交流思想和知识。
感兴趣的主题包括各种基础工作描述可计算性和实数的复杂性。它们还包括复杂度理论研究,包括基础研究和关于具体问题,以及精确实数运算,以及已经存在的软件包。我们希望获得新的对各种可计算性理论方面的见解物理和其他领域的计算问题涉及对实数的计算。
今年,CCA 2007与会议合办CiE 2007年, 2007年欧洲的可计算性:现实世界中的计算和逻辑,锡耶纳大学,2007年6月18日至23日。
科学计划委员会
- 道格拉斯·森泽(盖恩斯维尔,美国)
- 丁德成(中国南京)
- 马丁·埃斯卡多(英国伯明翰)
- 彼得·赫特林(德国纽比堡)
- Ker-I Ko公司(美国石溪)
- 沃尔夫冈·默克尔(德国海德堡)
- 达格·诺曼(挪威奥斯陆)
- 齐格弗里德·M·朗普(德国汉堡-汉堡)
- 马蒂亚斯·施罗德(德国西根)
- 彼特·舒斯特(德国慕尼黑)
- 迪特尔·斯普林(德国西根)
- 维戈·斯托尔滕贝格·汉森(乌普萨拉,瑞典)
- 克劳斯·维赫劳赫(Klaus Weihrauch)(德国黑根)
- 马里科·亚苏吉(日本京都)
- 郑西忠(科特布斯,德国)
- 宁钟,椅子(美国辛辛那提)
组织委员会
- 乔治·巴姆帕利亚斯(英国利兹)
- 吉多·格拉迪(意大利锡耶纳)
- 安德鲁·刘易斯(锡耶纳,意大利)
- 安德烈亚·索比,主席(锡耶纳,意大利)
项目和地点
会议暂定日程如下:
CCA 2007计划
2007年CCA会谈的地点是圣基亚拉学院(礼堂)。在这里您可以找到地图和如何从佛罗伦萨机场找到CCA 2007.
![群图片](http://cca-net.de/cca2007/cca2007.jpg)
2007年共同国家评估的一些参与者
注册
有关注册和费用的信息,请转到以下页面:
CCA&CiE注册.
住宿
可通过CiE 2007网页预订住宿:
住宿
对于2007年CCA参与者,Santa Chiara的八个房间将在6月18日前开放,6月15日起三晚。
提交文件
邀请作者将论文的PostScript或PDF版本提交给
.
诉讼
被接受的论文将作为CCA 2007年会议记录在理论计算机科学电子笔记. 此外,会议还将提供印刷版(作为技术报告)。计划出版该杂志的一期专刊数理逻辑学报会议结束后,致力于2007年CCA。日期
提交截止日期:2007年4月8日
作者通知:2007年5月7日
最终版本:2007年5月27日
CCA指导委员会
Vasco Brattka(南非开普敦),彼得·赫特林(德国纽比堡),Ker-I Ko(美国石溪),Klaus Weihrauch,主席(德国哈根),宁忠(美国辛辛那提)更多信息
欲了解更多信息,请联系