李宣东：可信软件漫谈——软件可信吗？

2022年10月18日（周二）晚19:30-21:00,南京大学校友终身学习辅助计划（“诚计划”第23期《可信软件漫谈：软件可信吗？》，将在南京大学“暾学堂”开讲，本次讲座邀请到的是中国计算机学会软件工程专业委员会主任、国务院学位委员会软件工程学科评议组成员、南京大学李宣东教授。李老师是软件工程、可信软件、形式化方法等领域的专家，研究工作受到国家杰出青年科学基金的资助，成果获国家科技进步二等奖。

基于软件的 络化信息传递和处理，已经成为现代 会的一个特征模式。随着 会和科技的发展，5G的问世、智能技术的开创、加上传感技术的进入， 络的应用范围不仅逐渐扩大，进而创造了一个虚拟的生态环境，除了原有的 交、信息传播之外，传统的工作学习、日常的衣食住行，都在纷纷通过 络来实现，而实现这些应用的“硬核”，就是软件。软件正在定义整个世界。

软件可靠性是高质量应用和高效率 络的基础。运行在我们身边的各种各样软件系统是否可靠，作为软件工程的顶尖专家，李宣东教授将带领我们揭秘这一问题，敬请关注。

南京大学“暾学堂”计划

后续演讲

THE END

文化名人纪念演讲

梁漱溟先生逝世三十周年纪念讲座 |梁漱溟文化思想 |叶圣陶孙女回忆叶氏文脉 |柳诒徵先生纪念讲座 |陈寅恪先生诞辰一百三十周年纪念讲座 |陈作霖先生逝世一百周年纪念讲座 |作家张爱玲诞辰一百周年纪念讲座 |林散之、高二适先生纪念讲座 |钱穆先生逝世三十周年纪念讲座 |阮玲玉诞辰一百一十周年纪念讲座 |上官云珠、周璇诞辰一百周年纪念讲座 |谭延闿逝世九十周年讲座 | 孙中山先生逝世九十五周年纪念论坛 |王阳明逝世四百九十周年纪念论坛 |

文化名家系列讲座

莫砺锋：开山大师兄 |周文重：国际关系新格局 |周晓虹：口述历史与生命历程 |周晓虹：费孝通江村调查与 会科学中国化 |周晓虹对话钱锁桥 |周晓虹、张新木、刘成富、蓝江对谈：消费 会的秘密 |群学君对话舒国治 | 群学君对话叶兆言 | 黄德海、李宏伟、王晴飞、王苏辛、黄孝阳五作家对话 |孙中兴：什么是理想的爱情 |杜春媚对话郭海平 |程章灿：作为诗人与文学史家的胡小石 |谷岳：我的行走之旅 |黄盈盈：中国人的性、爱、情 | 金光亿：人类学与文化遗产 | 周志文：人间的孔子 | 严晓星：漫谈金庸 | 周琦：越南法式风情建筑 | 魏定熙：北京大学与现代中国 | 胡翼青：大数据与人类未来 | 生命科学与人类健康系列高峰论坛 | 毕淑敏读者见面会 | 徐新对话刘成 | 谢宇教授系列演讲 | 王思明：茶叶—中国与世界 | 祁智对话苏芃：关于写作 |甘满堂：闽台庙会中的傩舞阵头 | 张静：研究思维的逻辑 | 翟学伟：差序格局——贡献、局限与新发展 | 应星： 会学想象力与历史研究 |吴愈晓：为什么教育竞争愈演愈烈？ | 李仁渊：《晚清新媒体与知识人》 |叶檀读者见面会 |冯亦同：金陵之美的五个元素 |华生、王学勤、周晓虹、徐康宁、樊和平对话 |

城市文化与人文美学

东方人文美学深度研修班（第一期） |东方人文美学深度研修班（第二期） | 大唐风物，侘寂之美：日本美术馆与博物馆之旅（第一期） |大唐国宝、千年风物：日本美术馆与博物馆之旅（第二期） |当颜真卿遇上宫崎骏：日本美术馆与博物馆之旅（第三期） |史上最大正仓院与法隆寺宝物展：日本美术馆与博物馆之旅 | 梦回大唐艺术珍品观展会 | 四姝昆曲雅集： 罗拉拉、单雯、孙芸、陈薇亦 |昱德堂藏扬州八怪精品展 | 《南京城市史》系列人文行走活动 |《格致南京》系列文化活动 | 文心雅韵：中国传统人文美学系列讲演 | “文学写作与美好城市”高峰论坛 | 仰之弥高：二十世纪中国画大家展 | 首届微城市文化论坛 | 南京城市文化深度行走（第一期：南京运渎） | 南京城市文化深度行走（第二期：明孝陵） | 南京城市文化深度行走（第三期：文旅融合） |南京城市文化深度行走（第四期：城南旧事） |南京城市文化深度行走（第五期：灵谷深松） | 南京城市文化深度行走（第六期：清凉山到石头城） | 南京城市文化深度行走（第七期：从白马公园到明孝陵） | 南京城市文化深度行走（第八期：从玄武门到台城） | 南京城市文化深度行走（第九期：从金粟庵到大 恩寺） |南京城市文化深度行走（第十期：从夫子庙到科举博物馆） | 南京城市文化深度行走（第十一期：从五马渡到达摩洞） | 南京城市文化深度行走（第十二期：从狮子山到扬子饭店） |南京城市文化深度行走（第十三期：从南朝石刻到栖霞寺） |南京城市文化深度行走（第十四期：牛年探春牛首山） | 南京城市文化深度行走（第十五期：中山陵经典纪念建筑） | 从南京到世界：第一届微城市论坛 |园林版昆曲舞蹈剧场《镜花缘记》 | 秋栖霞文学日系列活动 |

会科学研修班与专题课程

会心理学暑期班（2016） | 会心理学暑期班（2017） | 会心理学暑期班（2018） | 会科学经典理论与前沿方法暑期班（2019） |口述历史与集体记忆研修班（2020） |中国研究：历史观照与 会学想象力学术研讨会 |中国 会学：从本土化尝试到主体性建构——纪念中国 会学重建40周年学术研讨会 |第一届长三角 会学论坛 （2018） |第二届长三角 会学论坛（2019） |长三角论坛2019新春学术雅集 | 第三届长三角 会学论坛（2020） |

新书分享会 | 经典品读会

《金陵刻经处》 | 《 生活的逻辑： 城市日常世界中的民国知识人（1927-1937） 》 |《谢辰生口述》 |《袍哥》 | 《年羹尧之死》 | 《朵云封事》 |《两性》 |《放下心中的尺子——庄子哲学50讲》 |《东课楼经变》 |《旧影新说明孝陵》 |《光与真的旅途》 |《悲伤的力量》 |《永远无法返乡的人》 | 《书事》 |《情感教育》 |《百年孤独》 |《面具与乌托邦》 | 《传奇中的大唐》 | 《理解媒介》 |《单向度的人》 |《陪京首善》 |《美国大城市的死与生》 |《诗经》 |《霓虹灯外》 |《植物塑造的人类史》 |《茶馆：成都的公共生活和微观世界》 | 《拉扯大的孩子》 |《子夜》 |《读书的料及其文化生产》 |《骆驼祥子》 |《朱雀》 |《死水微澜》 |《通往父亲之路》 |《南京城市史》（新版） | 《被困的治理》 |《双面人》 | 《大名道中》 |《笺事：花笺信札及其他》 | 《九王夺嫡》 |