Bioinformatics Biocomputing - Ercim

CALL FOR PAPERS
IEA/AIE-2001 – The Fourteenth
International Conference on
Industrial & Engineering Applications
of Artificial Intelligence & Expert
Systems
Budapest, Hungary,
4-7 June 2001
IEA/AIE continues the tradition of
emphasizing applications of artificial
intelligence and expert/knowledgebased
system to engineering and
industrial problems. Authors are invited
to submit papers presenting the results
of original research or innovative
practical applications relevant to the
conference. Practical experiences with
state-of-the-art AI methodologies are
also acceptable when they reflect
lessons of unique value to the
conference attendees.
Further information:
http://www.sztaki.hu/conferences/ieaaie2001/
Order Form
If you wish to subscribe to
ERCIM News or if you know of a
colleague who would like to
receive regular copies of ERCIM
News, please fill in this form and
we will add you/them to the
mailing list.
send or fax this form to:
ERCIM NEWS
Domaine de Voluceau
Rocquencourt
BP 105
F-78153 Le Chesnay Cedex
Fax: +33 1 3963 5052
E-mail: office@ercim.org
Data from this form will be held on a computer
database. By giving your email address, you allow
ERCIM to send you email
ERCIM News No. 43, October 2000
CALL FOR PAPERS
International Conference on Shape
Modelling and Applications
Genova, Italy, 7-12 May 2001
Reasoning about shape is a common
way of describing and representing
objects in engineering, architecture,
medicine, biology, physics and in daily
life. Modelling shapes is part of both
cognitive and creative processes and
from the outset models of physical
shapes have satisfied the desire to see
the result of a project in advance.
The programme will include one day of
tutorial and three days of papers
programme. Special Sessions will be
organized on relevant topics.
The Conference is organized by the
Istituto per la Matematica Applicata of
the CNR.
Further information:
http://SMI2001.ima.ge.cnr.it/
Name:
Organisation/Company:
Address:
Post Code:
City:
Country
E-mail:
EVENTS
SPONSORED BY ERCIM
JCAR 2001 International Conference
on Shape – The International Joint
Conference on Automated Reasoning
Siena, 18-23 June 2001
IJCAR is the fusion of three major
conferences in Automated Reasoning:
CADE – The International Conference
on Automated Deduction, TABLEAUX
– The International Conference on
Automated Reasoning with Analytic
Tableaux and Related Methods and
FTP – The International Workshop on
First-Order Theorem Proving). These
three events will join for the first time
at the IJCAR conference in Siena in
June 2001. IJCAR 2001 invites
submissions related to all aspects of
automated reasoning, including
foundations, implementations, and
applications. Original research papers
and descriptions of working automated
deduction systems are solicited.
Further information:
http://www.dii.unisi.it/~ijcar/
You can also subscribe to ERCIM News and order back copies by filling out the form at the ERCIM web site at
http://www.ercim.org/publication/Ercim_News/
53
✄