Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Bill McCune PhD Award in Automated Reasoning, ...

view this post on Zulip Email Gateway (Feb 24 2021 at 14:40):

From: Pascal Fontaine <>
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 Automated Reasoning, its theory, its implementation, and/or
its application on important problems.  The Bill McCune PhD Award in
Automated Reasoning is named after the American computer scientist
William Walker McCune.

Eligible for the award are those who successfully defended their PhD

The PhD students supervised by the Expert Committee members are not

Candidates for the award must be nominated by their supervisor(s) and
one additional independent researcher who reviewed/examined the thesis.
Nominations are to be submitted via EasyChair, by March 15, 2021, using
the link:

The nomination must consist of a single PDF file containing

The thesis will be evaluated with respect to its quality, originality
and (potential) impact to the field of Automated Reasoning.

The Expert Committee is formed by the board of CADE Trustees with the
aim to reflect the broad diversity in the area of Automated Reasoning. 
It is announced with the call for nominations, and thus formed before
the call for nominations.  The Committee for the Bill McCune PhD Award
2019 and 2020 consists of the following people:

The Expert Committee can seek additional expertise, even after the
submission deadline for nominations.

Last updated: Jul 15 2022 at 23:21 UTC