Skip to Content.
Sympa Menu

coq-club - [Coq-Club] 2nd Call for Papers, Conference on Intelligent Computer Mathematics (CICM 2023)

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] 2nd Call for Papers, Conference on Intelligent Computer Mathematics (CICM 2023)


Chronological Thread 
  • From: serge.autexier AT dfki.de (Serge Autexier)
  • To: coq-club AT inria.fr
  • Cc: serge.autexier AT dfki.de
  • Subject: [Coq-Club] 2nd Call for Papers, Conference on Intelligent Computer Mathematics (CICM 2023)
  • Date: Sun, 19 Feb 2023 12:17:11 +0100 (CET)
  • Authentication-results: mail3-smtp-sop.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:78odu6tnaIMxiXmf2xUeqB1h2ufnVG1aMUV32f8akzHdYApBsoF/q tZmKWiAPP+NMWb1L4hya9izph5QsMLSx9BkTgFtqC9jRC0TgMeUXt7xwmXYb3rDdJWbJK5Ex 5xDMYeYdJhcolv0/ErF3m3J9CEkvU2wbuOgTrSCY0idfCc8IA85kxVvhuUltYBhhNm9Emult Mj7yyHlEAbNNwVcbyRFtMpvlDs15K6p4GlB7wRnDRx2lAa2e0c9XMp3yZ6ZdCOQrrl8RoaSW +vFxbelyWLVlz9F5gSNz94X2mVTKlLjFVDmZkh+A8BOsTAezsAG6ZvXAdJHAathZ5plqPgqo DlFncTYpQ7EpcQgksxFO/VTO3kW0aGrZNYriJVw2CCe5xSuTpfi/xlhJG0kNKAY1/QpOkcU2 9k/cC8mUBexq9vjldpXSsE07igiBM3tIsZO4ygwkHfCB7AqT5PCBanHjTNa9G5r2oYfQ7CHN pNfMGoyBPjDS0Un1lM/E58kk+ruj2Tjfi1ZpUi9qaQ04i7fwWSd1ZCxYIONI43bG625mG66m nP01UTJDCojd+2twh+u6GD1idPAyHaTtIU6TuTjr6U60TV/3Fc7AxoPEFC/vPORkV+7Q9sZK koO+yNoo7JayaCwZt37QVjp+SfU41gHUZxcHe47rg2AokbJ3+qHLkQWRxNBRc54j+lsaxkNj kCiodTbKQU65dV5Vkmh3ruTqDqzPw0cImkDeTIIQGM5Dz/L/NhbYvXnFYYLLUKlsjHmMW2hm Wrb90DSk51N3J9ai81X6Hid21qRSo71ohkdyii/soiN1QpwfoS/zFij6lXdhRqrBNjHFwPa1 JTos/OX5foKBJeB/BFhrc0JGq/stq/cYGCamlQpE5ci9nKh9hZPnLy8Ahkgey+F0e5dJ1cFh XM/XysKtPe/21PxN8dKj3qZUZhC8EQZPY2NugroRtRPeINtUwSM4TtjY0Wdt0i0zhdyzv1iY c3FLJb3ZZr/NUiB5GTqLwv6+eF2rh3SOUuJHsCTI+mPjurFOSXEE9/pznPXM7hgsctoXzk5A /4FbpDTkEUOOAEPSiXa7JIIJlAHNjA1AortoMxKcOGYJAd6Cgkc5wz5ntscl3het/0NzI/gp yjtMmcFlgaXrSCZeG2iNCs5AJuxBskXkJ7OFXBwVbpe8yN5OtfHAWZ2X8dfQITLA8Q6lqYoE 6RcIpXaahmNIxyekwkggVDGhNQKXHyWacimZkJJuRBvIMYydB+D4dL+YArk+Q8HCyf954N0o KSt2kmfCdAPThhrRpSeIv++7UKDjV5EksJLXmzMPoZyfmfo+9NUMCDftKI8DPwNDhTh/QGk8 TiqLy0Wn9SQnL9twuL13fiFi6yLD9pBGlFrGjiHzLSuagjf0GmR4a5Bd+eqfgLYSHvQ/Z+mR ORKzsPTNO8Ms0ZKvrFdTZdq7/MazPn+q4BKyj9LGC3wUG2qLbd7M1+63cVrnY9c9I9z4AeZd BqGxYhHBO+vJsjgLm80GCMkSeayjdcvhTjY6KUOEnXQvSNY0uKObhRPAkOqlidYEbpSNbEly 8cHvOo9yVS2qjguA+a8ohFkzUa+BV1ebPx/rbAfOpHhtSQzwFIbYZD8ND7/0KvSV/pyaHsVM h2mr4ucoYQE3UfTUWsBJV6U18pnuJk+khRrzlgDGle3puT4lsIHhB18zDBmYTlWnzNm0v1yM FdFL0daB7uD1BY2idlhX1KDIRBgBhqYyGPD0VIyyW7rdGizd2n3NGZmE/28zEMY1GN9fzZg4 7CTzlj+YwvqZM3c2igTW1Zvjv7eEexK6QzJnf64E/S/H5UVZSTvhomsbzEqryTLLNwQhkqdg 8VX58d1NLPGMBAPr50BC4W10aoaTDaGLjdgRdBj5KY4InHOSgqt2DShK1GDRe0VHqbkqXSHM s1JIt5Dcz+c1yzU9zASOvMqEo9OxfUs4IIPR6PvKWs4qICglztOsqyB0gjlhWQufcdirtZlF KPVaAC5MzKxgVl6pjbzifdqa0uCXMk8RQzj3eqK3v0DOLAdvcpNL0wj8LuGkE+EEQlg/hi74 VnnW6zG6tBtkKBquYrIF59GDl+3NOHcaeWs2yKwuuRoctngH5rvtQQUi1+/JCVQH+IbdOpWn IS3kuzc/R36rpMpdWHGir+9F6Vtzuejbtp9a87YAiFTonqfZZXK/RAGxVGdFbVIt9Fsvu+cW AqybZqLR+4/Atty6iVcVHlDLkw7Fa/yU6bHoBG9pdSqDjw281TODPGjxE/TQVBrTA06ELygN VasoNer3M5Sk6pUDhxdB/1GPY5xEGW+ZYQYLe/OpRuqJUj2pGPbtrXbwE9qrXmBD3SfC8/17 K7UXhW0Jlz4pKjMy8ofqIBo+AEeCHFmm+QrY0YB4JhMhiunCHIdZ/EoWXnc5kq4TgSpvH05W N3MUIfmISH7Q3EVKEysvZL4VEGTCO8PfNv0TtDsE4V4dA/ubL5swpM4nsuj35uyUjftz+DhJ dx2FrjYIE2q2p8wLQoMzqXTvAqkr882AloE90P81cD/a/rb7XPmy1Q5dDdwuef7/w0hWakFy aXZhYyJfa1jdXPMLA==
  • Ironport-hdrordr: A9a23:iB+7ZaGnlnIFUWjZpLqE9ceALOsnbusQ8zAXPo5KOH5om62j5q OTdZsgpHvJYVoqKRYdcK67Scy9qBrnnPYfjOV/U4tKNzOHhILHFuBfBFTZqQHdJw==
  • Ironport-phdr: A9a23:gdATNBOUGc28P/AGOjkl6nblBxdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDv6gr1QCSFt+Ao9t/yMPo8InYEVQa5piAtH1QOLdtbDQizfssogo7HcSeAlf6JvO5JwYzH cBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1JuPoEYLOksi7ze+/94PTbglSmTawY71/I BqooQjfq8IbnZZsJqEtxxTGpXdFZ/5Yzn5yK1KJmBb86Maw/Jp9/ClVpvks6c1OX7jkcqohV bBXAygoPG4z5M3wqBnMVhCP6WcGUmUXiRVHHQ7I5wznU5jrsyv6su192DSGPcDzULs5Vyiu4 7ttRRT1jioMKjw3/3zNisFokqxVvQ6uqgJ8zYDaYI+YL+Z+cr/Bcd8GWWZNQsRcWipcCY28d YsPCO8BMP5Dr4bjvVsOogWxCRO2C+Py1j9HmHD33awk3OQ7CgzJwQIgH9EPsHjOsdr6KroZX eSowqbW1zXDYO1Z0irh5YjVbhAuv/6NXbNufsrLzEUiER7OgVqMp4L/JTyVyvgNvHaB7+pmT e+ihW4pphxtrzahyckihIbHiI0Wx13H6yl13Ic4KN+8RUN7fNKpE59duiGUOoZqX88vQG5mt iY5x7AFpJK3YjUGxZI6zBDRbPyHdpKH4hPlVOuJPTh4hW5qeLemixmu9kigzOP8Wdeu0FlUq CpKjsfDumoK1xzJ5ciLUuVy8V262TePyw/T6vtLIUEulabBLJ4h2LEwmoIIsUTbBC/2mUP2j KCIeUU+4OSn9+PnYrDgq5SBNIF0khnzPrkgl8GwG+g1NgkDU3KG9em4ybHv51D1TbZKg/Euk KTUsorWKdkHqqKjHgNY3YUu5wy/Aju61tkTgGMJI0hfeB2diojkI1HOL+78Dfe4m1mslDFrx +7fMrDlH5nBM3vOnbf7cbZm8EFQ0hc8zd5c55JVEL0OPez8VlfwtNzeEBA5LxS5z/vpBdhyz I8TXWOCDrWEPK7WrFOE/P8jLuqMaYMNvTbyMfkl5/rgjX8jnl8deLGk3YAJZ3CiEfRpPV+Vb mDxgtcdD2gLsQs+Q/LwiFCZTDFTaXWyX6Mm6j4mFo2qFYHDSZu1j7ybwCi7BoFWZnxBCl2UD Hvkb5+EVOsUaCKOPs9hlSQJWqSmS484zB2hqAv6y6d8IefP4S0ZtZfj1MBv6OHJlBEy8yZ0D 8WH3G2XQWF0hDBAezhj16dm5Ed5112r0K5igvUeG8YAyelOV1IhOITTwqpzFsz/SgPMZP+FR lWnBNmrSXEKQ8g+zpcnflpwC9SvlFGQjGKRH7YJmunTV9QP+aXG0i2pTy4c43PP1a16ykIjX tMKLmq+wKh26wnUAYfN1USfjaejM6oGj2bW7GnW622IsQlDVRJoF73fVCUEa1HZoJLw+1/PX 76jE5wrPAhAj8KPeeNRctO8tVxdX7/4PcjGJWe4mmO+HxGNk6iBdoXnPWwAwCjNCUUeuwwd/ nfAOQVtTjy5rTf4CzpjXUnqf1uq8eR6ryajSVQoygiRc0B7/76z5FtE3KXMFrUI1PQItiQg7 Tl5dLqk9/TRDdfI5w9ofaEHJMg4/E8CzmXB8Qp0Ip2nKalmwF8YaQV++U30hV1xDc1bnM4mo WlPrkI6IL+E0F5HazKT3IzhcrzRJG7o+RmzaqnQkljA2deS860L5bw2sVLm9A2uE0Mj9T1g3 bw3mzOH64/FAUwbTI78Qkc67TB2qbLbJCUwpsvV2XBqLaioo2rawdt6YYltgh2kftpZLOaFD FqrSJFcVpbocb1z3QH5M0FhXqga7qM/MsK4euHT3aeqOL0lhze6lSFc55g71EuQ9i16Q+qO3 pAfwvje0BHUMlW0xFqnrM3znphJID8IGW/qgzPpHoFcIKRvYYsbCGq0C8G5xdQ4i5OnCBs6v BazQkgL3sOkY0/YdFHn0gAW3FkLrGymlDGQwzJ3knclo+DMuU6Gi/Snfx0BNGlRQWBkhlq5O om4gecRW02wZhQonh+ojarj75BSv783b2zaQEMTOjPzM3knSayo8LyLf89I7pos9yRRSuW1J 16AGPbxpB4T0iWrGGU7pnhzbDywtZi/lgFmhXKcIWxboHTaeId8yF/T6cfdSvhYwjcdDHAj1 X+GWB7lboDvpIXJ357Y+vizTWegSoFefUyJhcubuS236HcrSRyzkvavm8H2RA0z0Cv1zd5vB m3DqBfxZJWu1rzvaLk7OBg2QgatsowjStwt9+l4zIsd0nUbmJiPqH8OkGOodM5exbq7d30VA zgC39/S5gHhnkxlNHOAgYzjBRD/ioNsYce3ZmQO12cz9cdPXe2P4aZLkG18v0a1vQPce9Bxk DQcj/cjoi1/4alBqE82wyORD6pHV1JVJyPh0R2V892urahNTGqhcrn22Ec0zrXDRPmS5wpbX nj+YJIrGyR9u95+PFz723r28oj4edPUYIFbpliOnhzHleQQNIMpm69Am398IWyk9y5AqaZzn Vl00Jq9poTCN2h94PfzHEtDLjOsL8YDsjD10fQHxZrQjt7pR8Q4XGxbAf6KBbqpCG5A7K+7c VfQVmRt8zHCSeWXHBfDuh499jSVT87tbiDKYiNRzM0+FkDGfQoF3F5SBW9i2MRjTmXIjIToI kJw5zQe+Qe+tx1Nj+FscRXyGmbZrwO1ZjpmU4CRagJM6R1P7FvUNsrY6f9vGyZf/duqqwnFP GWfY04g4XghfEuCChijO7Cv4YKF6O2EHq+lKOOIZ7ySqOtYXvPOxJS104Ig8SzefsOIdmJvC fE2wC8hFThwBtjZljMTSicWizOFbsiVow258zF2qcb3+eriWQbm74+CQ7VINtAn9xeziKaFf +me4UQxYS5fzY8JzGTUxaI32FgMznA3LmnwV68K8yLDT6OWlqIWRx8XZiVvNddZuqIx2g4eX KyTwtjx17N+krs0EwIcDgCny5/vPJ1TZTjtaQCiZg7DLrmNKDzVztuiZKq9TeYVl+BIr1irv i7dFUb/PzOFnj2vVha1MOgKgjvIWX4W8Iy7bBtpDnDuCdz8bRjuesR6lzI7h7Qpmn7aNGMGG TRycEILorDavkY6yr1vXndM6HZoN7zOgyGC8+zRMYobq9NvBDoxxrsDsCl80LET4C9HRbp5l WGBy7wm60Hjme6JxD19VRNIoTsen4OHs3JpPqDB/4VBU3LJlPrsxWGWFVFb/oI1V5v0seZcx NvO0q7+em8qGz388cUfBo7YJZDeWJLEGRbnGz+SAAZXFVaW
  • Ironport-sdr: 63f20538_BCoEMQRVNYdbu9PyHM75QG818PFBKkf95eukGZuQq8gLpvl 2IKaFw59XrGx16hl6Jw4JXnYJeHSgx9eUMJQ5Fw==


Second Call for Papers
formal papers - doctoral programme

16th Conference on Intelligent Computer Mathematics
- CICM 2023 -
4–8 September 2023
Emmanuel College, Cambridge, UK (hybrid event)
http://www.cicm-conference.org/2023

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

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.


*** CICM 2023 Invited Speakers ***

- Mateja Jamnik: TBA
- Lawrence C. Paulson: Large-Scale Formal Proof for the Working
Mathematician - Lessons learnt from the Alexandria Project
- Martina Seidl: Never trust your solver: Certificates for SAT and QBF


*** CICM 2023 Programme committee ***

- Jesús Aransay (Universidad de La Rioja, Spain)
- Mauricio Ayala-Rincon (Universidade de Brasilía, Brazil)
- Haniel Barbosa (Universidade Federal de Minas Gerais, Brazil)
- Jasmin Blanchette (Vrije Universiteit Amsterdam, The Netherlands)
- Kevin Buzzard (Imperial College, UK)
- Isabela Drãmnesc (West University of Timişoara, Romania)
- Catherine Dubois (ENSIIE, Evry-Courcouronnes, France) [Co-Chair]
- Mădălina Eraşcu (West University of Timişoara, Romania)
- William Farmer (McMaster University, Canada)
- John Harrison (Amazon Web Services)
- Tetsuo Ida (University of Tsukuba, Japan)
- Moa Johansson (Chalmers University of Technology, Sweden)
- Fairouz Kamareddine (Heriot-Watt University, UK)
- Daniela Kaufmann (TU Wien, Austria)
- Manfred Kerber (University of Birmingham, UK) [Co-Chair]
- Peter Koepke (University of Bonn, Germany)
- Michael Kohlhase (FAU Erlangen-Nürnberg, Germany)
- Angeliki Koutsoukou-Argyraki (University of Cambridge, UK)
- Temur Kutsia (RISC, Johannes Kepler University Linz, Austria)
- Micaela Mayero (Institut Galilée, Université Paris Nord, France)
- Bruce R. Miller (NIST, USA)
- Adam Naumowicz (University of Białystok, Poland)
- Claudio Sacerdoti-Cohen (University of Bologna, Italy)
- Sofiène Tahar (Concordia University, Canada)
- Olaf Teschke (FIZ Karlsruhe, Germany)
- Josef Urban (Czech Technical University, Czech Republic)
- Stephen M. Watt (University of Waterloo, Canada)
- Freek Wiedijk (Radboud University, The Netherlands)
- Wolfgang Windsteiger (RISC, Johannes Kepler University Linz, Austria)
- Abdou Youssef (The George Washington University, USA)


*** SUBMISSIONS ***

CICM 2023 invites submissions in 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 appreciates the varying nature of the relevant research in this
area and invites submissions of different forms.

Formal submissions will be reviewed rigorously and accepted papers
will be published in a formal way:

- regular papers (up to 15 pages including references) present novel
research results
- project and survey papers (up to 15 pages + bibliography) summarize
existing results
- system and dataset descriptions (up to 5 pages including references)
present digital artifacts
- system entry (1 page according to the given LaTeX template) provides
metadata and a quick overview of a new tool or a new release of an
existing tool

Participants of CICM benefit a lot from the exchange with colleagues.
In order to foster this we will provide at the conference an
opportunity to make informal presentations (using posters or laptops)
of work-in-progress, project announcements, position statements, and
system demonstrations. Authors of system and dataset descriptions and
system entries are strongly encouraged to take up this opportunity and
give interested colleagues an in depth impression of their work.


*** Doctoral Programme ***

PhD students are invited to participate in the doctoral programme,
which provides them with a forum to present early results and receive
constructive feedback and mentoring. To attend, submit a two-page
abstract of the thesis describing the research questions, research
plans, completed and remaining research, evaluation plans and
publication plans; a two-page CV that includes background information
(name, university, supervisor), education (degree sought, year/status
of degree, previous degrees), employments, relevant research
experience (publications, presentations, attended conferences or
workshops, etc).


*** Participation / Hybrid Event ***

CICM 2023 will be held as an hybrid event, participation is possible
online or on-site. Authors of accepted papers can choose to present
online or on-site, but at least one author needs to register for the
conference.


*** Important Dates ***

- Abstract deadline: 27 March 2023
- Full paper deadline: 3 April 2023
- Reviews sent to authors: 2 May 2023
- Rebuttals due: 6 May 2023
- Notification of acceptance: 13 May 2023
- Camera-ready copies due: 5 June 2023
- Conference: 4–8 September 2023


Submissions to the doctoral programme

- Submission deadline: 30 June 2023
- Notification of acceptance: 14 July 2023


All submissions should be made via EasyChair at

https://easychair.org/conferences/?conf=cicm2023


CICM 2023 will have proceedings in form of a volume in the Springer
LNAI series, using the LNCS style.

For the LNCS style files, see:


https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines



  • [Coq-Club] 2nd Call for Papers, Conference on Intelligent Computer Mathematics (CICM 2023), Serge Autexier, 02/19/2023

Archive powered by MHonArc 2.6.19+.

Top of Page