The mission of the Center for Automated Reasoning (Centaur) is to accelerate the state of the art in automated reasoning research by creating new theory and algorithms, building world-class tools, and creating automated reasoning-based solutions to real-world problems.