首届计算机科学与软件新技术国际学术论坛
简 介

人类社会已快速进入信息时代，作为信息

主要载体的计算机及相关软件已经日益渗透

到社会经济、军事、政治、文化乃至生活的

各个层面。计算机科学和软件技术如何适应

信息技术快速发展的需要, 是计算机科学工

作者必须重视的紧迫问题。

中国计算机学会理事长李国杰院士2006年在《中国计算机学会通讯》上发表论文，提出了

对计算机科学的反思，指出计算机科学与技术需要革命性的突破。计算机科学图灵奖获得者Tony

Hoare 20O5年提出了计算机科学中的可验证软件的重大挑战性问题(Verified Software Grand C

hallenge)。美国国家软件发展战略(2006-2015)将开发高可信软件放在首位,并提出了下一代软件

工程的构想。这将是软件工程研究的一次重大革命。为了使我省计算机科学、软件技术和软件产

业的研究和实践能尽快溶入国际国内该领域研究的主潮流，并在这些重大创新计划中做出应有的

贡献，江西省科学技术协会和江西师范大学决定在南昌举办首届计算机科学和软件新技术国际学

术论坛。我们已经成功邀请到计算机科学图灵奖(计算机界的诺贝尔奖)获得者霍普克罗夫特

(Hopcroft)等多位国际知名学者在论坛作主题报告和特邀报告。我们正在邀请国内知名专家参加

论坛并作学术报告。我们也欢迎一切对本论坛感兴趣的同仁光临！欲了解详细情况，请进入论坛

网站：

http://www.jxnu.edu.cn 或 http://www.jxcsst.com。

应《计算机科学与探索》编缉部之邀，我们将把在论坛上报告的创新性成果推荐到该刊正式

发表。该刊是由国家信息产业部主管、华北计算技术研究所主办的国内外公开发行的计算机学报

级高级学术期刊(中、英文稿均可)。

本学术论坛得到国家自然科学基金资助

这个是我们学校的通知.呵呵.