2023 CCF中国软件大会
CCF ChinaSoft 2023
会议介绍
2023年CCF中国软件大会(CCF ChinaSoft 2023)由中国计算机学会(CCF)主办,CCF软件工程专委会、系统软件专委会、形式化方法专委会以及复旦大学承办,将于2023年12月1-3日在上海国际会议中心举行。
本次大会的主题是“智能化软件创新推动数字经济与社会发展”。大会将组织特邀报告、院士论坛、NASAC青年创新奖论坛、顶会顶刊论坛、优秀博士生论坛、优秀青年学者论坛以及论文专刊论坛、工业论坛、教育论坛、学科竞赛等40余场各类活动,欢迎全国各地高校、企业、研究机构、政府部门以及各界的学者、专家、专业人员和学生参会。
CCF中国软件大会由全国软件与应用学术会议(NASAC)与全国形式化方法与应用会议(FMAC)两个会议有机组成。NASAC创立于2002年,已举办二十一届,由CCF主办,CCF软件工程专业委员会与CCF系统软件专业委员会共同承办,是中国软件科学与工程相关领域参会人数最多、影响范围最广、涵盖内容最全面的学术会议。全国形式化方法与应用会议(FMAC)创立于2016年,历经七届,由CCF主办,CCF形式化方法专业委员会承办。FMAC聚焦形式化方法理论前沿和最新研究进展,深化拓展形式化方法与相关领域的交叉,促进形式化方法、工具和应用在国内的发展。
请访问大会网址:http://chinasoft.ccf.org.cn 获取更多详细信息。
简易日程
时间 |
预期日程安排 * |
2023.11.30周四下午(14:00-20:00) |
会议报到 |
2023.12.01周五全天(8:30-18:00) |
分论坛研讨会 |
2023.12.02周六上午(8:30-12:30) |
开幕式、大会特邀报告、院士论坛 |
2023.12.02周六下午(14:00-18:00) |
分论坛研讨会 |
2023.12.03周日上午(8:30-12:30) |
大会特邀报告 |
2023.12.03周日下午(14:00-18:00) |
NASAC青年软件创新奖论坛、颁奖典礼、闭幕式 |
* 详细日程正在制定中,敬请关注更新。
联系信息
组委会联系邮箱:ccfchinasoft2023@163.com
联系人:吴老师(注册、赞助)、陈老师(论坛安排)