[DL] IJCAR 2006: Call For Papers (CFP)
Sergey.Berezin at synopsys.com
Tue Jan 10 00:38:59 CET 2006
(We appologize if you received this message multiple times)
CALL FOR PAPERS
Third International Joint Conference on Automated Reasoning
August 16--21, 2006
The Third International Joint Conference on Automated Reasoning
(IJCAR) is the fusion of several major conferences in Automated
* CADE (Automated Deduction)
* TABLEAUX (Automated Reasoning with Analytic Tableaux and Related Methods)
* FTP (First-Order Theorem Proving)
* FroCoS (Frontiers of Combining Systems)
* TPHOLs (Theorem Proving in Higher-Order Logics).
IJCAR 2006 will be part of the Federated Logic Conference, FLoC'06
(http://research.microsoft.com/floc06/), to be held in Seattle during
August 10--22, 2006.
IJCAR 2006 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,
non-classical, constructive, modal, temporal, many-valued,
substructural, description, metalogics, 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 theorem
proving, logical frameworks, AI-related methods for deductive systems,
proof presentation, efficient data-structures and indexing,
integration of computer algebra systems and automated theorem provers,
and combination of logics or decision procedures.
Applications of interest include:
Hardware and software verification, formal methods, program analysis
and synthesis, computer arithmetic, metatheory of languages and
logics, declarative programming, deductive databases, knowledge
representation, computer security, natural language processing,
linguistics, robotics, and planning.
Submitted research papers and system descriptions must be original and
not submitted for publication elsewhere. Research papers can be up to
15 pages long, and system descriptions can be up to 5 pages long. In
the research paper category, submissions of theoretical, practical and
experimental nature are equally encouraged. Abstracts must be
registered by Feb 27, 2006. All submissions must be received by
March 6, 2006. Submissions that arrive late or are too long
will not be considered.
The proceedings of IJCAR 2006 will be published by Springer-Verlag in
the LNAI/LNCS series.
Authors are strongly encouraged to use LaTeX and the Springer "llncs"
format, that can be obtained from
Best Paper Awards:
Awards will be given for the best paper and the best paper written
solely by one or more students. The selection will be done by the
program committee. A submission is eligible for the best student
paper award if all authors are full-time students at the time of
submission. The program committee may decline to make the awards or
may split it among several papers.
February 27, 2006: Paper registration
March 6, 2006: Paper submissions
April 24, 2006: Acceptance notification
May 29, 2006: Camera-ready copy due
August 16--21, 2006: IJCAR, Seattle, USA
Ulrich Furbach, University of Koblenz, uli at uni-koblenz.de
Natarajan Shankar, SRI International, shankar at csl.sri.com
Maria Paola Bonacina
Intel Semiconductors, johnh at ichips.intel.com
Maria Paola Bonacina
Universita` degli Studi di Verona, mariapaola.bonacina at univr.it
Synopsys, Inc., berezin at synopsys.com
More information about the dl