University Of Pretoria Computer Science Department

Computer Science Guest Seminar by Valentin Goranko

Posted by mriekert on Wed 08 Feb 2017, 12:57:41 Wed 08 Feb 2017, 12:57:41

VALENTIN GORANKO is currently a professor of logic and theoretical philosophy at Stockholm University. He has more than 30 years of university teaching and research experience in mathematics, computer science and philosophy in universities in Bulgaria, South Africa, Denmark and Sweden. His main expertise and research interests are in theory and applications of modal and temporal logics to computer science, artiicial intelligence, multiagent systems and philosophy. He has authored and co-authored more than 100 publications, including two recent textbooks on logic and discrete mathematics. He is a member of several editorial boards and steering bodies of professional organisations and is currently the vice-president of the Association for Logic, Language and Information (FoLLI). The talk will introduce concurrent game models for multi-agent systems and the Alternating-time temporal logic ATL as the currently most popular logical system for formalizing and reasoning about strategic abilities in such systems. The talk will illustrate the semantics of ATL with some examples, and will discuss briefly the logical decision problems of model checking and constructive satisfiability testing of ATL formulae, as well as how these can be used for specification, verification, and synthesis of concurrent game models. DAY: Tuesday the 14th of February, TIME: 13:00h -- 14:00h, ROOM: IT-4-66

All content copyright © Department of Computer Science, School of IT, University of Pretoria, South Africa