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 thaynaradelima@ufg.br More details on the conference are available at https://cicm-conference.org/2025