Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] CICM 2022: Call for Participation


view this post on Zulip Email Gateway (Aug 07 2022 at 06:06):

From: Besik Dundua <bdundua@gmail.com>
Call for Participation

15th Conference on Intelligent Computer Mathematics

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


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

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>


Last updated: Mar 29 2024 at 04:18 UTC