Humanist Discussion Group, Vol. 21, No. 291.
Centre for Computing in the Humanities, King's College London
www.kcl.ac.uk/schools/humanities/cch/research/publications/humanist.html
www.princeton.edu/humanist/
Submit to: humanist_at_princeton.edu
Date: Fri, 12 Oct 2007 07:22:25 +0100
From: geoff_at_cs.miami.edu
Subject: IJCAR Call for Papers, and Workshop and Tutorial Proposals
IJCAR 2008 - The 4th International Joint Conference on Automated Reasoning
Sydney, Australia, 10th - 15th August, 2008
Call for Papers, and Workshop and Tutorial Proposals
----------------------------------------------------
IJCAR 2008 is the 4th International Joint Conference on Automated Reasoning,
and is a merger of leading events:
CADE (Conference on Automated Deduction),
FroCoS (Workshop on Frontiers of Combining Systems),
FTP (Workshop on First-order Theorem Proving) and
TABLEAUX (Conference on Analytic Tableaux and Related Methods)
IJCAR is the premier international joint conference on all aspects of automated
reasoning, including foundations, implementations, and applications. The IJCAR
technical program will consist of presentations of high-quality original
research papers, system descriptions and invited talks. There will be two days
of workshops and tutorials, 10th and 11th August, and the conference 12th to
15th August.
Conference chair:
Peter Baumgartner (NICTA)
------------------------------------------------------------------------------
Call for Papers
---------------
IJCAR 2008 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.
See the IJCAR website for a detailed list of logics, methods, and applications
of interest. The proceedings of IJCAR 2008 will be published by Springer-Verlag
in the LNAI/LNCS series.
Submission details: Submission is electronic, through
http://www.easychair.org/IJCAR2008/.
Authors are strongly encouraged to use LaTeX and the Springer "llncs" format,
which can be obtained from http://www.springer.de/comp/lncs/authors.html. The
page limit is 15 pages for full papers, and 5 pages for system descriptions.
[...]
Received on Fri Oct 12 2007 - 02:43:31 EDT
This archive was generated by hypermail 2.2.0 : Fri Oct 12 2007 - 02:43:32 EDT