CICM 2025 - Call for Workshops
9 views
Skip to first unread message
THAYNARA ARIELLY DE LIMA
Jan 27, 2025, 1:07:55 PMJan 27
to PVS verification system
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 PVS.
We are sure that our PVS 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 and Hermann.
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 PVS.
We are sure that our PVS 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 and Hermann.
Reply all
Reply to author
Forward
0 new messages