Brazil-France Mathematics Meeting

Samuel Gomes da Silva and Elaine Pimentel (together with Boban Velickovic) organized the Mathematical Logic Special Session of the First Brazil-France Mathematics meeting at IMPA in July. I went and talked about our library of propositional intuitionistic theorems, described in
The ILLTP Library for Intuitionistic Linear Logic

C Olarte, V de Paiva, E Pimentel, G Reis

arXiv preprint arXiv:1904.06850

Lots of interesting conversations in the meeting. All the slides of the meeting were collected  and can be found in this Google drive folder. Other mathematical logic meetings associated with the UFBA are described here.