CICM 2025 - Call for Workshops     

            18th Conference on Intelligent Computer Mathematics
                                - CICM 2025 -
                             October 6-11, 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:    April 29, 2025
Notification:           May 03, 2025
Conference:             October 6-11, 2025

Earlier submissions are encouraged.
Later submissions are allowed with justification.

All proposals should be submitted via email to hermann@inf.puc-rio.br and thaynaradelima@ufg.br
More details on the conference are available at https://cicm-conference.org/2025