Larry Wos - Visions of Automated Reasoning

Abstract

This talk celebrates the scientific discoveries and the service to the automated reasoning community of Lawrence (Larry) T. Wos, who passed away in August 2020. The talk covers Larry's most long-lasting ideas about inference rules and search strategies for theorem proving, his work on applications of theorem proving, and a collection of personal memories and anecdotes that let us appreciate Larry's personality and enthusiasm for automated reasoning.