Cristian Sottile (PhD candidate at Universidad de Buenos Aires) visited the Laboratoire d’informatique de l’École polytechnique invited by Noam Zeilberger, and gave a talk at the Proofs and Algorithms Seminar, funded by MSCA-SE QCOMICAL project, on June 30.