IJCAR 2008
IJCAR 2008 is the 4th International Joint Conference on Automated Reasoning, and is a merger of leading conferences and workshops:
IJCAR is the premier international joint conference on all aspects of automated reasoning, including foundations, implementations, and applications.
Scope
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.
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: verification, formal methods, program analysis and synthesis, computer mathematics, declarative programming, deductive databases, knowledge representation, natural language processing, linguistics, robotics, planning.
Format
The IJCAR technical program will consist of presentations of high-quality original research papers and invited talks. We plan to have days of workshops and tutorials, August 10 and 11, and the conference from August 12 to 15.
