Presented as part of the 2014 HCSS conference.
This talk deals with the use of abstraction in two areas of automated reasoning: verification of programs, and decision procedures for logics.
