Programme for upcoming, 3rd UK Workshop on AI in Education to be held in Peterhouse College, Cambridge on the 10th December.
Registration”>http://www.csd.abdn.ac.uk/ai2007/registrationform.php”>Registration is through the AI 2007 web site
Programme
11:00 – 11:10 Welcome
 11:10 – 11:30 Maintaining AI Provision in a Changing Curriculum: Work in
 Progress, John Kerins
 11:30 – 11:50 Modelling student Uncertainty and mental models using Bayesian
 and inductive logic techniques, Kate Taylor
 11:50 – 12:10 Symbiosis in teaching AI to Psychology undergraduate students:
 A Case study, Jonathan Catling and Colin Price
 12:10 – 12:30 Using an automated synthesis system for studying proof
 planning and automated reasoning, Yulia Korukhova
 12: 30 – 13:15 ——- Lunch Break ——-
 13:15 – 13:35 Crossing the river with robots: Changing the way of working in
 an AI subject, Eduardo Ferme and Elsa Fernandes
 13:35 – 13:55 RCX+PROLOG: A Platform to use Lego MindstormsTM Robots in
 Artificial Intelligence courses, Eduardo Ferme and Luis Gaspar
 13:55 – 14:15 Learning in a simulated working environment, Peter Pel
 14:15 – 14:35 Type-2 Fuzzy Logic Advisor for Evaluating Students’
 Cooperative Training, Owais Malik
 14:35 – 14:45 Discussion and Closing