|
|
楼主 |
发表于 2006-3-12 22:29
|
显示全部楼层
如何筹集参加国际学术会议的费用？
爱好者多么艰难!收到国际会议征稿通知！请伸出援助之手！
今天收到到国际人工智能和符号计算国际会议通知
=================== [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
=======================================================================
9月在北京航空大学召开
本次特邀嘉宾:吴文俊院士，由北航教授王东明主持。
文中提到论文的格式要用LNCS style，请问什么是LNCS 格式？ |
|
IP卡
狗仔卡
显身卡
发表于 2006-2-27 03:47
发表于 2006-3-6 08:27