近日,我院系统可信性自动验证国家地方联合工程实验室徐扬教授团队在一阶逻辑自动定理证明器领域取得突破性进展。所研发的一阶逻辑自动定理证明器CSI_V,采用该团队原创的逆向并行逻辑演绎的科学方案,融合此前国际领先的证明器Vampire,针对该领域最顶级赛事——国际自动定理证明竞赛(International Conference on Automated Deduction —— Automated Theorem Proving System Competition)近五年共2500个竞赛问题,在标准实验条件下进行了对比实验,...
2025年3月7日至10日,由yl7703永利官网联合电子科技大学、西华大学共同主办的"趋化模型及相关问题国际学术研讨会"在yl7703永利官网犀浦校区隆重举行。本次学术盛会吸引了来自复旦大学、上海交通大学、南开大学、中山大学等40余所高校及科研机构的200多位专家学者,共同探讨趋化模型领域的最新研究进展与未来发展方向。会议开幕式由yl7703永利官网杨晗院长主持。在为期四天的议程中,与会专家围绕趋化系统动力学、斑图形成机制、...
2025年3月4日下午,王平副校长到yl7703永利官网调研学科建设工作,学院班子成员及部分学术骨干参加会议。会上,yl7703永利官网院长、党委副书记杨晗就学院建设发展情况进行汇报,重点介绍了人才培养体系、工作思路及发展目标、学科建设与科研工作思路及学院面临的挑战,其他班子成员及学术骨干进行了补充发言。王平副校长在听取汇报之后,对学院学科建设取得的成绩表示肯定,并强调学院要树立远大目标,明确学科发展方向,进行系统规划与落实。王平副校长指出:...
1月13日上午,yl7703永利官网于30456会议室召开2025年工作务虚会。院领导班子成员、学院工会、各科室负责人、各系部主任、支部书记及教师代表齐聚一堂,共同为学院的发展建言献策。与会同志紧紧围绕“2024年怎么看、2025年怎么干”的主题展开讨论。大家首先对学院工会征集的意见和建议进行分析,并立足本部门实际,从教学、科研、学生培养等多个角度,对过去一年的工作进行了深入剖析,既总结了成功经验,也指出了存在的问题和不足。杨晗院长对学院2024年度的整体工作进行了总结点评。...
12月29日,“超星杯”第六届全国高校混合式教学设计创新大赛在西安电子科技大学落下帷幕。yl7703永利官网冯颖老师及其团队(潘小东、杨晗、何莎、樊明书)获得一等奖。本届大赛自今年6月启动以来,受到全国高校的广泛关注和积极参与,共有381所高校报名,999门参赛课程进入全国复赛。28日上午,yl7703永利官网冯颖老师代表团队,在66所高校80门课程的决赛中同场竞技中,终获一等奖。冯颖老师以“基于问题链的5E探究式混合教学创新实践”为题,展示了省级一流课程“...
2025-3
时间:10:30 地点:X30456 主讲人:朱保成
时间:16:00 地点:X30423 主讲人:詹浩然
2024-12
时间:10:30 地点:X30456 主讲人:Ng, Hon Keung Tony
时间:10:00 地点:X7510 主讲人:邓映蒲