coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] CICM 2023 - Call for Participation

From: Catherine DUBOIS <catherine.dubois AT ensiie.fr>
To: coq-club AT inria.fr
Cc: Manfred Kerber <M.Kerber AT cs.bham.ac.uk>
Subject: [Coq-Club] CICM 2023 - Call for Participation
Date: Thu, 27 Jul 2023 11:36:47 +0200
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=catherine.dubois AT ensiie.fr; spf=Pass smtp.mailfrom=catherine.dubois AT ensiie.fr; spf=None smtp.helo=postmaster AT mail.ensiie.fr
Ironport-data: A9a23:EwpPaKOVx2hOfwjvrR2zk8FynXyQoLVcMsEvi/4bfWQNrUpxg2FVy DZLDW2POauPYGT0e41zPduz/E8HvcSGn9UwGnM5pCpnJ55ogZqcVI7Bdi8cHAvLc5adFBo/h yk6QoOdRCzhZiaE/n9BCpC48T8mk/vgqoPUUIbsIjp2SRJvVBAvgBdin/9RqoNziLBVOSvU0 T/Ji5OZYAbNNwJcaDpOsPrc8kw35ZwehRtB1rAATaAT1LPhvyJNZH4vDfnZB2f1RIBSAtm7S 47rpF1u1j6xE78FU7tJo56jGqE4aua60Tum1hK6b5Ofbi1q/UTe5EqU2M00Mi+7gx3R9zx4J U4kWZaYEW/FNYWU8AgRvoUx/4iT8sSq9ZeeSUVTv/B/wGXHUFbrxv9yJn0dIIklp6E0W0VBy s0hfWVlghCr34pawZq+Q+howMklN8jqMcURoBmMzxmAXK1gHMyFGvSXo4UBhl/chegWdRraT 8EQdTpidhXGbltDJ10QCYkWkeGzh3jyNTNCwL6QjfNusjKCll0gjNABNvL7YIyhWMlwtXqjj VCa4knLCRggK8yQnG/tHnWE37OezHyrB+r+DoaQ/flzxVaX22Y7EwwTTVL9oP+ji0f4Vcg3F qAP0i8nrKx0+UqwT9jwGROiyJKZgvICc9tzPuo/4h2n9oHJ5zvEQSteajF+WeVz4afaWgcW/ lOOmtroAxlmv7uUVW+R+9+oQdWaYnN9wYgqPnNscOcV3zXwiN1j0EmWF76PBIbv0oakR1kc1 hjQ9EADa6MvYdkj+Z/TEbrvKNOyvImhouUdt1yPBjrNAu9Rz2ihasmk5B319/9GJ4vxc7Vsl H0NmszY4eYVDJCA0iKXKAnsIF1Lz6vZWNE/qQc/d3XEy9hL0yX6FWy3yGolTHqFyu5eJVfUj Lb74Gu9HqN7MnqwdrNQaImsEcksxqWIPY27B6iPP4QUOcEsJFLvEMRSiai4gTiFfK8Ez/tXB HtnWZzzVh729Iw7nGrpH7xMuVPV7n1unj67qW/HI+SPiObPNSHFFt/pwXOUY+Yw8K6eyDg5A P4BX/ZmPy53AbOWSnCPr+Y7dAlaRVBlXsqeg5IMKYa+zv9OXTh4YxMn6ex/JNMNcmU8vrygw 0xRrWcBlwGk2CyYcV7RAp2hAZu2NatCQbsAFXREFT6VN7ILO+5DNY9PKcVlTqpt7+F50/9/Q t8MfsjKULwFSS3K935ZJdPxpZBrPkbjzw+fHTuXUB5mdb5ZRivN5oDFeCnr/3IwFSaZj5Y1j ICh8QL5eqA9YTpeIvzYU9+V9GPpj0MhwLpze2DqPuhsfF7d9dk2Ci7p0d4yDcI+CTTC4Tq40 wyQJw8RmtTQkYkU8f3ip6ONn6G2GcRQQ2tYGGj66+6tFC/4p2CM/65JYNyqTxv8Clzm2fyFS 71O7vfeNPYnog57g7BkGew28ZNktsrdmbBK6y9FQlPJVg2PIZF9KCCk2cJviPV89oVBs1HrZ nPVq8hoApTXCsbLC1VLGREEaN6E3vQqmjX/y/Q5DUH5xS1v9oq8TkRgEEiQuRNZMYdKHtsp8 cU5tO4Szj6PuB4gH9KFryJTrmq3PiMhVYcjvcokG4PFsFcg5WxDRp3+MRXIxq+zRe9CCWQUB wOFpbHjgu1cz3XScnBoGnnq2/FctKs0uxtL7QEjIg2Jk+Xam80IgQ9YzjAzagFn3zRGzONBF Wx5PGJlJai13mlJheoSe0uOCg1+FBmi1Uip8GQwlUrdVFuNelXWCW8AZda240ES9lxDcghh/ L23zHjvVRDodprT2hQedFFEqfu5a/BM7SzHxd6aGvqaE6kAYTbKhrGkYUwKoUDFBeIznEj2m vl4zt1vaKHUNT8inINjMtO0jY8vcRGjIHBOZdpD/6lTRGHVR2yU6Ai0cku0fptAGuzO/UqGE PdRH8NoVSrv8AaVrzseO7wAHK8sot4t++g5W+3KIUwojuKhiwRH4bzs8hrwvmsJe+lVsN0cL 9rRfg2SE2bLinpznXTMnfZ+OWG5QIclYTPh17qx6NcySpcIscB3UEQIyrDvlW6kAAhm2BO1v Q34eK7dydJ5+7lsh4fBFqZiBR2+DNHOCNSz7wG4tupRYeP1Mcvhsx0frn/lNV90OYQ9dstWl 7PXlvLKx2LA4agLVl7Gl6m7F6Vm4du4WMxVOJnVKFhYhS6zZ9/+0SAc+myXKY17r/0F35OJH zCHUcqXccIZf/x/x3cPMihXLEs7OpTNN6zloXuwkuSIBh0jyjf4FdKA90G4XVEDI2VMc9f7B xTvsvmj2sFAoc4eTFUYDvVhGNljLEWlRaIicMbruCKFCnWzxGmPoabmiQFq/ASj5qNoyyomy cmtqtnCmBWOVGXgydhYt8p/uAYWDXs7j/NYkofxPTJpo2jSMYLEBb113VY65lV8nyrp1ZD1I j/XBIfnITuoRixKKH0Q//y6NjpyxYUy1hPRKzoy/kKZLSmsbG9F7H2N6Q84i0pLlvDfIC1L5 D3QFrAc/vR8/32xedsu2w==
Ironport-hdrordr: A9a23:JeYASKH1Uayl2BxzpLqE68eALOsnbusQ8zAXPo5KOH5om+ij5r mTdZMgpGfJYVcqKRYdcL+7VpVoLUm9yXcX2/h2AV7BZmjbUQKTRekIgOeM/9SKIVyaygcy79 YCT0EzMqyVMbGkt6zH3DU=
Ironport-phdr: A9a23:/YrI6BZ2/+IFp8BswR7Ry7X/LTED2oqcDmcuAnoPtbtCf+yZ8oj4O wSHvLMx1gGPA96Qsq4dw8Pt8InYEVQa5piAtH1QOLdtbDQizfssogo7HcSeAlf6JvO5JwYzH cBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1JuPoEYLOksi7ze+/94PSbglShTewb7x+I Ai5oAnMq8IbnZZsJqEtxxXTv3BGYf5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ 7NYCi8mM30u683wqRbDVwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4 rx1QxH0ligIKz858HnWisNuiqJbvAmhrAF7z4LNfY2ZKOZycqbbcNgHR2ROQ9xRWjRBDI2ic YYBEuQOMvpXoIbgqFUDtge+CAqwCO/z1jNFnH370Ksn2OohCwHG2wkgEsoQvXvOsNX1NLkdU fq0zKnO0zrIcv1Y1jng5YbRcR4vvOyHULVsfsXL1UkvFx3Kjk+RqYzjITyZzPkCs3WA4OpnV OKvkHUqpB93oji0x8csi5fGipgbylDe7Ch0xps+KtKkRkBhe9GkDIdQuD+AN4twWs4uXn9lt Dgkx7AFtpC2ciYExZonyRDfZPKKb4yF7xDsWeifPzp0mGxodbK7ihus/kat1OLyW8a73VtOr iRIkMfAu3YQ3BLd7ciHT+Fy/kan2TuXyw/T6/1LIUUtmaXHLJ4hxLAwmYQJsUvdGC/5hFv5g LWRdkU+9eil7fnsbLb+ppKEKoN5jg/zPr4ul8GwG+g0LwwDUmiB9eiiybHv41X1TbZJg/Esj 6XUsZ7XKd4GqqO3AAJZyJgv5wi5Ajy7zdoYhWMILFdGdhKfl4XlJlXDLf7iAfq/jFmgiipny vTGM7H7HJnBM2bPnbH8drhn8UFc0hA8zdVH6pJUFL4BJPXzV1f0tNPCDx85Nxa4zPjhCNVm1 4MeWHyADrWXMKPIqVOI5+QvLPeQZIINpTrwL/Yo6+TugHI2g1MRYK2k0JsNZHymA/hqPV2VY X/2jdcAFWcKsBA+TOvviFCaTTFcfWqyX6Ii6TEhCYKmC5nMSpqwj7ycxyi7GZxWZntdB1+SF 3fobISEW/YSZy6ILM9hiCQIVb66RIA5zxGhqBf6y6Z7LurT4iAUqIrv1MJp6O3LiREy6Tt0A tyB3GGKVmF4h38HRzsr3K9kukF90VeC0a1gg/NCD9BT5vVJUh07NZHG1eB6BcryCUr9eYKCT 0/jSdG7CxkwSMgwypkAeRVTAdKn2zvKwyqnGb4TmvSnObYT05mUi3P4O8Zw0XfA2e8tklMhQ 9BnOGu9h69ysQbJUd2a236FnrqnIPxPlBXG832OmC/X5BkwuG9YVKzEWSpafU7KtZHj4UiES bayCLMhOw8HyMiYK6IMZMe6xU5eSqLFP9LTK3m0h3/2HQyBk7iFcIrnYWQb0WPRFUIDkhs78 HCdNAkzQCm78CrFFDI7LVv0eAv39PVm7nayT0s61QaPOkZoy7q44B8TiLqQVvkU36kstSE6q jR5WlinjJrNE9TVgQ1nce1HZM8lpldK0WWMrwtmIpmpNLxvnHYbegVz+U7ozBR2B8NOi6DGt VsMywx/YeKd2VJFLXaD2Izof6fQIS/09QyubKjf3hff1syX8+EB8qZwrVKrpwyvGkc4lhcvm 9BIz3uR4InLBwsOQNrwVEgw7R1zu7DdZGE0+YrV0XRmNaT8vCXF3polA+4syxDoeNk6UuvMH wbuE8AABs6jbuA3kV+odToJOvtT9aNyMdnnP/qK1ai3PfpxySq8hDcigsg12UaN+ixgD+/Qi s9UmLfFgk3eBmq61g774aWV0cheaDofH3Sy033hDY9VPOhpeJoTTH2pKIuxz8l/gJjkXzhZ8 kSiDhUIwpzMG1LaYlrj0AlXzUlSr2agnH7yxDVokzwzr6ySmiDTyePjbzIKPHVKRWQkg02mc u3Wx5gKGVOlaQQkjk7v7k/mx6VBpaJyaWXOS0BJZAD7KXpjU6b2uKDIMKstoNs49C5QVuq7e 1WTTLXw9gAb3y3UFGxb3Dkndjuut/0VhjRCgXmGZDZ2pXvdI4RrwAvHocbbTrhX1yYHQy9xj X/WAEK9Np+n54fcm5DGu+G4H2WvM/8bOSLi0YONriq96CtmHBe4nuubl9v8EAk3lyHhn9VnT iTHqh/gb5KjjvXhd787OBA5WRmmspAyE5ob8MN4nJwK3HkGmpiZtWEKl2v+K5QT2K7zamYMW S9extfU5Ab/30gwSxDBj4n9V3ib3o5gf4zjMzhQh357tpEXTv3Ntu8h/2M9uFezoAPPbOIom z4czaFr83sGm6QTvwFryCyBA7cUFE0ePCr2lh3O4crtyccfLGupb7W001Jz2N67C7TX6ApVR Hb0YJYkEGl88894MUnk3Xvo64DpPtfKJ4F21FXcg1Lbgu5ZJYhk3PEDmSpqI2P7sDsp1uQ8j AdG0JehvYmKbWt3tvHcYFYQJnj+YMUd/SvohKBVk5ON3oyhKZ5mHy0CQJriSf/7WCJXr/nsM ByCVSEtsnrOU6SKBheRsQ01yhCHW4DuLXycI2MViMlvVAXIblIKmxgaBX07hsJrT1HxgpG9N h4ou3ZLvwS/8UEEz/IgIRD7Vi23SB6ATDAyRdDfKRNX6lsH/ELJKYmE6ek1GShE/5qnpQjLK 2qBZg0OA3tbEkqDT0vuOLWj/7yiu6CRG/a+Iv3SYL6Ptf0WVvGGwoiq25dn+DDEP9uGP31rB fk2kkRZWnUxF8PckjQJAysZ8kCFJ9acvwu58zZro9qX9f3qXETi45COCrYUP88usxG6jKGfN vKB0SZ0LTELs/FEjXTMybUZwBsTk3Q3JmLrTOhG7H+QCviJwPwybVZTcS54OcpW4rhp2wBMP ZSekdbpzvtiifVzDV5ZVFvnk8XvZMoQImj7OkmUYSTDfLmAOzDPxNn6JK2mTrgFxu5dqx29o zedHgnvIz6EliLBWha0MOBByi+Bdk872sn1YlN2BG7vQcizIAW8K8NyhCYqzKccg3rLMSgRN yN9ck4LoKfavkY6yr1vXmdG6HRiN+yNnS2UuvLZJpghuvxuGi1oluhe7RzSKpNQ5SBAAvFzg yrTo5hguQP++gFg4jdhSxtPp3BFntDS1a2HEajf7ZhBVDDK5kBVhVg=
Ironport-sdr: 64c23ab1_EqP2SNKDrvkViM7opRdQFZKZQKigVDzcs7Fmx5qPCHl6sBZ VI79uTc4Y8gi0lJo88XVE45ptEanYmLs0FRCx5A==

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)
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

* 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 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 AT bath.ac.uk>

[Coq-Club] CICM 2023 - Call for Participation, Catherine DUBOIS, 07/27/2023