CCF中国软件大会

#会议# 0 0

距开幕还有217天

CCF中国软件大会由中国计算机学会（CCF）主办，CCF软件工程专委会、系统软件专委会、形式化方法专委会等单位承办，由全国软件与应用学术会议（NASAC）与全国形式化方法与应用会议（FMAC）两个会议有机组成。其中，NASAC创立于2002年，是中国软件科学与工程相关领域参会人数多、影响范围广、涵盖内容全面的学术会议；FMAC创立于2016年，聚焦形式化方法理论前沿和最新研究进展，深化拓展形式化方法与相关领域的交叉，促进形式化方法、工具和应用在国内的发展。

十大上海会议 NO.9

会议基本信息

会议名称：2025CCF中国软件大会，中国软件大会2025
会议时间：2025年11月28日-30日
会议地点：武汉国际会议中心
举办城市：武汉市
举办周期：一年一次
主办单位：中国计算机学会（CCF）
承办单位：CCF软件工程专委会、系统软件专委会、形式化方法专委会、武汉大学
会议网址：点击查看

会议活动

本次大会将组织特邀报告、青年学者论坛、论文专刊论坛、顶会顶刊论坛、优秀博士生论坛、学术论坛、工业论坛、教育论坛、学科竞赛等40余个不同类型的活动。

历届回顾

会议名称	举办城市	会议主题	举办地点	举办时间
2024CCF中国软件大会，中国软件大会2024	西安市		西安高新国际会议中心	2024年11月15日-17日
2023CCF中国软件大会，中国软件大会2023	上海市		上海国际会议中心	2023年12月01日-03日

本百科词条由网站注册用户【

踩

相关知识文章

十大北京会议十大北京重要会议名单北京十大知名会议

北京作为我国的首都，每年都有很多会议在此召开，是国内举办会议的热门城市。那么北京哪些会议值得参加？北京重要会议都有哪些呢？下面小编盘点了北京十大会议名单，中关村论坛、亚太金融论坛、世界机器人大会、金融街论坛年会等会议均上榜，快来看看北京知名会议都有哪些吧。

会议北京市亚洲

2449

十大上海会议十大上海重要会议名单上海十大知名会议

上海是国家中心城市，每年都有很多会议在此召开，是国内举办会议的热门城市。那么上海哪些会议值得参加？上海重要会议都有哪些呢？下面小编盘点了十大上海会议名单，世界人工智能大会、国际会展业CEO上海峰会、中国汽车论坛、世界顶尖科学家论坛等会议均上榜，快来看看知名上海会议都有哪些吧。

会议上海市亚洲

1343

武汉旅游景点大全武汉景点分布地图武汉好玩的地方汇总

武汉历史悠久，是国家历史文化名城、楚文化的重要发祥地。在武汉这座历史悠久的古城里，其旅游资源丰富，那么武汉有哪些旅游景点？武汉著名景点包括黄鹤楼、钟山、东湖、武汉大学、户部港等。那么除了这些景点之外还有哪些呢？下面MAIGOO网旅游编辑就为大家整理了武汉景点大全，告诉你去武汉旅游有哪些旅游景点值得一去，快一起来看看武汉好玩的地方有哪些吧！

武汉旅游武汉市湖北省

1.6w+

武汉有哪些传统文化习俗武汉传统文化大盘点约你看楚剧热干面文化

武汉文化底蕴浓厚，是一个古典与现代并存的城市，蕴含着盘龙文化、荆楚文化、黄鹤文化、东湖文化、道教文化、佛教文化等优秀文化。此外，武汉地处楚文化圈，楚文化是古代楚人在楚地创立的地域文化，内容包括青铜冶炼工艺、丝织工艺以及刺绣、文学、美术和乐舞等，影响较大的有汉剧、楚剧等地方剧种和湖北评书、湖北大鼓、湖北小曲、渔鼓等曲艺类目。随着时间的发展，那么现在武汉还有哪些传统文化呢？下面本文买购编辑整理了武汉的嫁娶文化、武汉的传统节日习俗、武汉的饮食文化以及武汉的非遗文化等，和大家一起去了解武汉的特色风俗。

武汉文化武汉市湖北省

5.7w+

【武汉美食攻略】武汉名菜小吃特产美食街老字号美食大全

武汉是汉族传统饮食文化的重镇，兼具南北风格。武汉小吃多样的种类，精妙的搭配，绝妙的做法加上廉价，使其声名大噪。武汉美食当推早点，小巧精雅，造型别致，一律米面为体，兼容别样，蒸煮煎炸，艺巧味多。水塔街、粮道街、雪松路是各式攻略中的必经之地，热干面、油饼包烧卖、金丝牛肉饼等则位列必尝小吃榜单。下面本文MAIGOO小编整理了关于武汉的美食，让你轻松就能了解到武汉有哪些名小吃、武汉有哪些著名特产、武汉代表菜有哪些、吃货不能错过的武汉美食街等，一起来看看吧！

武汉美食武汉市湖北美食

1.6w+

武汉十大品牌武汉著名品牌大全武汉上市公司武汉名牌【武汉品牌】

武汉市是长江中游特大城市，中国重要的工业、科教基地和综合交通枢纽。武汉市经济呈现出“运行平稳、结构优化、转型加快”的特点，已形成汽车及零部件、电子信息制造、装备制造、食品烟草和能源及环保等五大千亿支柱产业，打造出了一批具有强大实力的知名企业，东风汽车、周黑鸭、良品铺子、黄鹤楼等品牌产品享誉国内外。本文为您介绍武汉百强企业、上市公司、著名商标、名牌产品、中华老字号、重点产业等，一起来看下吧。

武汉品牌武汉市大品牌

8495

武汉名人汇总武汉名流武汉明星武汉富豪武汉企业家【武汉名人】

武汉，这座历史文化名域，白云黄鹤，地灵人杰，孕育出了诸多名人。名人是一个名城的名片，也是名城的骄傲，更是名城发展极其宝贵的财富。这些成就卓著、富于创新精神、勇于拚搏担当，并对武汉乃至整个中国甚至人类文明都有杰出贡献的名人，他们创造性的劳动，不仅留下了名声、业绩和思想，而且还留下了生动感人的人格风范和不朽的人文精神。这些既是武汉这座城市最具魅力的人文景观，又是探寻武汉的城市精神内涵、人文底蕴的津要所在。下面本文的买购小编从武汉近现代名人、优秀企业家、富豪、明星艺人、文化名人、杰出青年等武汉名人，带大家了解武汉著名的人物。

武汉名人武汉市湖北省

9062

武汉十大之最武汉著名的世界之最_中国之最_武汉之最盘点

作为湖北省的省会城市，武汉市还是中国中部地区的中心城市，在经济发展方面引领中部地区不断向前，因此在城市的基础建设方面创造了不少世界之最和中国之最。本文盘点了武汉十大之最，依次有楚河汉街、鹦鹉洲长江大桥、汤逊湖、武汉长江大桥、汉阳铁厂、光谷国际网球中心、湖北省图书馆、武汉绿地中心、汉口江滩公园、宝通寺等，下面一起随MAIGOO小编去看看具体内容吧。

武汉市湖北省城市之最

4840

武汉十大公共设施武汉著名的公共文化_体育_绿化设施等基础设施盘点

武汉市以其独特的公共设施展现了其深厚的历史文化底蕴与现代都市活力。黄鹤楼作为中国四大名楼之一，见证了长江两岸的千年变迁，是武汉的文化象征。武汉长江大桥横跨长江，不仅是交通枢纽，也是观光胜地。湖北省博物馆展示了丰富的历史文物，特别是曾侯乙编钟等珍品，吸引了众多历史文化爱好者。下面本文的maigoo编辑整理了武汉市十大公共设施，如武汉十大地标建筑，武汉十大博物馆，武汉十大图书馆，武汉十大公园，武汉市大型体育场馆等。了解更多的相关信息，请继续浏览下文吧！

武汉市湖北省城市公共服务

1975

武汉十大著名景点武汉旅游胜地排行榜武汉十大景点排行榜

武汉自然风光独特，四季气候分明，拥有其他大都市罕有的166个湖泊和众多山峦，人文景观具有浓郁的楚文化特色。你知道武汉有哪些著名的景点吗？本文MaiGoo小编盘点了武汉十大著名景点，有黄鹤楼·武汉长江大桥、东湖·东湖之眼·武汉植物园·磨山、木兰草原·三台山·木兰天池、湖北省博物馆、武汉都市圈寺庙、晴川阁·龟山等武汉有名的旅游胜地，希望可以帮助到您。

武汉旅游武汉市著名景点

19w+

武汉十大红色旅游景点武汉红色教育基地武汉红色革命圣地

武汉历来是九省通衢、兵家必争之地，拥有着悠久的文化底蕴，自然也有烈士陵园、战争遗迹、重大事件会址等不少红色纪念地。那么武汉红色基地有哪些地方呢？本文maigoo旅游小编盘点了武汉十大红色旅游景点，其中包括八七会议会址纪念馆、毛泽东同志旧居、中央农民运动讲习所旧址、中共五大会址纪念馆、辛亥革命武昌起义纪念馆、辛亥革命博物馆、中山舰博物馆、蔡甸区野战国防园、姚家山新四军第五师司政机关旧址、武昌起义门旧址馆、三烈士亭、二七烈士纪念碑等等，下面一起来看看吧！

武汉旅游武汉市湖北旅游

9.9w+

武汉两日游最佳路线武汉2天一夜适合去哪玩武汉经典二日游攻略

武汉作为一座历史文化名城，有许多可以游览参观的地方。下面为你推荐武汉两日游最佳路线，人均花费300元左右，其中包括D1：户部巷+黄鹤楼+昙华林+武汉长江大桥+江汉路步行街+汉口江滩+吉庆街；D2：武汉大学+湖北省博物馆+东湖+世界城光谷步行街，还包括风光民俗2日游、九宫山2日游。武汉有这么多好玩的地方，你不想来场说走就走的旅行吗？

武汉旅游武汉市 2日游

7.9w+

武汉十大洗浴中心武汉洗浴会所哪家好武汉桑拿按摩会所有哪些

武汉澡堂文化是一种独特的文化遗产，是该城市的一张名片。武汉洗浴中心及会所有着深厚的历史底蕴和地方特色，不仅提供传统的洗浴服务，还提供各种休闲、娱乐和文化活动，吸引着众多游客前来体验。那么，武汉比较受欢迎的洗浴休闲会所有哪些呢？本文根据系统算法统计推荐的结果整理出了整理了武汉洗浴中心排行，入选的有水之梦、曲水兰亭度假酒店、极乐汤、水裹·汤泉生活、禧汤·生活馆等等，一起来了解下吧。

洗浴中心武汉市湖北省

2.5w+

武汉市十大小学排行榜武汉市小学有哪些武汉市重点小学排行

武汉作为以“教育圣地”而闻名的城市，名校遍地，单单是小学就有几十所远近闻名的名校。那么武汉重点小学有哪些？武汉哪个小学好？MAIGOO小编盘点了武汉十大小学，武汉重点小学排名，包括武汉外国语学校小学部、武汉小学、武汉市育才小学、武昌水果湖第一小学、华中师范大学附属小学、武昌实验小学、江汉区红领巾学校等武汉热门小学，一起来看看吧。

小学武汉市湖北省

7.2w+

武汉八大折扣商场武汉奥莱折扣店在什么地方武汉奥特莱斯在哪里

武汉奥莱折扣店在什么地方？武汉奥特莱斯在哪里？武汉的奥特莱斯有武汉武商城市奥莱、武汉罗马春天奥特莱斯、武汉百联奥特莱斯广场、武汉泛悦城市奥特莱斯、武汉首创奥特莱斯、武汉欧镇奥特莱斯、蔡甸中法奥特莱斯、武汉砂之船奥特莱斯。本文根据系统算法统计推荐的结果整理了武汉八大折扣商场，希望对您有所帮助！

武汉市生活服务湖北省

6267

武汉十大批发市场武汉大型批发市场有哪些武汉批发城在哪里

武汉市是中部地区的特大城市，工商业发达，那么武汉大型批发市场有哪些，武汉批发城在哪里呢？本文根据系统算法统计推荐的结果为您整理了武汉十大批发市场，主要有汉口北批发第一城、武汉四季美农贸城、武汉汉正街小商品市场、武汉白沙洲农副产品大市场、武汉竹叶山中环商贸城、武汉海宁皮革城、金正茂服饰批发商城、万商白马服装交易中心市场、武汉华南海鲜批发市场、华中粮食中心批发市场，希望能够帮到您！

武汉批发市场武汉市批发市场

9402

武汉十大美食街武汉吃货最喜欢去逛的美食街武汉最火爆的夜市小吃街

武汉饮食，可谓一早一晚，过早和宵夜最为经典，有“早尝户部巷，夜吃吉庆街”之美谈。那么，武汉美食街哪里最有名？MAIGOO小编今天就为大家整理了武汉十大美食街，包括武汉户部巷、吉庆街、江汉路美食街、万松园美食街、楚河汉街、光谷步行街、大成路夜市、沙湖路美食街等武汉著名的美食街，其中，户部巷被誉为“汉味小吃第一巷”，万松园和沙湖路是武汉小龙虾一条街，身为吃货的你，千万不要错过了武汉这十大美食街。

武汉美食武汉市美食广场

6.7w+

武汉十大律师事务所排行榜武汉律师事务所哪家好武汉有名的律所

武汉拥有一批优秀和规模较大的律师事务所，你知道武汉哪家律师所比较好吗？本文根据系统算法统计推荐的结果盘点了武汉十大律师事务所，分别有北京盈科（武汉）律师事务所、湖北今天律师事务所、北京大成（武汉）律师事务所、湖北得伟君尚律师事务所、湖北山河律师事务所、湖北立丰律师事务所、湖北华隽律师事务所等知名律所，希望能帮到您。

武汉律师事务所武汉市律师事务所

7w+

武汉十大酒吧武汉夜店哪家比较好玩武汉有名气的酒吧

武汉哪些酒吧比较出名？武汉是一座夜城市，有许多让人留恋的地方和美妙的酒吧。其中，既有斩获行业大奖的实力清吧，以其酒品、服务、环境等方面的卓越表现吸引追求品质的夜归人；也有人气旺的音乐酒吧，凭借其动感的音乐和热烈的氛围，点燃整座都市。本文根据系统算法统计推荐的结果为大家盘点了武汉酒吧排行，上榜的有STG·三重门、喜德堂、梦田音乐LiveHouse、花海LiveHouse、響live house等受欢迎的酒吧，一起来看看吧。

酒吧武汉市室内娱乐

5.4w+

武汉十大服装批发市场武汉服装尾货批发市场哪家好武汉服装批发市场在哪里进货便宜

武汉市是我国服装制造业较为发达的城市，那么你知道武汉服装尾货批发市场哪家好，武汉服装批发市场在哪里进货便宜吗？武汉服装批发市场主要有汉口北批发第一城、武汉海宁皮革城、武汉大夹街服装批发市场、金正茂服饰批发商城、武汉库玛品牌服饰交易中心、万商白马服装交易中心市场、武汉汉正欧韩女装批发广场、武汉多福商城、武汉汉正街服装批发商城、武汉扬子时装市场等等。本文根据系统算法统计推荐的结果为您整理了武汉十大服装批发市场，希望对您有所帮助！

武汉批发市场武汉市生活服务

8628