CADE ATP System Competition

The CADE ATP System Competition (CASC) is a yearly competition of fully automated theorem provers for classical first order logic. CASC is associated with the Conference on Automated Deduction and the International Joint Conference on Automated Reasoning organized by the Association for Automated Reasoning.

The first CASC, CASC-13, was held as part of the 13th Conference on Automated Deduction at Rutgers University, New Brunswick, NJ, in 1996.

Famous quotes containing the words competition, system and/or cade:

    Competition has been shown to be useful up to a certain point and no further, but cooperation, which is the thing we must strive for today, begins where competition leaves off.
    Franklin D. Roosevelt (1882–1945)

    For the universe has three children, born at one time, which reappear, under different names, in every system of thought, whether they be called cause, operation, and effect; or, more poetically, Jove, Pluto, Neptune; or, theologically, the Father, the Spirit, and the Son; but which we will call here, the Knower, the Doer, and the Sayer. These stand respectively for the love of truth, for the love of good, and for the love of beauty.
    Ralph Waldo Emerson (1803–1882)

    ... in a capitalist society a man is expected to be an aggressive, uncompromising, factual, lusty, intelligent provider of goods, and the woman, a retiring, gracious, emotional, intuitive, attractive consumer of goods.
    —Toni Cade (b. 1939)