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日

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

踩

相关知识文章

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

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

会议北京市亚洲

2533

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

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

会议上海市亚洲

1391

武汉十大农产品批发市场武汉农副产品批发市场有几个武汉农产品批发市场在哪里进货便宜

武汉市作为湖北省的省会城市，人口众多，对于农产品的需求量大，因此武汉的农产品批发市场有很多，那么你知道武汉农副产品批发市场有几个，武汉农产品批发市场在哪里进货便宜吗？武汉的农产品批发市场主要有武汉白沙洲农副产品大市场、武汉四季美农贸城、华中粮食中心批发市场、湖北光霞果批大市场、武汉白玉山农产品批发市场、武汉海吉星农产品批发市场、武汉市沙湖果品批发市场、武汉华南海鲜批发市场等等，本文根据系统算法统计推荐的结果为您整理了武汉十大农产品批发市场，希望对您有所帮助！

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

6079

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

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

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

9240

武汉十大水产批发市场武汉较大的水产市场在哪里武汉有几个水产批发市场

你知道武汉较大的水产市场在哪里，武汉有几个水产批发市场吗？武汉的水产批发市场主要有武汉四季美农贸城、武汉海吉星农产品批发市场、武汉白玉山农产品批发市场、武汉白沙洲农副产品大市场、武汉华南海鲜批发市场、皇经堂蔬菜大市场、武汉中港农副产品批发大市场、鄂东水产品产地批发市场、起义门生鲜市场、华中长丰水产批发市场。本文根据系统算法统计推荐的结果为您整理了武汉十大水产批发市场，希望对您有所帮助。

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

923

武汉十大五金批发市场武汉大型五金批发市场在哪里武汉哪个五金市场较大

你知道武汉大型五金批发市场在哪里，武汉哪个五金市场较大吗？武汉的五金批发市场主要有湖北现代五金机电城、武汉竹叶山五金水暖市场、武汉白沙洲五金机电建材建筑机械大市场、武汉烽火五金建材水暖市场、武汉舵落口大市场、中国金马凯旋家居CBD、武汉五洲国际建材城、华中城江南建材物流市场、合富金生家居建材生态城、新十里建材装饰家居广场。本文根据系统算法统计推荐的结果为您整理了武汉十大五金批发市场，希望对您有所帮助。

武汉市批发市场湖北省

1087

武汉十大食品批发市场武汉批发食品的地方有哪些武汉食品批发市场在哪里进货便宜

你知道武汉批发食品的地方有哪些，武汉食品批发市场在哪里进货便宜吗？武汉的食品批发市场主要有武汉四季美农贸城、武汉海吉星农产品批发市场、武汉白玉山农产品批发市场、武汉白沙洲农副产品大市场、湖北光霞果批大市场、武汉太平洋农贸市场、武汉市沙湖果品批发市场、武汉华南海鲜批发市场、武汉中港农副产品批发大市场等等。本文根据系统算法统计推荐的结果为您整理了武汉十大食品批发市场，希望对您有所帮助。

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

1003

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

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

武汉旅游武汉市湖北省

1.7w+

武汉十大蔬菜批发市场武汉批发蔬菜去哪里进货武汉蔬菜批发市场有哪几个

武汉批发蔬菜去哪里进货，武汉蔬菜批发市场有哪几个？武汉主要的蔬菜批发市场有武汉海吉星农产品批发市场、武汉白沙洲农副产品大市场、武汉四季美农贸城、武汉白玉山农产品批发市场、武汉太平洋农贸市场等等。本文根据系统算法统计推荐的结果整理了武汉十大蔬菜批发市场，希望对您有所帮助！

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

3478

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

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

武汉美食武汉市湖北美食

1.6w+

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

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

武汉文化武汉市湖北省

5.7w+

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

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

武汉品牌武汉市大品牌

8569

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

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

武汉名人武汉市湖北省

9113

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

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

武汉市湖北省城市之最

4874

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

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

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

1999

武汉十大海鲜市场武汉大型海鲜市场有哪些武汉哪个海鲜市场较大

你知道武汉大型海鲜市场有哪些，武汉哪个海鲜市场较大吗？武汉的海鲜市场主要有武汉新华南海鲜水产物流园、武汉华南海鲜批发市场、武汉四季美农贸城、武汉海吉星农产品批发市场、武汉白玉山农产品批发市场、武汉白沙洲农副产品大市场、皇经堂蔬菜大市场、武汉中港农副产品批发大市场、鄂东水产品产地批发市场、起义门生鲜市场。本文根据系统算法统计推荐的结果为您整理了武汉十大海鲜市场，希望对您有所帮助。

武汉批发市场武汉市海鲜

1.3w+

武汉十大花卉批发市场武汉花卉批发哪里便宜武汉有几个花卉批发市场

你知道武汉花卉批发哪里便宜，武汉有几个花卉批发市场吗？武汉的花卉批发市场主要有武汉东湖花木城、铁机花卉批发大市场、汉口北鲜花小镇、毛坦花木交易市场、双墩花鸟市场、汉口北斗南花卉城、和平公园花鸟市场、武汉八一花卉基地、堤角花鸟宠物大世界、球场街武汉花鸟市场等等。本文根据系统算法统计推荐的结果为您整理了武汉十大花卉批发市场，希望对您有所帮助。

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

1364

武汉十大女装批发市场武汉有几个女装批发市场武汉女装批发货源哪里好

你知道武汉有几个女装批发市场，武汉女装批发货源哪里好吗？武汉的女装批发市场主要有汉口北批发第一城、武汉汉口北国际商品交易中心、武汉海宁皮革城、武汉大夹街服装批发市场、金正茂服饰批发商城、武汉汉正欧韩女装批发广场、武汉库玛品牌服饰交易中心、万商白马服装交易中心市场、武汉扬子时装市场、武汉汉正街小商品市场。本文根据系统算法统计推荐的结果为您整理了武汉十大女装批发市场，希望对您有所帮助。

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

978

武汉八大水果批发市场武汉批发水果市场较大的是哪个武汉水果批发市场在哪里

武汉水果产业发展迅速，出现了各大水果批发市场，那你知道武汉批发水果市场较大的是哪个，武汉水果批发市场在哪里吗？武汉主要的水果批发市场有武汉四季美农贸城、武汉海吉星农产品批发市场、湖北光霞果批大市场、武汉白玉山农产品批发市场、武汉白沙洲农副产品大市场、武汉市沙湖果品批发市场、武汉华南果品批发市场、武汉中港农副产品批发大市场。本文根据系统算法统计推荐的结果整理了武汉八大水果批发市场，希望对您有所帮助！

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

5800

武汉八大宠物市场武汉较大宠物市场在哪里武汉哪里有大的宠物市场

随着社会观念的转变，家庭结构不断发生变化，越来越多选择将宠物作为家庭成员的一部分，因此宠物市场迅速发展。那你知道武汉较大宠物市场在哪里，武汉哪里有大的宠物市场吗？本文根据系统算法统计推荐的结果推荐了堤角花鸟宠物大世界、武汉元宝山花卉市场、双墩花鸟市场、南湖花木城、毛坦花木交易市场、和平公园花鸟市场、球场街武汉花鸟市场、武汉八一花卉基地八个项目，希望对您有所帮助！

武汉批发市场武汉市宠物市场

2249