Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

2-4 January 2008, 10th International Symposium on Artificial Intelligence and Mathematics, Fort Lauderdale, Florida

Date: 2-4 January 2008
Location: Fort Lauderdale, Florida
Deadline: 1 October 2007

The International Symposium on Artificial Intelligence and Mathematics (ISAIM) is a biennial meeting that fosters interactions between mathematics, theoretical computer science, and artificial intelligence. This is the tenth Symposium in the series, which is sponsored by Annals of Mathematics and Artificial Intelligence. We seek submissions of recent results with a particular emphasis on the foundations of AI and mathematical methods used in AI. Papers describing applications are also encouraged, but the focus should be on principled lessons learned from the development of the application. Traditionally, the Symposium attracts participants from a variety of disciplines, thereby providing a unique forum for scientific exchange. The three-day Symposium includes invited speakers, presentations of technical papers, and special topic sessions (including sessions on "Logic in AI" and "Computation and Social Choice").

For more information, see http://isaim2008.unl.edu/.

Paper Submission Deadline: Monday 1 October 2007.

Please note that this newsitem has been archived, and may contain outdated information or links.