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:
- title of the event
- names and affiliations of the organizers
- brief description of the event (e.g., 1-2 paragraphs)
- proposed workshop duration (typically half a day up to two days)
- previous instances of the event (if any)
- preferred or excluded dates within the CICM dates (if any)
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 thaynaradel...@ufg.br
More details on the conference are available at
https://cicm-conference.org/2025
