Alejandro Díaz-Caro (Argentina) and Gilles Dowek (France) participated at the 18th International Conference on Quantum Physics and Logic with their work “A New Connective in Natural Deduction, and its Application to Quantum Computing“. The video of the presentation is here.