congratulations to Andrej Bauer!!!

[Kreinovich, Vladik]

Andrej Bauer, a professor of computational mathematics at the University of Ljubljana in Slovenia, will receive the 2022 AMS Levi L. Conant Prize for the article, “Five stages of accepting constructive mathematics,” Bulletin of the AMS, 54 (2017), 481–498.

 

This prize was established in 2000 in honor of Levi L. Conant to recognize the best expository paper published in either the Notices of the AMS or the Bulletin of the AMS in the preceding five years. Levi L. Conant (1857–1916) was a mathematician who taught at Dakota School of Mines for three years and at Worcester Polytechnic Institute for twenty-five years. His will included a bequest to the AMS effective upon his wife’s death, which occurred sixty years after his own demise.

[Andrej Bauer]

Many thanks, but I thought this news made rounds already a while ago.
Did the AMS make another announcement?