[CG] ================================================ AMAST Links 02 07

  Thirteenth International Conference on Automated Deduction, CADE-13
 Rutgers University, New Brunswick, NJ, USA, 30 July - 3 August, 1996

   The full version of the _First Call for Papers_ is available at URL:
   http://www.cs.utwente.nl/data/amast/links/v02/i07/full/AC0207CG.txt

  The CADE conferences are the major forum for the presentation of new
research in all aspects of automated deduction. Original research
papers, descriptions of working reasoning systems, and problem sets
that provide innovative, challenging tests for automated reasoning
systems, are solicited.
  CADE conferences cover all aspects of automated deduction: First vs.
Higher Order Logics, Classical vs. Non-Classical Logics, Special vs.
General Purpose Inference, Interactive vs. Automatic Systems.
  Specific topics of interest include (but are not limited to):
Resolution, Sequent Calculus, Decision Procedures, Unification, Rewrite
Rules, Mathematical Induction, and any applications of automated
deduction, including: Deductive Databases, Logic and Functional
Programming, Commonsense Reasoning, Software and Hardware Development.
   * Papers on commercial or industrial applications   *
   * of automated deduction are especially encouraged. *
CADE-13 will be held as part of the Federated Logic Conference FLoC'96.
The Proceedings of CADE-13 will be published by Springer-Verlag in
their Lecture Notes in Artificial Intelligence Series. Research papers
should not exceed 15 (fifteen) proceedings pages. System descriptions
and problem sets should not exceed 5 (five) proceedings pages. Springer
style files should be used if possible. These can be obtained from the
_CADE-13 web site_ at URL: http://www.research.att.com/lics/FLoC
  Prospective authors should consult the full version of this Call,
for detailed submission requirements and other information.
  *Important Dates*
   Submission deadline:        12 January, 1996
   Notification of acceptance: 20 March, 1996
   Camera-ready copy due:      26 April, 1996
  *Further calls* will be made for tutorials, workshops and a theorem
proving competition, and details of these will also be available at the
CADE-13 web site.