--- 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