|
12月5日Andreas Schaefer（德国）教授学术讲座预告
作者：admin
发布日期：2013-12-02
浏览次数：
讲座题目：Logics for Time and Space
讲座地点：理学楼报告厅
讲座时间：2013.12.05 上午8：45 ~9:45
主讲人：Andreas Schaefer教授（德国）
讲座摘要：Temporal logics are standard for specifying the behavior of reactive and real time systems. The Duration Calculus is one example of such a logic. However, many of such systems are mobile and the requirements need to take spatial aspects into account. To this end, we examine a possible extension of the Duration Calculus to handle properties arising from mobility and extend the Duration Calculus to a spatio-temporal logic. This talks presents basic properties like decidability, axiomatizability and model checking techniques.
讲座人简介： Andreas Schäfer studied computer science at the Carl-von-Ossietzky University in Oldenburg, Germany. He got the MSc. in 2002 and started working as a research assistant in the Group of Ernst-Rüdiger Olderog. He completed his PhD in 2006. From 2007 to 2012, he was working at the European Patent Office starting in the field of operating systems but soon moving to the field of security. In 2012, he became appointed Professor for Mathematics and Programming at the University of Applied Sciences in Lübeck.
|
