coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] CICM 2023 - Call for Participation

From: serge.autexier AT dfki.de (Serge Autexier)
To: coq-club AT inria.fr
Cc: serge.autexier AT dfki.de
Subject: [Coq-Club] CICM 2023 - Call for Participation
Date: Fri, 4 Aug 2023 16:28:43 +0200 (CEST)
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=serge.autexier AT dfki.de; spf=Pass smtp.mailfrom=serge.autexier AT dfki.de; spf=None smtp.helo=postmaster AT lnv-91185.sb.dfki.de
Ironport-data: A9a23:UPUoVqma7DSsyh1F7BSkdNHo5gypIkRdPkR7XQ2eYbSJt1+Wr1Gzt xIWXTqDPPeLN2emKdp1Ydy/oE9TsZDcxt42Tgs4rH9hQVtH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRGvymTrSs1hlZHWdMUD0mhQ9oh9k3i4tphcnRKw6Ws LsemeWGULOe82Ayajt8B56r8ks156yi4G9A5DTSWNgS1LPgvylNZH4gDfrpR5fIatE8NvK3Q e/F0Ia48gvxl/v6Io7Nfh7TKyXmc5aKVeS8oiI+t5uK3nCukhcPPpMTb5LwX6v4ZwKhxLidw P0V3XC5pJxA0qfkwIzxWDEAe81y0DEvFBYq7hFTvOTKp3AqfUcAzN1WMWQXBtAj3N9tBGBqq c0aJG8OaU+60rfeLLKTEoGAh+wnKteubdpG6iwm1jufAfglQNbPTs0m5/cBh2t2154IRKeHI ZNJNFKDbzyYC/FLEkwaEp0z2u61mnTvcjBCgF6bpqtx72W7IAlZieK1aYuFIYPRLSlTtmWJu nnn4WTgOzQfDuWY02qX9GOLwdaayEsXX6pITebhra476LGJ/UQYDwRTXl+mq9Gim0umUpReL VYV82wgt8APGFeDSt/jGkzh+S7Z+AUWHdZeEOx85AzlJrfoDxixPlUhbwUcU/ofrso3YWAb1 FPWnNS2PGk62FGKck61+rCRpDK0HCEaK24eeCMJJTc4D8nfTJIb0kOVFIc4eEKhpoOkSGCsq 9yfhHVWulkFsSIc/4mWlbwtqwmlr4LDVKXh7QbaWApJBSsnOtf/POREBXDg5P9aKI+fQjG8U JUsn86AqbFXVMHQ0jeHBukDH7Dv6/vt3NzgbbxHQclJG9eFoiDLkWVsDNdWfxgB3iEsIm+BX aMrkVkNjKK/xVPzBUONX6q/Ct4x0Y/rHsn/W/bfY7JmO8YgLVfXo301PBfAhggBdXTAd4lhZ /93lu7yUx4n5VhPlmHmLwvg+eB0mXhlmzO7qW7Tlkj7jeT2iIGppUctagLVN7tpvctoUS3Z/ stDLMCKxg4XXurkeSLX7IgcNlYHMWpTOHwFg5M/SwJ3GSI/QDtJI6aImdsJItU194wLzb2g1 i/mBSdlJK/X2CevxfOiMC4zMdsCnP9X8BoGAMDbFQrxgSN+Pdv2s/t3mlleVeBPydGPBMVcF 5EtE/hsyNwWItge02RCNcvOv8Z5eQ61hAmDGSOgbXJtN9RjXgHFsJusNAfm6CBEXGL9uNocs o+Q8FrRYaMCYAB+U+fQSvaklG2qsVYnxeldYkrvI/toQnvKzrREESLLs6IIE5k+Eimbnjq+/ CSKMCgcvtjI8tMU8sGWpKWqrLWJMupZH2hZLWzH9ZKzDy37/3Wi86BEQu2nbTDQb0Kq2aSAN MF+7eDwD+0Dp3lO67FDKrdMybkvwefvq5tx7BVWLF+SY3uFUrpfc2S7h+9Rvahz95plkAqRW HPX3OJFOL+MafjXIHRIKCULNu28hOwpwB/M5vEIIWL/1i993JyDdW5wZxCsqihsHIFZAbMf4 9UKmZApslSkqx8QLNy5oDhe9D2MIlw+QqwXjMwmL7GxuDU76GNpQML6Onft7YCteud8FBAgA gWpiZrog5VewUv/cEQPK0Xd4NoFhboylUBL6HQgO2W2nsH0g65r/R9JrhUyYAdn7jRG9ONRI WJtBlFSGYie2BtVmcMZfn2eNDNbDSbE+X7K6kAokVfBRBKCTV39L2waOMeM8nsG8mlaQCNpw bGAxEvhUhfoZMvUzAJofWJE8tvNFcdQ8C/Gk+CZR/W1JYEwO2fZs/X/dFg2pAvCKuJvok/+/ M1B3vt6MI//Pg4u+5wLMZGQj+kseUrVNV55YK9T+Y0SFjvhYxC04z+FLn6xdu5rJ/Dn9UyZC dRkFvlQViaRhTq/kTQGOZEie7NEvuYlxN4nSIPZIWQrt7i+rD0wvqnAqQn4pmsgGOt1negHd 4j+SjOlE06rv0VypVPjlsd/F1CDUYE2XzGkhOGR28cVJq0Hq9BpIB0T0KPrnnC7MzlH3hOzv SHAVarK18hn84BNnpTtIIpHFQ6bOdP+b8XW0QGR4vBlT8LDDtfKjCwR8mLYBgVxOaAAfeh3m ZCmks/F7GmcsJkYC2nmyoS8TY9X7sCMbc9rG8PQLkgCuxCdWcXpsiAxy0rhJbNnyNpit9SaH S2mY86NdPkQaddX5FtRTwN8Sx89KaDGXp3MlBOHjcanK0YiiFTcDdad63XWQ3lRdXYIN73AG wbEgauSye4CnrtcJi0vJq9AM8Z0Lma2DOFiP5f0uCKDB2alvkKat/Gw3VA84DXMET+fHNy8/ ZvBQQPkeQ+vvL3TiutUqJF2ogZdGUMVbTPcpa7B04UeZ/GG4G86wSA1NZMYT8ANy3yvkoryI j3Db2pkBSiVsfGot/njyIyLY+tdLrVm1hTFyvgB802XamG6CetsxZN/ozx47S4eliTLlYmax BJ3xpE0FhS/wZAvSet7CjlXRwt47quy+0/kMnwRXyA/79jyzFnKOLFc8NJxaBH6
Ironport-hdrordr: A9a23:fTczJaof78D9eSaiEnzS8cEaV5o2eYIsimQD101hICG9vPbo9f xG/c5rtiMc5wxhPE3I9erwX5VoP0mskKKdiLN5VdzOMGaJhILCFuFfBOXZogEIxBeVytJg
Ironport-phdr: A9a23:zP2TZh8EYgmIp/9uWQe2ngc9DxPPW53KNwIYoqAql6hJOvz6uci4Y gqPub4y1hfgZsby07p8ke3YsqTtCyQrwK2qlzQ8SqFKTAIPks4MngYtU4avAEz/K+P2PWRhR JwRHFBq8GumPkdLBc3we0PdomGo7T4VBx7zKRd5Kv76F4LMjsm7zeO/9pLcbwhKmja2fK9/I gixoQjNrMcdnJFsKrw2yhvHo3tIf/pZyGZ1Ll+NnBjy+9m98od7/ytfp/wu+chAUb7nf6sjV rxXEC4mM2Eu68L1sxTIUBaC6WEdUmUSlRpIHhTF4RTnVZr/rif2quxw0zScMMbrT747RC6i4 r91RhH1lCgKKT03/m/XhMFrkKJXvA6tqwBjz4LIYoyYMud1cKPHfdMdQGpMRt1RWDJbAoOzc YQDFfAOPftEr4bjqFoOrAWxBRO3CezyxD9IhX720bcn3Os/DArK2BEuEMwUsHTbstr+KbsfU f2pzKbWwjTDbu1Z2S345IXObxsuru2CU6hqfsrN1UkgCRnFjlOIpILqIT+Y2esAvmaV4edjW +yilW4qpg9vrzWxyMohlpfEipwVx13a9ih0wZo5K9O8RUNmbtCoDJ9duz+aOYZyRs4vRXxjt ig9yr0Do5G7fS4KxYw7yB7ed/OHdpGE7Q7kVOaXLzd3mmhld6y5hxmu70es0Or8VtO70FtMs yFLkcHMu2gQ2xHd5cWLUP9w80a71TqS0w3f9/tILV03mKfbM5It37A9m5UJvUjeAiP6hl/6g LGKekgr4OSk9uXqb7Hgq5SBLYF7kBv+Pb4rmsGnAeQ3LAwOX2+D9OS40r3j41T1TbFXgvErk aTUsIrWJd8AqaKjHgBV3IUj6xelAzi7ztsUhXgHLFRbdxKbl4XlJl/DLf/iAfq7glmgiipny vTbMrH7H5nALXjOnK/kfbln6k5czAQzzcpY55JRErwBO+z8WlX+tNPGFBM2KRG0w/r5B9Ry1 4MRR3iPD7SEP6Pcsl+I5/gjLPSSa4MNvjbyMOAq5+Tygn8hhV8dYa6p0IMKZHygBPRpP12ZY WbwgtcGCWoFog0+TPXzhFKeVT5Tem29Urkn5jA7DYKmFZ3MSpqsgLyHxie7H4dZanpIClCWQ j/UcNCPXO5JYyaPKOdglCYFXP6vUdwPzxar4RT30bVqaOPJ5iAItJ/5/NR75OyVmRx6tQd5F cuQm0iQU2xkn24SBmxllJtjqFBwnw/QmZNzhOZVQIQ7D5JhVw47McSZ1OlmE5XoXQmHeN6VS VGgS9HgADcrT9t3zcVdK11lFYCEiRbOlzGvH6dTj6aCUYc56K3RmXHsO8ttynvc/KUvjFhgT sYcfXa+iPtH/hPIT5XMj13fkq+rcaoG2yuY72qZwmfItVxEXR5xXL/tUX4cZw3aoIex/VvMG pmpD7lvKQ5d0YiCJ69NP8XulklDTez/Nc72Z2Sv3jbpXEbVgKiGKobkeGRb0Ci15FEstQcV8 D7GMAE/An3kuGfCFHl0ElmpZUrw8O54oXf9T0kuzgjMYVczn7yysgUYg/CRUZZxlvoNpTshp jNoHV28w8OeCtyOoBBkdbldZtV16UlO1GbQvQhwdpK6KKUqilkbegVx90Tgsnc/Qp5Ni8cn6 no30AdiKK+C+F9PdDLe0Z2xcrzbJ2/u/Qy+PrbM0wK7sp7e8aMO5fIk7lT76VjySgxzrTM+g oATiivBtfCoREIIXJn8U1g67U1/rrDeOGwm4p/MkGdrOu+yuyPD3NQgAK0kzAyhdpFRKvDhd ke6HssECsypMOFvlUKua0dOJ+1I+6NyNt66euuH1bSDMOhjnXSqgC4UheI1mlLJ7Cd6RuPSi twezuuX002OSivxnFasqOj7l4NFIz0fVDnaq2CsFMtaYat8epwOAGGlLpisx9lwsJXqXmZR6 F+pA15uNNaBQROJdBS92ARR0R5Sunm7gW6iyDcylTg1r62Z1SiIwuL4dRNBNHQZDGVliF7tJ 8CzgbV4FACzYhImmV2s+Fr316lWvoxzIWrSB0tFNyT7NGBtVKKsu6HKOpUTrsJ293wGCaLlM Q3SQ6W1uxYA1iL/A2ZSoVJzPyqnvJn0hV0yiW6QKmpysGuMfMhxwRnF49mPDfVV3zcAWGx5k WyOXQT6bofvpITN0c6T77PbNSrpTJBYfCj1wJnVsSK64TcvGhijh7WpndahFwEm0Cj93t0sV CPSrR+6bJO4ssbyee9hYERsA0fxrsRgHYQr2JA9np4dn3EHmpiF/HcduWv9MtQd1a+0Px9vD XYbhsXY5gTowhgpNX+TyI+/X2iBz9tgasOSbm0V22Qx4ooZbcXcpKwBlixzrF2iqAvXavUoh TYRx8wl73sCiv0Isg4gnW2NR6ofFk5CMWnwhgyFupqg+b5Paj/lIt3SnAJu2MqsB7aYrkRAV WblL908SDRo4Jw3NUKE0WWvuNi/JJ+BM5RK50TSyked6oodYJMpyqhT3nYhaDy75Cx8jbdr0 lRvxc3o5dPebT8xouTgU0MebHX0f59Bo2q0y/wCwIDPhdjpRM85f1dDFJK6SPupFD0N7LL6M QfLEzl6pnrTGLzUGRKT5RV9t3yJC4qsK3ycOHgey5NlWQWZI0tcxgsTWX0sl5o9XGhG3eTHd 0F0rnAU71/88F5Xz/5wcgP4WSHZrRupbTE9TN6eKgBX50dM/RWdN8vW9e91EyxCm//p5AWQN myWYRhJBmAVSwSFAV7kJLyn+djH9aCRGOO/K/LEZbjGp/ZZUr+Ewpem040u+DjpVI3HJn55E /gywVZOR1h9HdqcymxWG3FRjCiLY8CYpVGw92w/r8yy9ujqRBO65YaLDOg3U50n8BS3jKGfc u+I0X8idXAJiNVVlCaOkehCjztww2l0ejKgEKoNr3vIRaPUwOpMCgIDLjl0P41O5r492Q9EP YjajMn03/h2lK1QaR8NWFr/l8WufcFPLXu6MQaNH0uRO7nALCDXztH2bLmURbNTjaNYulfj3 FTTW1+mJTmFmzTzAlq3NvpQiSiAIBFEkIW7bFM8UDGzEZT9YFu3Ptx2yzE7i+5R5DuCJSsXN j5ydFlIp7ub4HZDg/lxLGdG62JsMeiOnyvxBwbwJpgVsL1nD3Yt/wq7yHA81f4EtXgUGbpuk m3eoN1v5V2rwLHnIt9PXBRNq3BHidDT1Xg=
Ironport-sdr: 64cd0b1c_uKCmAirgEUs7Alcdrl6troHjQXUWkoJwdSjv7e3ZujKxzNT KS4HZQRo3xRzlR/id2ZkHaPxOHPvV2n9AWWxCow==

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

[Coq-Club] CICM 2023 - Call for Participation, Serge Autexier, 08/04/2023