(ICKEDS 2004). This book looks at some of the results of the synergy among AI, cognitive science, and education. Examples include virtual students whose misconceptions force students to reflect on their own knowledge, intelligent tutoring systems, and speech-recognition technology that helps students learn to read. Some of the systems described are already used in classrooms and have been evaluated; a few are still laboratory efforts. The book also addresses cultural and political issues involved in the deployment of new educational technologies.

NASA Ames Research Center Polish Academy of Sciences URL: www.taai.org.tw/announce/ (PRICAI 2004). (ICKEDS 2004). This book looks at some of the results of the synergy among AI, cognitive science, and education. Examples include virtual students whose misconceptions force students to reflect on their own knowledge, intelligent tutoring systems, and speech recognition technology that helps students learn to read.

Aided Design of User Interfaces. (ICKEDS 2004). "Halpern presents a masterful, complete and unified account of the many ways in which the connections between logic, probability theory and commonsensical linguistic terms can be formalized. 'believed,' 'known,' 'default,' 'relevant,' "Presents a novel thesis--that the mind is a'independent,' and'preferred' are given rigorous program whose components are semantically semantical and syntactical analyses, and their meaningful modules--and explores it with a rich interrelationships explicated and exemplified. An array of evidence drawn from a variety of fields.

(ICKEDS 2004). GECAD--Knowledge Engineering and ICINCO Secretariat Decision Support Research Group Escola Superior de Tecnologia de Setubal Rua Dr. Antonio Bernardino Almeida / Campus do IPS

All accepted papers will appear in the conference proceedings published by AAAI Press. Selected authors will be invited to submit extended versions of their Ingrid Russell, University of Hartford papers to a special issue of the International Journal on Artificial Intelligence Tools irussell@hartford.edu The papers Valerie Barr, Hofstra University should not exceed 5 pages and is due by October 24, 2003. All submissions will be done Zdravko Markov, Central Connecticut State electronically via FLAIRS web submission system, which will be available through University the conference website. Please consult the conference web page for details on paper submission.

Life meetings have grown from small www.comp.hkbu.edu.hk/IAT03/

Send applications and inquiries to May Cheh; National Library of Medicine, 8600 Rockville Pike, Mail Stop 54, Bethesda, MD 20894-6075; Email: cheh@nlm.nih.gov

Summer calendar of AI-related events.

(IKS 2002).

The seventh biennial Bar-Ilan International Symposium on the Foundations of Artificial Intelligence, will be held on June 25-27, 2001 in Ramat Gan, Israel. The meeting will honor the research and accomplishments of Yaacov Choueka and will therefore place special emphasis on natural language processing and computational linguistics, in addition to the usual topics of the symposium. Yaacov Choueka Jieh Hsiang Daphne Koller Richard Korf Doug Lenat Moshe Vardi The BISFAI-01 program, schedule and registration information will be available at the BISFAI website: www.cs.biu.ac.il/ bisfai, along with abstracts of invited and accepted papers and pointers to online versions.For further information or requests, contact: bisfai@cs.biu.ac.il. CONTEXT-01 EST Setubal, Campus do IPS / R. Vale www.dfki.de/um2001 Faculty Positions for Intelligent Aerospace Systems Program The College of Engineering at the University of Oklahoma invites applications for 3 to 5 new faculty positions at all levels in the area of Intelligent Systems.