-------- Original-Nachricht -------- Betreff: Artificial Intelligence and Symbolic Computation 2006: Call for Papers Datum: Fri, 3 Feb 2006 18:34:19 +0100 Von: aisc2006@cc4cm.org An: aisc2006@cc4cm.org

=================== [Apologies for multiple copies] ===================

AISC 2006 - 8th International Conference on ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION http://www.cc4cm.org/aisc2006/ Beijing, China, September 20-22, 2006

CALL FOR PAPERS

Artificial Intelligence and Symbolic Computation are two views and approaches for automating problem solving. The two approaches are based on heuristics and on mathematical algorithmics, respectively. Artificial Intelligence can be applied to Symbolic Computation and Symbolic Computation can be applied to Artificial Intelligence. A wealth of challenges, ideas, theoretical insights and results, methods and algorithms will arise in the interaction of the two fields and research communities. Advanced tools of software technology and system design are needed and a broad spectrum of applications is possible by the combined problem solving power of the two fields. Therefore, the conference is in the center of interest and interaction for various research communities:

artificial intelligence, symbolic computation, computer algebra, automated theorem proving, automated reasoning, formal mathematics, mathematical knowledge management, algorithmic invention and learning, logic, software technology, semantic web technology, computer-based mathematics teaching and didactics, computer- supported publishing, language and system design, implementation and performance issues, and additional topics relating to the interaction of the above.

We encourage researchers working at points of contact in these fields to share their views, work, and results by submitting papers and taking part in the conference.

* Invited Speakers

Edmund M. Clarke (Carnegie Mellon University, USA) Arjeh M. Cohen (Technical University of Eindhoven, The Netherlands) Heisuke Hironaka (Professor Emeritus of Kyoto University, Japan and Harvard University, USA) Wen-tsun Wu (Chinese Academy of Sciences, China)

* Submission

Theoretical and applied research papers on all topics within the scope of the conference are invited. Submitted papers (in English) must not exceed 15 pages in length (in the LNCS style). The title page should contain the title, author(s) with affiliation(s), e-mail address(es), listing of keywords and abstract plus the topics from the above list to which the paper is related. The program committee (PC) will subject all submitted papers to a peer review. Theoretical papers will be judged on their originality and contribution to their field, and applied papers on the importance and originality of the application. Results must be original and have not been published elsewhere.

The web page for electronic submission is at:

http://www.easychair.org/AISC2006/

If electronic submission is not possible, please send four hard copies to the PC chair at the following address:

Professor Tetsuo Ida, Department of Computer Science, University of Tsukuba, Tsukuba 305-8573, Japan / Fax: +81-29-850-3603

The proceedings of the conference will be published as a volume in the series Lecture Notes in Artificial Intelligence (LNAI) by Springer-Verlag. Accepted papers will have to be prepared in LaTeX and formatted according to the requirements of the Springer's LNAI series (the corresponding style files can be downloaded from http://www.springer.de/comp/lncs/authors.html and are the same for LNCS and LNAI).

* Important Dates

April 7, 2006: Deadline for paper submission June 2, 2006: Notification of acceptance July 2, 2006: Camera-ready version due

* Organizing and Program Committees

Honorary Chair: Wei Li (President of Beihang University, China)

General Chair: Dongming Wang (Beihang University, China and UPMC-CNRS, France)

Program Committee:

Tetsuo Ida (University of Tsukuba, Japan), Chair

Luigia Carlucci Aiello (Universita di Roma "La Sapienza", Italy) Michael Beeson (San Jose State University, USA) Bruno Buchberger (RISC, Austria) Jacques Calmet (University of Karlsruhe, Germany) John Campbell (University College London, UK) William M. Farmer (McMaster University, Canada) Martin Charles Golumbic (University of Haifa, Israel) Therese Hardin (Universite Pierre et Marie Curie - LIP6, France) Hoon Hong (North Carolina State University, USA) Joxan Jaffar (National University of Singapore, Singapore) Deepak Kapur (University of New Mexico, USA) Michael Kohlhase (International University Bremen, Germany) Steve Linton (University of St Andrews, UK) Salvador Lucas (Technical University of Valencia, Spain) Aart Middeldorp (University of Innsbruck, Austria) Eric Monfroy (UTFSM, Chile and LINA, France) Jochen Pfalzgraf (University of Salzburg, Austria) Zbigniew W. Ras (University of North Carolina, Charlotte, USA) Eugenio Roanes-Lozano (Universidad Complutense de Madrid, Spain) Masahiko Sato (Kyoto University, Japan) Carsten Schuermann (Yale University, USA) Joerg Siekmann (Universitaet des Saarlandes, DFKI, Germany) Carolyn Talcott (SRI International, USA) Dongming Wang (Beihang University, China and UPMC-CNRS, France) Stephen M. Watt (University of Western Ontario, Canada) Jian Zhang (Chinese Academy of Sciences, China)

Proceedings Editors: Jacques Calmet, Tetsuo Ida and Dongming Wang

Local Arrangements:

Shilong Ma (Beihang University, China), Chair Xiaoyu Chen (Beihang University, China) Li Ma (Beihang University, China)

========== [Related event: http://www.cc4cm.org/macis2006/] =========== MACIS 2006 - International Conference on Mathematical Aspects of Computer and Information Sciences Beijing, China, July 22-24, 2006 =======================================================================