讲座题目：Logic, Co-induction and Infinite Computation
        讲座时间：2011年6月15日（周三）下午4:00
        讲座地点：海韵行政楼C座505报告厅
        讲座人：Gopal Gupta,Department of Computer Science,University of Texas at Dallas

讲座摘要:Coinduction is a powerful technique for reasoning about unfounded sets,unbounded structures, infinite automata, and interactive computations.Where induction corresponds to least fixed points semantics,co-induction corresponds to greatest fixed point semantics.In this talk Prof. Gupta will give a tutorial introduction to co-induction and show how co-induction can be elegantly incorporated into logic programming to obtain the co-inductive logic programming (co-LP) paradigm. Prof. Gupta will also discuss how co-LP can be elegantly used forsophisticated applications that include (i) model checking and verification, including of hybrid/cyber-physical systems and systems specified using the pi-calculus (ii) planning and goal-directed execution of answer set programs that perform non-monotonic reasoning.

讲座人简介:Gopal Gupta received his MS and Ph.D. in computer science from the University of North Carolina at Chapel Hill in 1987 and 1991 respectively,and his B. Tech. in Computer Science from IIT Kanpur in 1985.Currently he is Professor and Head of Computer Science at the University of Texas at Dallas. His research interests are in logic programming,programming languages semantics/implementation, and assistive technology.