[Om-announce] IJCAR 2006: Call For Papers (CFP)

[Sergey Berezin]

 (We appologize if you received this message multiple times)


			   CALL FOR PAPERS

     Third International Joint Conference on Automated Reasoning
			     (IJCAR 2006)
			 August 16--21, 2006
			     Seattle, USA

		    http://ijcar06.uni-koblenz.de/


The Third International Joint Conference on Automated Reasoning
(IJCAR) is the fusion of several major conferences in Automated
Reasoning:

* 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.

Scope:

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.

Submissions:

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.

Submission Details:

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
http://www.springer.de/comp/lncs/authors.html

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.

Important Dates:

  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

Program Chairs:

Ulrich Furbach,    University of Koblenz, uli at uni-koblenz.de
Natarajan Shankar, SRI International,     shankar at csl.sri.com

Program Committee:

Alessandro Armando
Matthias Baaz
David Basin  
Bernhard Beckert
Michael Beeson  
Maria Paola Bonacina
Hubert Comon  
Amy Felty
Rajeev Gore  
Martin Giese
Jason Hickey
Ian Horrocks
Tom Henzinger
Dieter Hutter
Andrew Ireland
Deepak Kapur
Helene Kirchner
Chris Lynch
Michael Kohlhase
Michael Maher
Bill McCune
Tom Melham
Jose Meseguer
Aart Middeldorp
Ilkka Niemela
Larry Paulson
Christine Paulin-Mohring
Carsten Schuermann
Stephan Schulz
John Slaney
Mark Stickel
Aaron Stump
Geoff Sutcliffe
Frank Wolter
Hantao Zhang

Conference Chair:

John Harrison
Intel Semiconductors, johnh at ichips.intel.com

Workshop Chair:

Maria Paola Bonacina
Universita` degli Studi di Verona, mariapaola.bonacina at univr.it

Publicity Chair:

Sergey Berezin
Synopsys, berezin at synopsys.com

Steering Committee:

Franz Baader
Peter Baumgartner
Ulrich Furbach
John Harrison
Reiner Haehnle
Tobias Nipkow
Natarajan Shankar
Cesare Tinelli
Toby Walsh