2018江苏省计算机学会计算机软件专业委员会学术年会于2018年5月12-13日在扬州召开。会议由江苏省计算机学会计算机软件专业委员会主办，扬州大学信息工程学院承办，江苏省人工智能学会知识工程与智能服务专委会、扬州市计算机学会、扬州市系统工程学会、江苏省软件新技术与产业化协同创新中心、计算机软件新技术国家重点实验室青年学者学术沙龙等协办。

    大会开幕式由扬州大学信息工程学院院长李斌教授主持，江苏省计算机学会理事长兼省计算机软件专业委员会主任南京大学李宣东教授、扬州大学党委叶柏森副书记、扬州市科协王友芳主席、江苏省计算机学会秘书长南京大学杨献春教授等出席开幕式并致词。
 
    大会邀请了中国科学院软件研究所张健研究员基于《软件分析与验证中的自动推理技术》做特邀报告，对SAT、SMT、Modelfinding等自动推理技术进行了详尽的介绍、梳理与剖析。

    大会邀请了来自UCLA的HarryXU教授做了题为《Object Orientation Meets Big Data》的特邀报告，从面向对象的角度出发，分析并探讨了在大数据时代下，系统、语言等面临的挑战与机遇。

在学科发展交流环节中，大会邀请了本专委会主任南京大学李宣东教授做《大数据、物联网、人工智能时代下的软件技术：现状与发展趋势的思考》报告，对在新时代下软件研究的意义与发展方向进行了前瞻性的探讨与分享。

    大会也邀请了扬州大学李斌教授在扬州大学成功申请软件工程博士点的喜讯下，结合扬州大学的成功经验，做《扬州大学软件工程学科建设》报告，将扬大软工学科的建设、发展等经验同与会代表进行无私分享。
 
    为进一步支持和帮助软件方向的青年学者成长进步，专委会与计算机软件新技术国家重点实验室青年学者学术沙龙联合组织了交流活动。学术沙龙邀请南京大学助理研究员左志强博士做青年学者报告，报告题目为《Systems Support for Sophisticated Program Analysis》。左志强博士在报告中介绍了利用大数据技术进行程序分析的一些工作，并对该方向的发展进行了介绍和展望。
 
    学术沙龙邀请江苏省计算机学会优秀博士论文获得者杨已彪博士做优博报告，杨已彪博士介绍了所在团队在差分测试方面的最新研究思路，并进一步从自己博士期间的学习和研究经历出发，就计算机专业研究生特别是博士研究生如何应对学业与发展的压力谈了自己的看法。
 
    学术沙龙还邀请了软件方向的知名专家学者作为前辈为青年学者的发展进行座谈。青年学者发展座谈会由南京大学李宣东教授主持，参与座谈的专家有河海大学王志坚教授、南京航空航天大学黄志球教授、苏州大学朱巧明教授、南京师范大学吉根林教授、扬州大学李斌教授、东南大学李必信教授等。
 
与会专家就青年学者的职业生涯与规划、人才计划与项目、科学研究与选题、教学与学生培养等各方面为青年学者出谋划策，并与会的青年学者们进行了热烈的探讨和交流。

 
会议期间，江苏省计算机软件专业委员会举行了工作会议，讨论专委会工作和发展。整个大会中丰富的会议内容、精彩的学术报告、专家们的无私分享与指导、以及扬州大学会议主办方的精心组织与周到安排，烟花三月下扬州的良辰美景一起为江苏省计算机软件发展提供了一场精彩的盛宴。