Zulip Chat Archive
Stream: general
Topic: Call for Workshops - CICM 2025
Thaynara de Lima (Jan 31 2025 at 12:47):
Dear colleagues,
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
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 or proposing a workshop.
Best regards,
Thaynara.
Last updated: May 02 2025 at 03:31 UTC