活动预告 | CodeWisdom软件智能化开发与运维学术系列报告 第13期：利用符号有限自动机自动验证表示不变量
报告时间：12月16日 星期一下午 14:00
地点：A2003
CodeWisdom
华科团队发表LLM应用商店研究指南，首届国际研讨会明年挪威启航！
LLMapp2025诚挚邀请学术界和工业界的研究者们积极投稿，共同探讨LLM应用商店生态系统的现状与未来！
AIOps@ICSE 2025征文截止时间推迟到11月18日（AOE时间）
征文截止时间延长到11月18日（AOE时间），欢迎大家关注并投稿！
智能化软件开发微访谈·第三十五期 神经符号融合软件
本次微访谈于11月5日举行，邀请了8位来自国内外高校的学术界专家分享自己的观点和看法。
AIOps Workshop 2025征文
AIOps ‘25 将在加拿大渥太华与ICSE 2025（2025年4月27日-5月3日）一起举行。
智能化软件开发微访谈·第三十四期 基于大模型的软件智能化开发实践
本次微访谈于11月1日举行，邀请了8位来自一线的业界专家分享智能化开发方面的实践经验。
智能化软件开发微访谈·第三十五期 神经符号融合软件
将于11月5日（周二）晚上8点在“智能化软件工程沙龙”微信群举行
IEEE发布软件工程知识体系SWEBOK V4.0
《Guide to the Software Engineering Body of Knowledge 4.0》正式发布，完整版可下载
智能化软件开发微访谈·第三十四期 基于大模型的软件智能化开发实践·活动预告
将于11月1日（周五）晚上8点在“智能化软件工程沙龙”微信群举行
大模型时代的软件智能化开发：我们在哪里？该往何处走？
基于近期的思考，我对大模型时代的软件智能化开发又有了一些新的理解，因此写下这篇文章与大家探讨和交流。
“智能化软件工程与系统”高端论坛
10月30日下午，复旦大学江湾校区交叉学科二号楼E1006，欢迎参会！
CNCC 2024智能汽车基础软件技术与生态论坛日程
10月25日（周五）下午13:30，横店圆明新园秋苑-小吃街一楼（宏宝楼）
浅谈LLM时代下的REST API自动化测试
【LLM4Code@ICSE’25】第二届代码大模型国际研讨会将于明年5月加拿大与软工顶会ICSE一同举办！ 征稿进行中！
LLM4Code Workshop征稿进行中！
复旦大学软件工程实验室（CodeWisdom团队）介绍
实验室最新概况及研究方向介绍（2024年10月）
2024 CCF中国软件大会筹办工作推进系列【二十二】：并行论坛巡礼之软件定义汽车：基础软件与开发实践“
2024 CCF中国软件大会筹办工作推进系列【二十二】：并行论坛巡礼之软件定义汽车：基础软件与开发实践“
回归设计的质量属性，来看“复用是美好的还是邪恶的”
活动预告 | CodeWisdom软件智能化开发与运维学术系列报告：第12期（佘东冬，HKUST）
报告时间：2024年9月27日（周五）10:00-13:00 地点：A2003
2024 CCF中国软件大会筹办工作推进系列【十八】：并行论坛巡礼之“云原生与智能化运维论坛”
云原生与智能化运维论坛将于2024年11月15日上午在陕西省西安高新国际会议中心举行，欢迎注册参会！
2024 CCF中国软件大会筹办工作推进系列【十五】：软件供应链安全论坛
2024 CCF中国软件大会筹办工作推进系列【十五】：软件供应链安全论坛
本公众号由复旦大学智能化软件开发研究团队维护。公众号将分享团队所开发的代码大数据与智能化软件开发平台的最新进展及研究成果，学术界及工业界的最新技术发展，以及相关的专家观点。公众号还将发布各种相关的线上及线下交流活动和学术会议信息。
(wechat feed made by @ttttmr https://wechat2rss.xlab.app)