Alejandro Díaz-Caro (Argentina) and Gilles Dowek (France), got the “Best Paper Award” at the 18th International Colloquium on Theoretical Aspects of Computing (ICTAC 2021) for their work “A New Connective in Natural Deduction, and Its Application to Quantum Computing“.