15th Conference on Intelligent Computer Mathematics
- CICM 2022 -
September 19-23, 2022
Tbilisi, Georgia (hybrid event)
http://www.cicm-conference.org/2022
Part of the Computational Logic Autumn Summit, CLAS 2022
http://viam.science.tsu.ge/clas2022/
--------------------------------------------------------------------------------
Registration
------------
Please use the CLAS registration page:
hhttp://viam.science.tsu.ge/clas2022/registration
Early registration deadline:
August 14, 2022
An online-only registration option is available.
Accepted papers
---------------
The list of accepted papers is online:
https://cicm-conference.org/2022/cicm.php?event=&menu=accepted
Invited speakers
----------------
* Erika Ábrahám (RWTH Aachen University)
* Deyan Ginev (FAU Erlangen-Nürnberg and NIST)
* Sébastien Gouëzel (IRMAR, Université de Rennes 1)
About CICM
----------
Digital and computational solutions are becoming the prevalent means
for the generation, communication, processing, storage and curation of
mathematical information.
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.
The scope of CICM concerns all topics relating to intelligent computer
mathematics, in particular but not limited to
* theorem proving and computer algebra
* mathematical knowledge management
* digital mathematical libraries
CICM 2022 Programme committee:
see https://www.cicm-conference.org/2022/cicm.php?event=&menu=pc
Local information
-----------------
Please see http://viam.science.tsu.ge/clas2022/localInfo
For any queries about local issues please contact the conference chair
Besik Dundua <bdundua@gmail.com>
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
