10月24日下午4点，公司“70周年校庆系列讲座”有幸邀请到了德国莱比锡大学Manfred Droste 教授。报告在公司学术报告厅举行，经理李永明教授主持了本次报告，公司部分相关专业的教师、各届博、硕士研究生参加了本次报告会。

Manfred Droste教授的报告题目为“Quantitative logics and automata”。量化模型与量化分析在计算机科学中的关注度不断提升，本次讲座的主要目的就是探讨量化自动机与量化逻辑。而加权自动机在许多领域被用于描述量化属性，如图像压缩，语音文本处理等。Manfred Droste教授介绍了加权自动机的发展历程，加权自动机的结构，并给出对应的逻辑，进而给出其语义解释，并将加权自动机和加权逻辑的等价关系加以证明。

在互动环节中， Droste教授和公司师生用英语进行了很好的交流，并就一些问题进行了热烈的讨论。Droste教授深入浅出的讲解开阔了广大师生的学术视野，为我们在相关领域的研究提供了新的思路，增进了交流。