  The Automated Theorem Proving group is part of the <a href="http://www.cs.utexas.edu/">Computer Science</a> and <a href="http://www.ma.utexas.edu/">Mathematics</a> departments at <a HREF="http://wwwhost.cc.utexas.edu">The University of Texas at Austin</a>.<p>
