报告时间：9月24日 14:30-15:40报告地点： 304am永利集团5楼502会议室报告名称：Multi-Agent Collaborative Framework for Automatic Programming报告摘要:With the rapid advancement of Large Language Models (LLMs), LLM-based approaches have demonstrated strong problem-solving capabilities across various domains. However, in automatic pro

报告时间：9月23日 14:00报告地点： 理科大楼B1002报告名称一：Logic time in real-time embedded design报告摘要:We study the use of Multiform Logical Time, as embodied in Esterel/SyncCharts and Clock Constraint Specification Language (CCSL), for the specification of assume-guarantee constraints providing safe driving rules relate

报告时间：8月18日15:00-17：00报告地点：304am永利集团502报告名称一：Non-convex optimization approach to maximum hands-off control （Prof. Masaaki Nagahara, Hiroshima University, Japan ）报告摘要:This talk presents a novel computational method for sparse control, also known as maximum hands-off control, using non-convex penalty f

报告名称：Learning to Generate the Moving World: Video Generative Models and Their Applications报告时间：8月13日15:00报告地点：数学馆201腾讯会议：151-993-578报告摘要:Generative AI is rapidly evolving beyond static images and text, entering the dynamic and complex domain of video generation. From producing realistic video conten

报告名称：From Probabilistic Testing to Certifiable AI: Large Language Models and Neuro-Symbolic Reasoning for Verifiable Autonomous Systems报告时间：8月9日14:00报告地点：理科大楼B211腾讯会议：298 825 900（密码：101812）报告摘要:Learning-enabled Cyber-Physical Systems (LE-CPS), such as autonomous vehicles and drones, pose significant

报告名称：Software Reliability Growth Model Averaging: Theory and Empirical Validation报告时间：7月29日15:00报告地点：304am永利集团502报告摘要:Accurate prediction of the cumulative number of software faults as well as quantitative software reliability has been still a challenging issue in software reliability for a long