coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Second Call for Submissions to the Doctoral Program - 17th Conference on Intelligent Computer Mathematics - CICM 2024 - Extended Deadline: June 20, 2024

From: serge.autexier AT dfki.de (Serge Autexier)
To: coq-club AT inria.fr
Cc: serge.autexier AT dfki.de
Subject: [Coq-Club] Second Call for Submissions to the Doctoral Program - 17th Conference on Intelligent Computer Mathematics - CICM 2024 - Extended Deadline: June 20, 2024
Date: Mon, 10 Jun 2024 18:07:17 +0200 (CEST)
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:X2wfC6qxBitDBJSqP5vljyadqoleBmL7YRIvgKrLsJaIsI4StFCzt garIBmOOqrfZzPwedh+OtmwpB5XsJ/czoJkG1Nl/HwzFX4bouPIVI+TRqvSF3PLf5ebFCqLz O1HN4KedJhsJpP4jk3wWlQ0hSAkjclkfpKlVKiefHoZqTZMEE8JkQhkl/MynrlmiN24BxLlk d7pqqUzAnf8s9JPGjxSs/LrRC9H5qyo5GtG5wRmPJingXeH/5UrJMJHTU2OByCgKmVkNrbSb /rOyri/4lTY838FYj9yuuuTnuUiG9Y+DCDW4pZkc/DKbitq+kTe5p0G2M80Mi+7vdkmc+dZk 72hvbToIesg0zaldO41C3G0GAkmVUFKFSOuzdFSfqV/wmWfG0YAzcmCA2kEeo018ftUKFsVr /0SBA1Qa03fhLyplefTpulE3qzPLeHvOp1a6yg5nWyfFvxgTZ7AQuPG6Le03h9p3ZwITKiYP ptAL2M/MXwsYDUXUrsTIIkzhuilwHDibzBIqV+PjaY54GmVwAEZPL3FYIuOI4TQHJ09ckCw4 TPP/1vkDg0gBuOn2BC9tU+UgqzygnauMG4VPOblr6A33Qb7KnYoIBYRTB6wpeSzolWvXspWb U0S4Csn66YonHFHVfH5WQP98Sfd7kNaQNAWH+M56UeBx8I4/jp1GEA2CT5sY8EFnfVtHz0g+ mLUmo61BmJw5ej9pW2myp+Yqja7OC4wJGAEZDMZQQZt3zUFiNpt5v4oZoo4eJNZnuHI9SfML yeigAVWuln+pcoNyeDqpAmX3nS3rN7FQA00oAnaNo5E0u+bTNH+D2BLwQGFhRqlEGp/ZgLd1 JTjs5THhN3i9bnXyESwrBwlRdlFHcqtPjzGmkJIFJI87Tmr8HPLVdkPuW4veRg5bJdbIGOBj KrvVeV5uMA70JyCMPYfXm5NI51ypUQdPYq7C66MBjawSsMrL2drAx2ClWbLgjmzzRV3+U3OE YqdcNihF20bFa1q0HK6SvxVyrYi3CQ3w2/eXtjgxh2926CDaXWWRLFtDbd9Rr1R0U9wmy2Mq 4w3H5LTk313CbSuCgGJqtR7BQ5RchAG6WXe9pY/mhireFQ2QQnMypb5nNscRmCSt/4IzrqUo SnmAR8wJZiWrSSvFDhmo0tLMNvHNauTZ1pgVcD1FQf2hSoQcsy04b0BdpA6W7Ai+aYxhbR3V vQJMYHISPhGVj2NqXxXYIjfvb5SUk2hpTuPGC65Pxk5XZprHDLS9vHeIwDAySgpDwiMj/UYn YGO7A3hfMc8d1xQN/qOMPOL5HGtjEcZg9N3DhfpIMEMWUDC87pKCi3Wj900EcQQMTHG/D+71 hmXMzgct+Lis484y/iXpKGm/qOCMfpyIVpeJEbftY2JDCj9+nGy57NAXMKjXyHvZEmt9IqMP exqnuzBatsZl1N0gq9AOrdMz5NmweDwprVfnz9WLF+SY3uFUrpfc2S7h+9Rvahwx5hciwu8e mSL3vJ4YbypGsfUIGQ9FTofTNao9K8rw2HJzPEPPk/Fyjd9/+OHXWVsLhC8snFhA4UvArw14 9UKmZAw0BO+uCoII9zdryFz9kawFFIifZgjlKknBN7MtlJ25HBEOYfRGw3n0qGpMt9sCHQnE hWQpajFholf+Hb8TmoOJSDN89Zw1ZUqkzJW/WAGPGWMy4bkhOdo/Rh/8gYXbwVyzzdc2eRCJ k9XGl1SCZiT9G1JmfpsbXqlIFxCNia44W308UMCz0fCfnmrV0vMDWwzAvmM90Yn6FBhfiBX0 bWb6WT9WxP4VZvV8gprfmA9sN3lb9h61jOaqfCdB87fQqULO2v0sJGhdU8jikXBA/pooGblu OMz3uJ7SZOjBB4qu6dhVrWrj+UBeiulel5Hb+pqpp4SPGfmfzq35ziCBmaxdu5JJN3I6UWIM NNvFO0eSyWB0DuykR5DCZ4uO7NUmNsb1OgGcJ7vJk8EtOK7hRhtu5Ty6CP/pTEKR/NDrMUDE b7SJgmySjGouXhpmmH2vJZlPEi8aoI6fwHS5r2+39gIMJMhi9tSV38O/IG6hFivCzs/zSmo5 FvCQ4T0091dzZ9dmtqwM6dbWCSxB9DBdMWJ1wGRsOZLccvrNP3KlgIKq2vIOxZdEqsRVu9Wy 5WMko/T92HUsIkmV1v2n8G6KJBIwsGpTcxrMs7TB1tLrxuoAcPDzUMKxDGlFMZvjthY2PiCe yK5T8mBLfguRNZXwSxuWRh0ShoyJfz+Ufb9mHmbsf+JNxk61D7HJvOB8VvCTzlSVg0MCq3EJ j7EgdSczfEGk90UHz4BPe9sPLFgKly6WacGScz4hQPFMkaW2GG9qpnQvjt+zwrUC0u0Mtfwu rPEYRncSC6cmo/1yPNhjogjmSFPUVhch7A8cHtIrpQyw3q/AXUdJOsQDYQeB9sG2mbu3ZX/f 3fWYHFkFSz5Wi9efA7h5Mj4GD2SHfEKJsyzMwlBE5l4sMtqLNjo7HpdGiZcD7Nefj39ibD+c IFDvGb6eBS/wZAvSet7CjlXRwt47quy+57K0RmVfw/O79I2DbsJ1TptEWKhkATZRtrVmhyjy XcdHAh5rYLSdaI1OcpueH8TFBxxUPYDCdk3RX/n/eszcLl3AAGNJDMT9g0zPnA+gBw2GYMz
Ironport-hdrordr: A9a23:OsSuJaiGeUbZP8HZ6J6GJbLJRHBQXscji2hC6mlwRA09TyVXrb HNoB17726WtN9/YgBFpTntAtjmfZqjz+8R3WB5B97LN2SL1wWVxepZjbcKrQeAJ8QgzIRg6Z s=
Ironport-phdr: A9a23:byaCPxNkjU7kHwgRyxUl6nYJBxdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDv6Qr1waRFtSGo9t/yMPo8InYGlY8qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpV O5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1Ov71GonPhMiryuy+4ZLebxtMiTanb75+M Qm6oQrVu8QWnIBvNrs/xhzVr3RHfOhb2XlmKVWPkRji+8y+5oRj8yNeu/Ig885PT6D3dLkmQ LJbETorLXk76NXkuhffQwSP4GAcUngNnRpTHwfF9hD6UYzvvSb8q+FwxTOVPczyTbAzRDSi8 6JmQwLmhSsbKzI09nzch8pth6xZvR2hvQRyzZDJbo6JKvdwfa3Tc9MBSGpdQspdSzBNDp+gY 4YNCecKIOZWr5P6p1sLtRa+HhejBPngyjBWnHP5x7A60/g/HgDJ3QwvAcgOvW/Jo9X7N6cSU Pq5w7TWwj7ea/9YxCny6JLHch8/vPqBQa9wcdbPxkggFgPKkE+QpYnjMjiI2esDr3KV4PB8V eKzlWEnsQdxryCty8kijoTEh58ZxF/F+Ch3wIs7K8G1RVB1bNK6EJZcqyCXOpZ3T84/Xmxkp Do2x7MItJO0YSUH1ogqyhDBZvCbdYWD/xztVOGUIThihXJlfqqyiAqz8Ue8z+3wT9W70FFMr ipLjNbMrG4C1xrP5ceZUPd9+V2h2TmX2w/N8O5EOkA1mrbbK5E7w74wjIAfsUPZHi/5nkj9k ayYdl089+S15enqba/qq5udOoNulw3zNrkiltaiDek7MgUCR3WX9Oqz2bH54EH1XKtGgucon qXFv53WP9kXq6+9DgJTz40u9RK/Dyq90NQEg3YHNk9LeBOGjof3I1zCPPb1BuqljVu2ijdk3 fXGM6XhAprTKnjDl6/sfbJ7605C0QY+yc1T649XB7wBOv7zQVT+uMbFAR83MAy0wvzrB8hj2 Y8GWGKPBLGWML/KvFOV6O8iLPOAaYsUtTrnNvQo4+PigWUklVIefaSlxZ4XZ2q5HvRiLUWZe 33sgtIZHGcRoAU+VuPqh0OYXTFJenayQ7wz5z46CI24F4fOXZ2igLKC3Ce6BJFZe35JBkiKE Xjzb4qEQesDaDqOIs99lTwJTaWtR5c71R6yrA/616ZnLu3M9yIEspLjzcF56PHXlREv7jN5F N+d0mGIT2FshGwEXT423KZloUx80FiPy6Z4g+YLXeBUsvhOS0IxMYPW5+18EdH7HAzbLfmTT 1PzWdi8Djx3R88tzs8PblxVF9uhj1bP0mLqOLIPmLHDLYEo/7Ld0mKwdJU18GrPyKR01wpue cBIL2Dz3saXliDWDo/NyACCkrqyML8bxGjL/XuCymyHuAdZVhRxWOPLRyNXfVPY+PL+4E6KV LqyEfI/KAIU0sOYJaYMY8D1gEVHSe3LNNrdYiS9ljT4Hg6Gk4uFd5GiYGABxGPYAUkAnRoU+ COdOBIxC2Govn7THD1jD3rjbUDtt+Vz+zugVkFh6QaMYgV60qatvB4YgfvJU/QIwrcNozsss R1wGkj4jouPW4fGvAAncKtfYJUx7T+rzEr/sApwdtylJqFm3RsFdhhv+ljpz1NxA5lBls4jq DUryhBzIOSWygEJcTTQxp32NrDNTwu6tBmyd67b3E3f29eK6+8O7vo/sVDqoACuEAIr7Xxm1 9Bf13bU6I/NCUIeVpf4U0B/8BYfxfmSeSQn6I6S3GBwPLm1vyXq19wqBa0px1fofttSNr+FC B6nC9cTVK3MYKQhn1mkaA5BPfgHrfVoeZL4MaLXgejybLsz+VDuxX5K6418zE+Woi91S+qTm o0A3+ndxQyfETH1kFamtMnz34FCfzAbWGSlmk2GTMZcYLN/eYETBCKgOcqyk59lioTiVjhR6 UKuF1ILwueldxmTKVDwl141twxfsTm8lC20wiYh2SoktKWSmiXT3+nydRcdEmJFR2gkgVqmc u3Wx5gKGUOvaQYujh6s4033krNaqKpIJG7WWU5UfiLyIgmOS4OIv6GZK45K4ZIs6mBMVfikJ EudUvj7qgcb1CXqGy1fwio6fnekoMexkxt/gWObZHF9yRiRMdp93xjSotXBWfNB3zccbCV2i jiRClX0M9Sy/NqSnovOqajnDD7nB8MVKHiyi9rQ6WOy/iVyDAe6nuyvl9GCc0ByyiL929RwF G3JoBv6foj3xvG/OONjcFNvAQy04M57F4di14oo0chLhT5L2NPMrCNByDeuYrA5kerkYXEAR CAG2YvQ6Qnhgwh4K26Rgpn+TjOby9dgYN+zZiUX3Dg85oZEEvTxjvQMkC1rr16/tQ+Ub+J6m 2JX0vY053NcivwVtRoswz+1Dr4RHA9UMGa/8nbAp8D7t6hRaGu1JPKr2VBxkJaoEa2PsgBRQ l71dJQjWyN9pJYaUhqEwDj47Yfqf8PVZNQYu0iPkhvOuONSLYo4ivsAgSc0cXK4p3AuzPQ3y AB/xZzv9pbSMH1jpejqZ3wQfi2wfc4Y/SvhyLpTjtrDlZ76BY1vQ30KRMe6FKn0VmNM8622b kDXQGF0q2/HS+OEQUnOtgE//iuJSsD2UhPfbHgBkYc7H0XbdRIZ2VFNGmxqwdY4Dlz4nZe9N hYnoGlAvxih9EEEy/o0ZUCkDiGO+kHxO25yEcjESXgephdL40OfWSCHxsR0GSwQvpiorQjWb 3eeexwNFmYRHEqNG1HkOLCqo9jG6emRQOSkfbPIZv2VpOpSWu3tp9rn25Z6/zuKKsSEP2VzR /w91E1ZWHllGsPf0zwRQi0TnijJYoaVvhC5siFwq8m+9rzsVmeNrcOXDKBONNx05x2sqaOFK avB3X8pdHBD3NUAy3zJjrQSnRYThyxoazixAOEAuCrKH8ey0udcCx8WbT82NdMdtvlgmFgTf 5eK05WshuMr65x9Q01IXlHghMyzMMkDImXmcUjCGF7OL7OeYzvC38DwZ6q4D7xWluRd8ROq6 lP5WwfuOCqOkz7xWlWhK+ZJ2WuAMQZRtce0bwpgGWnuVvrqZB66dtN6x25To/V8ljbROGgQP CIpOVtKtaGV5DhEj+9XH2pfqys8dLnZ3T2TqeXWKZdQvfYhUUEW36pKpX89zbVS9iRNQvd4z TDTotBZqFajiuCTyzBjXXKmTx5HioGK+0lva/2xHnhoXXDauUNUtDXNTQ8A4ddrCdypt60Ck rAne4r/JjRDtd7Zr5J0Og==
Ironport-sdr: 666724b6_q5BFs65MSMazRXIH/0y7Rqt0r3g93OFGsDPuAQhHRNAuCfh +kbZwwmQJmNtqyrZmU7nItayclQ0okOPODGDMtw==

===============================================================================

Second Call for Submissions to the Doctoral Programme

17th Conference on Intelligent Computer Mathematics
- CICM 2024 -
August 5-9, 2024
Concordia University, Montreal, Quebec, Canada
https://cicm-conference.org/2024

===============================================================================

* Submission deadline (Abstract + CV): June 20, 2024 (extended)
* Notification of acceptance: July 05, 2024 (extended)

For further information, please see below:

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

The doctoral programme provides PhD students a forum to present early results
to
receive constructive feedback and mentoring. To attend, submissions of
two-page
abstracts are expected in which the focus and research questions of the
expected
PhD theses are described; details on completed research tasks and remaining
research plans should be given. In addition to these abstract, a two-pages CV
of
the applicant should also be submitted, detailing background information
(name,
university, supervisor), education (sought degree, previous degrees),
employments and relevant research experience (publications, attended
conferences/workshops).

Format (Hybrid)
===============
We encourage in-person participation for the doctoral program, where accepted
contributions will be offered a presentation slot as part of the conference
program and opportunities during the conference for constructive feedback,
mentorship and a poster presentation. However, those PhD students attending
remotely, will only be offered an online presentation slot.

Submission
==========
All submissions should be made via EasyChair at
https://easychair.org/my/conference?conf=cicm24

Important Dates
===============
Submission deadline: June 20, 2024 (extended)
Notification of acceptance: July 05, 2024 (extended)
Doctoral Program: August 5-9, 2024

Doctoral Program Chair
======================
Adnan Rashid, Concordia University, Montreal, QC, Canada

[Coq-Club] Second Call for Submissions to the Doctoral Program - 17th Conference on Intelligent Computer Mathematics - CICM 2024 - Extended Deadline: June 20, 2024, Serge Autexier, 06/10/2024