Distinguished paper at LICS 2021награда