Email Gateway (Jul 27 2023 at 09:49): Email Gateway (Jul 27 2023 at 09:49):From: Catherine DUBOIS <catherine.dubois@ensiie.fr>
[We apologize for possible cross-posting]
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
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
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 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://cicm-conference.org/2023/cicm.php?event=&menu=travel
For any queries about local issues please contact the conference chair
James Davenport <masjhd@bath.ac.uk>
Last updated: Jan 04 2025 at 20:18 UTC