cfp ijcar 2004 - please post
Subject: cfp ijcar 2004 - please post
From: Maria Paola Bonacina <email@example.com>
Date: Thu, 31 Jul 2003 18:19:00 +0200
User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.2.1) Gecko/20030225
Call for Papers: IJCAR 2004
The Second International Joint Conference on Automated Reasoning (IJCAR)
is the fusion of several major conferences in Automated Reasoning:
* CADE (The International Conference on Automated Deduction),
* TABLEAUX (The International Conference on Automated Reasoning with
and Related Methods) and
* FTP (The International Workshop on First-Order Theorem Proving) ,
* FroCoS (Workshop on Frontiers of Combining Systems),
* CALCULEMUS (Symposium on the Integration of Symbolic Computation and
These five events will join for the first time at the IJCAR conference
in Cork in July 2004.
IJCAR 2004 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.
Logics of interest include:
propositional, first-order, classical, equational, higher-order,
constructive, modal, temporal, many-valued, substructural,
type theory, and set theory.
Methods of interest include:
tableaux, sequent calculi, resolution, model-elimination, connection
method, inverse method,
paramodulation, term rewriting, induction, unification, constraint
solving, decision procedures,
model generation, model checking, semantic guidance, interactive
logical frameworks, AI-related methods for deductive systems, proof
efficient datastructures and indexing, integration of computer
and automated theorem provers, and combination of logics or
Applications of interest include:
verification, formal methods, program analysis and synthesis,
declarative programming, deductive databases, knowledge representation,
natural language processing, linguistics, robotics, planning.
Submissions - Research Papers and System Descriptions
Submitted research papers and system descriptions must be original and
not submitted for publication elsewhere. Research papers can be up to 15
proceedings pages long, and system descriptions can be up to 5 pages
long. The proceedings of IJCAR 2004 will be published by Springer-Verlag
in the LNAI/LNCS series.
All submissions must be received by December 8, 2003. Submissions that
arrive late or are too long will not be considered. Authors of accepted
papers will be requested to sign a form transferring copyright of their
contribution to Springer-Verlag.
In the research paper category, submissions of theoretical, practical
and experimental nature are equally encouraged.
Submission Details: (see http://4c.ucc.ie/ijcar/submission.html)
The primary means of submission is electronic.
Authors are strongly encouraged to use LaTeX2e and the Springer llncs
class files. The llncs class files can be obtained from
http://www.springer.de/comp/lncs/authors.html. If you have difficulties
in using the llncs class files, or have to use a different typesetting
program, please contact the program committee chairmen.
December 8, 2003: Submission deadline
March 12, 2004: Notification of acceptance
April 5, 2004: Camera-ready copy due
July 4-8, 2004: IJCAR 2004
Best Paper Awards
A prize of 300 Euros will be given to the best paper, as judged by the
program committee, and a prize of 300 Euros will be given to the best
paper, as judged by the program committee, written solely by one or more
students. A submission is eligible if all authors are full-time students
at the time of submission. Students must indicate with their submission
that they would like their paper to be considered for this award.
The program committee may decline to make the awards or may
split it among several papers.
Conference chair: Toby Walsh
Program chairs: David Basin, Michael Rusinowitch
Local chair: Barry O' Sullivan
Publicity chair: Maria Paola Bonacina
Workshop chair: Peter Baumgartner
Tutorial chair: William Farmer
ATP System Competition chairs: Geoff Sutcliffe, Christian Suttner
Program committee: Information soon available
Full information on IJCAR may be found at http://4c.ucc.ie/ijcar/ .