Call for Participation
16th Conference on Intelligent Computer Mathematics - CICM 2023 -
5-8 September 2023 Cambridge (United Kingdom)
(hybrid event)
http://www.cicm-conference.org/2023
-----------------------------------------------------------------------
Registration
-------------
Please use the following registration page:
https://cicm-conference.org/2023/cicm.php?event=&menu=registration
Accommodation in Emmanuel College is available.
Accepted papers and Provisional Programme
-----------------------------------
The list of accepted papers is online:
https://cicm-conference.org/2023/cicm.php?event=&menu=accepted
A provisional programme is online:
https://cicm-conference.org/2023/cicm.php?event=&menu=program
Invited speakers
-----------------
* Frederic 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://cicm-conference.org/2023/cicm.php?event=&menu=pc
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 Mueller (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://cicm-conference.org/2023/cicm.php?event=&menu=travel
For any queries about local issues please contact the conference chair
James Davenport <mas...@bath.ac.uk>
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
