A proposal for an educational system service to support teaching/learning process for logic programming

Summary form only given. The interactive 3D technologies group at Microsoft Research Cambridge brings together research in vision, graphics, novel hardware and AR/VR. In this talk, Dr. Izadi will give a broad overview of his new group, highlighting a number of existing projects. The majority of the talk will focus on KinectFusion, a project that demonstrates the radically new user experiences that can be enabled when researching at the intersection of these different disciplines.