Abstract
Two awards were made in 2021 to honour outstanding papers from the IEEE Symposium On Logic In Computer Science 2001 held in Boston, MA, USA. The awards went to "A Decision Procedure for an Extensional Theory of Arrays", by Aaron Stump, Clark W. Barrett, David L. Dill, and Jeremy R. Levitt and to "Dependent Types for Program Termination Verification", by Hongwei Xi.