[Om] Artificial Intelligence and Symbolic Computation 2006: Call for Papers

[aisc2006 at 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
=======================================================================