Participation in Events, Congresses, etc.

The 18th Conference on Intelligent Computer Mathematics (CICM 2025). 2025.

20th International Symposium on Logical and Semantic Frameworks, with Applications (LSFA 2025). 2025.

17th NASA Formal Methods Symposium (NFM 2025). 2025.

I Encontro Brasileiro em Teoria das Categorias. 2021.

2th Mini Workshop on Singularities, Geometry and Differential Equations and 1st Meeting on Foliations and Singularities. 2019.

Linear Algebra and its Applications Workshop (LAAW, ICM 2018 Satellite Event). 2018.

II Mini-Workshop em Geometria Simplética. 2017.

XLVIII Simpósio Brasileiro de Pesquisa Operacional (SBPO 2016). 2016.

International School and Conference on Complex Networks (NetSci-X 2015). 2015.