[TYPES/announce] CICM 2023 - Call for Participation

[Catherine DUBOIS]

We apologize for multiple copies

----------------------------------------------------------------------------

Call for Participation

16th Conference on Intelligent Computer Mathematics - CICM 2023 -
5-8 September 2023
Cambridge (United Kingdom) (hybrid event)
https://urldefense.com/v3/__http://www.cicm-conference.org/2023__;!!IBzWLUs!Ux7FO9lBDvc-xbInhHxfzMkEgYFN-HeCRJnzUXmbJGhu4A-67orvgxx79HBtN7hmPfdeDLMi3FMc9j3aSL3T0nf-P7Yf6L2cKg5SDCFhoqU$ 

----------------------------------------------------------------------

Registration
------------
Please use the following registration page:  
https://urldefense.com/v3/__https://cicm-conference.org/2023/cicm.php?event=&menu=registration__;!!IBzWLUs!Ux7FO9lBDvc-xbInhHxfzMkEgYFN-HeCRJnzUXmbJGhu4A-67orvgxx79HBtN7hmPfdeDLMi3FMc9j3aSL3T0nf-P7Yf6L2cKg5Sq7alOsU$ 
Accommodation in Emmanuel College is available.


Accepted papers and Provisional Programme
----------------------------------
The list of accepted papers is online:
https://urldefense.com/v3/__https://cicm-conference.org/2023/cicm.php?event=&menu=accepted__;!!IBzWLUs!Ux7FO9lBDvc-xbInhHxfzMkEgYFN-HeCRJnzUXmbJGhu4A-67orvgxx79HBtN7hmPfdeDLMi3FMc9j3aSL3T0nf-P7Yf6L2cKg5S9zR2Ako$ 

A provisional programme is online:  
https://urldefense.com/v3/__https://cicm-conference.org/2023/cicm.php?event=&menu=program__;!!IBzWLUs!Ux7FO9lBDvc-xbInhHxfzMkEgYFN-HeCRJnzUXmbJGhu4A-67orvgxx79HBtN7hmPfdeDLMi3FMc9j3aSL3T0nf-P7Yf6L2cKg5S_ImM4s4$ 


Invited speakers
----------------
* Frédéric Blanqui (INRIA): "Progresses on proof systems interoperability'',

* Mateja Jamnik (University of Cambridge): "How can we make trustworthy AI?'',

* Lawrence C. Paulson (University of Cambridge): "Large-Scale Formal  
Proof for the Working Mathematician - Lessons learnt from the  
Alexandria Project'',

* Martina Seidl (Johannes Kepler University Linz): "Never trust your  
solver: Certificates for SAT and QBF''.


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 2023 Programme committee:
see https://urldefense.com/v3/__https://cicm-conference.org/2023/cicm.php?event=&menu=pc__;!!IBzWLUs!Ux7FO9lBDvc-xbInhHxfzMkEgYFN-HeCRJnzUXmbJGhu4A-67orvgxx79HBtN7hmPfdeDLMi3FMc9j3aSL3T0nf-P7Yf6L2cKg5Sg7kkNKk$ 

Workshops affiliated to CICM 2023:
-----------------------------
* 31th OpenMath Workshop, organized by James Davenport and Michael
Kohlhase,
* 3rd Workshop on Natural Formal Mathematics (NatFoM 2023) organized
by Peter Koepke, Adrian De Lon and Dennis Müller (also an EuroProofNet  
workshop),
* 14th Workshop on Mathematical User Interaction (MathUI 2023), organized
by Abhishek Chugh and Andrea Kohlhase,
* 6th Workshop on Formal Mathematics for Mathematicians (FMM 2023),
organized by Karol Pak.
The EuroProofNet Workshop on Libraries of Formal Proofs and Natural  
Mathematical
Language, organized by Angeliki Koutsoukou Argyraki and Claudio  
Sacerdoti Coen is co-located with CICM 2023.


Local information , travel and accommodation
----------------------------------
Please see
https://urldefense.com/v3/__https://cicm-conference.org/2023/cicm.php?event=&menu=travel__;!!IBzWLUs!Ux7FO9lBDvc-xbInhHxfzMkEgYFN-HeCRJnzUXmbJGhu4A-67orvgxx79HBtN7hmPfdeDLMi3FMc9j3aSL3T0nf-P7Yf6L2cKg5SMZk3KdY$ 

For any queries about local issues please contact the conference chair
James Davenport <masjhd at bath.ac.uk>