张利军教授以“基于时序逻辑和深度强化学习的水下航行器运动规划”为题，详细阐述了复杂环境中，如何通过时序逻辑任务描述转化为地图信息和水下航行器的LDGBA模型，结合模块化深度强化学习DDPG方法实现系统求解方法，研究通过详实的仿真实验，验证了该方法在探索围捕等典型任务中的有效性和可扩展性。易媛教授围绕“Dedekind和的值分布及快速计算问题”展开报告，深入浅出地介绍了Dedekind和均值问题的研究历程与发展现状，重点介绍了Dedekind和值分布的特殊规律，并创新性地提出了基于互反公式与特殊序列性质的快速计算算法。

在交流环节，与会师生就报告内容展开深入探讨。两位教授对提出的专业问题进行了细致解答，现场互动氛围热烈。