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