# HG changeset patch
# User Oleksandr Gavenko <gavenkoa@gmail.com>
# Date 1239906432 -10800
# Node ID 366b2a8bafe695a1a0a950453a9510744cb75b1d
# Parent  bd52334e3a992adcb7ef82890b3a3dc976c999c9
Conference & competition.

diff -r bd52334e3a99 -r 366b2a8bafe6 auto-proof.rst
--- a/auto-proof.rst	Thu Apr 16 21:24:25 2009 +0300
+++ b/auto-proof.rst	Thu Apr 16 21:27:12 2009 +0300
@@ -120,3 +120,23 @@
 See
 
   http://www.spass-prover.org/index.html
+
+* Competition.
+
+See
+
+  http://www.cs.miami.edu/~tptp/CASC/
+  http://www.cs.albany.edu/~nvm/cade.html
+
+* Conference.
+
+IJCAR is a series of conferences on the topics of automated reasoning,
+automated deduction, and related fields. It is organized semi-regularly as a
+merger of other meetings. IJCAR replaces those independent conferences in the
+years it takes place. The conference is organized by CADE Inc., and CADE has
+always been one of the conferences partaking in IJCAR.
+
+See
+
+  http://www.ijcar.org/
+  http://en.wikipedia.org/wiki/International_Joint_Conference_on_Automated_Reasoning