As announced before, the Instituto de Ciencias de la Computación (ICC) will be the organiser of the 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021). A news article about it appeared in the ICC news:
FSCD 2021 in the ICC news