CCF 程序设计语言会议报告征集

紫金会议 - 第一届CCF程序设计语言会议（CCF PL 2026）将于2026年8月4日至5日在南京召开。本次会议由中国计算机学会主办，软件工程、形式化方法、系统软件三个专业委员会联合承办；会议主席为胡振江、冯新宇教授，荣誉主席为林惠民、吕建、梅宏院士，程序委员会主席为熊英飞副教授，指导委员会由冯新宇、高耀清、胡振江、马晓星、王戟、谢涛、詹乃军教授组成。会议旨在汇聚国内外程序设计语言领域的研究者与工程实践者，围绕编程语言理论、设计、实现、工具、开发环境等方向开展深度学术交流研讨，现面向全球学者征集报告摘要。

会议基本信息

• 会议时间：2026年8月4日—5日
• 会议地点：江苏·南京
• 会议模式：以报告交流为主，无正式出版
• 会议语言：中文

征稿范围

会议诚邀与程序设计语言相关的各类原创工作，包括但不限于：程序设计语言理论、语言设计、编译器实现、面向程序设计语言的人工智能、面向人工智能的程序设计语言、程序分析、程序验证、程序合成、类型系统、领域特定语言、概率语言、量子语言等。

投稿要求

1. 投稿形式：提交不少于1页的扩展摘要或完整论文稿件。
2. 版权说明：本会议不出版正式论文集，投稿不影响版权归属。欢迎直接投稿已发表的论文、待投稿或在审中的论文。会议仅根据摘要/论文质量进行报告筛选。
3. 投稿方式：https://easychair.org/conferences/?conf=plchina26
4. 投稿格式：对稿件格式不做要求，常见的ACM/IEEE会议期刊格式或程序设计语言相关会议期刊的格式均可。
5. 报告形式：录用成果将安排会议口头报告，单个报告时长约20分钟，详细时间安排后续另行通知。

重要日期

• 投稿截止：2026年7月12日（北京时间）
• 录用通知：2026年7月19日（北京时间）
• 会议时间：2026年8月4日-5日

说明

本次会议以学术交流为核心，所有评审通过的稿件仅作现场报告，不纳入正式出版物。作者可将同一研究成果另行投递各类期刊、学术会议；会议同样欢迎分享近期已发表的高质量成果，推动领域深度交流研讨。

热忱欢迎程序设计语言领域各位学者、工程研发人员与在校研究生积极投稿，共聚南京，共探程序语言前沿。