Automated Reasoning is the area of computer science dedicated to applying
reasoning in the form of logic to computing systems. The Bill McCune PhD Award
in Automated Reasoning distinguishes each year a PhD thesis defended the
previous year, for its substantive contributions to the field of Autom
The Bill McCune PhD Award in Automated Reasoning 2024 Call for Nominations
http://cadeinc.org/McCune-Award
***
Automated Reasoning is the area of Computer Science dedicated to applying
reasoning in the form of logic to computing systems. Th
