April 1, 2011 – Rearden Commerce has announced its sponsorship of a category of The World Championship for Automated Theorem Proving (ATP), Large Theory division. The competition showcases the latest advancements in logical reasoning.

This interesting piece of news was found on BusinessWire in their post, “Rearden Commerce Sponsors Semantic Technology Contest.” It will be held in conjunction with The 23rd International Conference on Automated Deduction (CADE) in Warsaw, Poland on August 3, 2011.

Rearden Commerce will underwrite the cash prizes associated with the Suggested Upper Merged Ontology (SUMO) problem category of the Large Theory division.

Encouraging development in the semantic technology field is always a good thing. Using competitiveness to do it is an interesting approach.

Melody K. Smith