[Event at CIG] Call for Workshops, Conference on Intelligent Computer Mathematics (CICM), 6-11 october 2025, Brasilia

[Serge Autexier]

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