The ICC (Instituto de Ciencias de la Computación- CONICET/ Universidad de Buenos Aires) will organize the 2021 edition of the International Conference on Formal Structures for Computation and Deduction.
Beniamino Accattoli gives a couse at ECI founded by INRIA ( July 2019)
Beniamino Accattoli will give the course “λ-Calculus and reasonable cost models” at the Escuela de Ciencias Informáticas (ECI), founded by Inria as sponsor of the school. The school is being held at Universidad de Buenos Aires bethen the 22th and the 26th of July, 2019.