CICM in Brazil next October

Stream: general

[Jeremy Avigad]

I am passing along the following message from the organizers of CICM:

Dear colleagues,
I hope this message finds you well.
This year, the 18th Conference on Intelligent Computer Mathematics (CICM 2025) will be held in Brasília, Brazil.
https://cicm-conference.org/2025/cicm.php?event=&menu=general
Hermann Haeusler (PUC-Rio) and I (Thaynara de Lima - UFG) are the workshop chairs, and we would like to disseminate the event and invite people from our community to submit workshops, with the March 31, 2025 deadline.
It would be really fruitful to have a workshop about Lean.
We are sure that the Lean community's participation will greatly benefit and significantly contribute to making a vibrant event in Brasília.
We would appreciate it if you could help us by disseminating the CICM's calls in the main Lean mail list or proposing a workshop.
Best regards,
Thaynara and Hermann.