Search |  Contact |  SRI Home Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap.A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A ASRI International.  333 Ravenswood Avenue.  Menlo Park, CA 94025-3493. SRI International is a nonprofit corporation.

AIC Seminar Series

High Performance Lean Theorem Proving

Jens OttenUniversity of Potsdam, Germany[Home Page]

Notice:  Hosted by Richard Waldinger. Note the non-usual weekday (Tuesday)

Date:  2010-09-21 at 16:00

Location:  EJ228 (SRI E Building). Slides via WebEx from 3:45pm on, sound at 1-888-355-1249, 749045  (Directions)

   Abstract

leanCoP is an automated theorem prover for classical first-order logic. It is implemented in Prolog and the source code of the core proof search algorithm is only a few lines long. Despite it's compact size, leanCoP is currently one of the fastest theorem provers that output a proof. We introduce the underlying basic calculus, describe a few essential techniques to prune the search space, and present details of the actual implementation. Furthermore, we explain how leanCoP can be extended to deal with intuitionistic logic as well as with linear integer arithmetic. See leanCoP's home page at www.leancop.de for more details.

   Note for Visitors to SRI

Please arrive at least 10 minutes early in order to sign in and be escorted to the conference room. SRI is located at 333 Ravenswood Avenue in Menlo Park. Visitors may park in the visitors lot in front of Building E, and should follow the instructions by the lobby phone to be escorted to the meeting room. Detailed directions to SRI, as well as maps, are available from the Visiting AIC web page.

SRI International
©2014 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy