Email Gateway (Mar 11 2025 at 15:56): Email Gateway (Mar 11 2025 at 15:56):From: serge.autexier@dfki.de
CICM 2025 - Call for Workshops
18th Conference on Intelligent Computer Mathematics
- CICM 2025 -
6–11 October 2025
Brasilia, Brazil
http://www.cicm-conference.org/2025
More and more mathematical information is digitally processed, generated,
communicated, stored, and curated. CICM brings together the many separate
communities that have developed theoretical and practical solutions for
mathematical applications such as computation, deduction, knowledge management,
and user interfaces. It offers a venue for discussing problems and solutions in
each of these areas and their integration.
We are inviting formal submissions of workshops and tutorials relating to
intelligent computer mathematics, in particular, but not limited to
* theorem proving and computer algebra
* mathematical knowledge management
* digital mathematical libraries
A comprehensive but not exhausting list of topics of interest can be found on
the conference website:
https://cicm-conference.org/2025/cicm.php?event=&menu=topics
Workshops typically feature presentations of ongoing research that is not ready
yet for formal publication, and tutorials present extended demos of a particular
software.
However, the CICM organizers strongly encourage a broad interpretation of these
concepts and welcome proposals for any kind of event that benefits the CICM
community.
A proposal should include the following information:
Important Dates
===============
Proposal submission: March 31, 2025
Notification: April 11, 2025
Conference: October 6-11, 2025
Earlier submissions are encouraged.
All proposals should be submitted via email to thaynaradelima@ufg.br
More details on the conference are available at
https://cicm-conference.org/2025
Last updated: Apr 18 2025 at 01:39 UTC