[TYPES/announce] IJCAR 2012: Call for Papers

[Dale Miller]

                        Call For Papers --- IJCAR 2012
        6th International Joint Conference on Automated Reasoning
                     Manchester, UK, June 26-July 1, 2012
                       http://ijcar.cs.manchester.ac.uk/

Important Dates (all in 2012)
  Abstract submission  January 23    Final version due        April 16
  Paper submission     January 30    Conference dates       June 26-29
  Notification           March 26    Satellite events   June 30-July 1

IJCAR is the premier international joint conference on all topics in
automated
reasoning. IJCAR 2012, the 6th International Joint Conference on Automated
Reasoning, is a merger of leading events in automated reasoning: CADE
(International Conference on Automated Deduction), FroCoS (International
Symposium on Frontiers of Combining Systems), FTP (International Workshop on
First-order Theorem Proving), and TABLEAUX (International Conference on
Automated Reasoning with Analytic Tableaux and Related Methods). Previous
editions of IJCAR took place in Siena (2001), Cork (2004), Seattle (2006),
Sydney (2008) and Edinburgh (2010), cf. http:/ /www.ijcar.org/.

IJCAR 2012 is held as part of the Alan Turing Year 2012 just after The Alan
Turing Centenary Conference in Manchester.

Scope: IJCAR 2012 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 datastructures and indexing, integration of computer
algebra systems and automated theorem provers, and combination of logics or
decision procedures.

Applications of interest include: verification, formal methods, program
analysis and synthesis, computer mathematics, declarative programming,
deductive databases, knowledge representation, natural language processing,
linguistics, robotics, and planning.

Submission: Submission is electronic through
              https://www.easychair.org/?conf=ijcar2012.
Authors are strongly encouraged to use LaTeX and the Springer llncs class
file, which can be obtained from
http://www.springer.de/comp/lncs/authors.html.  The page limit is 15 pages
for
full papers and 7 pages for system descriptions.  All papers will be
evaluated
according to originality, significance, technical quality, and
readability. Submitted papers must be original and not submitted for
publication elsewhere. For more details concerning submission see the
conference web site. The proceedings of IJCAR 2012 will be published by
Springer-Verlag in the LNAI/LNCS series.

Student Travel Awards: Travel awards will be available to enable selected
students to attend the conference. Details will be available in early 2012.

Further Information: For further and up-to-date information about IJCAR 2012
visit http://ijcar.cs.manchester.ac.uk/.

Program Chairs:
  Bernhard Gramlich (TU Wien)
  Dale Miller (INRIA Saclay -- Ile-de-France)
  Ulrike Sattler (Univ. of Manchester)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20110923/d2443f0f/attachment.html>