coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: serge.autexier AT dfki.de (Serge Autexier)
To: coq-club AT inria.fr
Cc: serge.autexier AT dfki.de
Subject: [Coq-Club] Call for Submissions to the Doctoral Program - 17th Conference on Intelligent Computer Mathematics - CICM 2024 - Deadline: June 13, 2024
Date: Thu, 23 May 2024 08:44:14 +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:0gfBbq0MM2Vfq7MUhPbD5TF1kn2cJEfYwER7XKvMYLTBsI5bpz1Uz zdJWzuEM/vcM2Wkf9B3Ptzj/R4AusKByNZgTwdu3Hw8FHgiRejtVY3IdB+oV8+xBpSeFxw/t 512hv3odp1coqr0/0/1WlTZhSAgk/vOHNIQMcacUghpXwhoVSw9vhxqnu89k+ZAjMOwa++3k YqaT/b3Zhn9i1aYDkpOs/jf8E415qyv0N8llgVWic5j7Ae2e0Y9V8p3yZGZdxPQXoRSF+imc OfPpJnRErTxon/Bovv8+lrKWhViroz6ZWBiuVIKM0SWuSWukwRpukoN2FXwXm8M49mBt4gZJ NygLvVcQy9xVkHHsLx1vxW1j0iSlECJkVPKCSHXjCCd86HJW0fFxdY1BlpqBNwz++1SJU4J7 vIZAglYO3hvh8ruqF66Yu1qmIFydZC7YcUEsDdswzLYS/orKXzBa/yRuZkJgnFp15kIRKaDD yYaQWIHgBDoeBBVNVpRAY8ikfepi2PXfzNbqRSZqMLb5kCKklIggea1a4u9ltqiZppzshm7v 0X80yejPE8HBtDBywja2yf57gPItXimAdxPSebQGuRRqFaU3ykYDAAcfUCqpOGwzE+4QdNWb UIOkhfCtoA28lLuH4CkD0D+u3TCshAfWpxcHoXW9T1h1ILoygC6XWIfEgcQQ90tkesZAick1 3WwyoaB6SNUjJWZTneU97GxpDy0ODQIIWJqWcPiZVdbizUEiNpi5i8jXupe/LiJYsrdNRyY/ txnhCw4mfBC1JdbiuOg9xbLjTGt4JTEJuLU2uk1dj39hu+aTNf7D2BN1bQ9xaobRGp+ZgLe1 EXoY+DEsIgz4WilzURhutklErCz/OqiOzbBm1NpFJRJ323yoiD/Jd0OvGghdRYB3iM4ldnBP RS7VeR5uM87AZdWRfYvC25MI5p0kPa4fTgbfqqENLKinaSdhCfcoXgwOBPLt4wcuFUqkL8yI 4yabc+hET4WBL8v1zO/XeMU17Mm3WglzGrJT4rmwh+k3Lz2WZJmYeptDbd6VchgtPnsiFyMq 753bpLaoz0BC7eWSneMruYuwaUicCJT6Wbe8ZIHL4Zu42NORQkcNhMm6el6I90+zvULyL+gE 7PUchYw9WcTTEbvcW2iAk2Popu2NXqmhSNlY34fLhyz1mI9YI2iyq4aetFlNfMk7eFvh7o8B fUMZ8zKULwFRyXl6gYtS8D3jLVjUxC32iOIHS6uOwYkc7BaGgfmx97DfynUzhcoMBaZj8UFj oOF6hL6WrsGHgRrM9bXYqmgznS3pnksp9hxVErpfPhWaFjg8dA3DhDc0tkMftM9KEjA9D6Gz yKTOxM5pPbMkaAx4tLmlaCJlKb3MupcT25xPXjX0qayDgbeplGc+I5nVP2aWBzsT0b2xfmSX vpUxPTCL/E3plZGnI5iGbJNz6hlxd/Qi5JF7wZjRlPnUk+KD+5+H3y4wsV/jK1B6btHsw+QW EjU2N17O62MCfz1AmwqOwspQeSS5846wgCIw6wOH3z7wytr8J6sc0ZYZUCMgRMACopFCtoux ON5tfMG7wC6tAERDe+HqSJp7EWJEG0LVvQ2l5MdAbKzsDER9HN5XcX+BBP1sba1UPcdFmkxI zSRurjOuKQE+GrGbEgINCbs2chzuM0wnS5knXE+I2aHoN7nvsMM/QZw9G03RztFzx8c3ONUP HNqBnJPJq6P3mlJgfJGVjqvBjNuORy90W7ywmsvi2f2YRSJVGvMDWtlIseL3hkT3Fx9dwhh3 oOz6TjaQxezW++pxQo0e0pui8K7fOxL7geYxfyWRZWULac1cR/Oo/GIZ1NRjzDFHMlopknMh dcyzdZKcaehaBIh+fwqObK7i4YVZguPflFZYPdb+6gMI2HQVRey1RWKKGGzYsl9HOPLw2DpF /1RIt9zaDrm2Bastjw7AYs+E41wltMt5/sAferPDkwCuL29sDFokczx8g7TuWwVeOhtwP0Nc t7pSzG/E2KrlSR1nU3Jp5J6IWaWW4QPSzD9++GXy983Maw/nttiSmwI6YvsjU6paFNm2zm2o DL8Y7Tnyr0+6IZ0wKrpPKZxJyS1DtLRV9aN7BiXtu5KTNLQMPXhsxEehUnnMj93Y5oQeYVTv pacvOHn2HjquO4NbFnYvJ2aBo915cmWd8hGAPLddXV1s3OLZ57x3kEl5Wu9F61srPpcwcuWH y2Dd8q6cI8uaed3nXF6RXBXLEcANv7RcKzlmCKaqsaMADg71SjsDouu1V3tXFFhWh44Ab/MI S6qhK/2/fFdlppGOzEcDfI/A5NYHk7qaZF7S/LP7wunHkuaqXLcnID9lCgQyyDBUViFN8fY3 ajrZDbDcDaKhaWZ6+0B7qJTuEQbAk8o1KN0NggY9sVtgj+3MH8eIK5Ped8aA5VTiWrp2Iu+e DjJa3A4BD7gWShfNy/x+8nnQhzVE9lm1g0V/dD11xj8h+aK6IK87H9J8iF+piYvI2u+ivqtb 90Q+Xy2MhXZLlSFgwoMzqTTvAul7qqyKrE0FYTVn8LxAlASDN3mEVR/SRFVW3Wv/97lzS32y KtceYyAaE21Sk+3HcsIl7u53v0GlGuH8gjEphtjDDoSV0t3AQGAJDDC1znP74A+
Ironport-hdrordr: A9a23:51+3VKGDhg25xriIpLqE9ceALOsnbusQ8zAXPo5KOH5om62j5q OTdZsgpHvJYVoqKRYdcK67Scy9qBrnnPYfjOV/U4tKNzOHhILHFuBfBFTZqQHdJw==
Ironport-phdr: A9a23:4kyCmBLk7UvQkD6w19mcuGhsWUAX0o4c3iYr45Yqw4hDbr6kt8y7e hCFtLM30gKCBN2Lo9t/yMPo8InYGlY8qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpV O5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1Ov71GonPhMiryuy+4ZLebxtMiTanf79/L RW7oQrMusUKgoZpN7o8xAbOrnZUdOtawn9lK0iUkxjg+Mm74YRt8z5Xu/Iv9s5AVbv1cqElR rFGDzooLn446tTzuRbMUQWA6H0cUn4LkhVTGAjK8Av6XpbqvSTksOd2xTSXMtf3TbAwXjSi8 rtrRRr1gyoJKzI17GfagdF2galGohyuugZ/zpbKbo+IKPVzYKDTc90aS2daQsZdSzBNDp+gY 4cTDecMO/tToYnnp1sJqBuzHRKsC/31yj9HmHD6x7c10/k9EQ7Y0w0gHswBsG7PodroOqcSU uG1wLPVwjrdcvha3Srz55bSchAuv/6HQK59cdfNyUYxGALFj0ufqZbgMz6Ty+8CvHSV4fB6W uKzl24otRtxoj63y8ouhIfEgoMYxk3L+yh4zos4JdO2RVJlbNOqDpddtz2WOoprT84jXmxlp To2xqEItJO1cyUH1YoqygLRZvGZb4SF5A/oWuiWITd9nn1lebS/ig6u/kih1uL8U9C430pNr ipDnNnDqGoN2ALV6sebVPRx5ECh2SyA1wzL9O5LO1s0lKrHJJ4h2LEwl4ATvV7EHi/sl0X7i rKdeEY8+uWw9ujqbLrrqoWYOoJ1kA3yL6AjltGlDeglMQUDX3CX9fmy2bDs50H1XalGguMsn qXHrJzXKt4XqrO4DgJR1Iso9giyDzO70NQDgXkIMkhFdg+Gj4noJV7DOOz0APGiiFq2ijhr3 erJPrj5D5XNMHfDlLDhcK55605a1go/1NRS649JBrwCIP//QFTxu8fCAhAkPQy0wOfnBM9g2 YwAQW6PA6mZP73OsVKQ++4iLeaBaJURtTv8MfQp+vrjgWIjlVMAfqSk3YMbaHWiEfRnJ0WZb 2DsgtAEEWoSpQoxUvbqiFKcXjJJfXmyQr486S80CYKnE4jDXJugj6GP3Ce4H51afH1JBU6UH XfubIqLQ+0MZz6KIs99jjwEUqCsR5I52RG0qAD606ZnLvbT+iAAqZ3j08F16/TPmhE26Dx7F N+Q03qNTmFxhmMHXSU63KF5oUxny1eMy7J0g/JCFY8b2/QcWQAjcJXY0uZSCtboWwuHcM3aZ kyhR4C9DCs+Q5Q43sMDc0dwAf2ugBPCmSanS/8umqaECdQd777Rz3n8PYcumD79yKA9ggx+E YN0Pmq8i/snn+CyL4vAkkHD0r2vabxZxinGsmGK0WuJukhcFg92S6TMG34FNQPNtdqswETEQ ve1DKg/dBNbwJuZJ7FFZ5vgkElLVPbuIvzSbWGw3Wu9Vl6T3r3ZVIPxYC0G2TnFTk0NkgQd5 3GDYBMzHCis5WvDEDF+FF/1S0/i8ug4pH7oBlQswVSsaEtsn6Gw5gZThfGYTKYL2akYvS46t zhuNFK7wZeHUoPQ+kx6duNQb9A8pltKvY7Anyp6OJHob6Vrh1pENh9yo1urzRJ8TINJjcktq nouigt0M6ORll1bJXue2tjrN7vbJ3OXnljnYrPK2lzYzNed+7seoPU+pVL5uQi1F00ku3x52 thR2nGY693EFg0XGZ72V0828VB9qdS4KmEm6pnb2DtlLLW5oj7PwfolCugkjBqtPp9ePK6CC A7uApgCHcH9TY5i01Otbx8CIKVT7PttZJ/gJqXAgf/yer8wwWHD7ywP+o1230OS+jApT+fJ2 8xA2PSExk6dUDy6il69s8fxkIQCZDcIH2P5xzK3YewZLqB0Y4sPDn+jZsOtwdArzYXgQXFVs le+G14W2cKzURacbF270QAahiF16TS33DC1yTB5iWRjtaeF0yGIyvn+eQoGN3RjSGdhjBHgL MLn6rJSFFjtZA8vmhy/4E/8zKUOv6VzIV7YRkJQdjT3JWVvOkepnoKLeNUHqJYhsCENFf+5f UjfULn25R0TzyLkGWJagjE9bTCj/JvjzVR2j2eULXA7q3S8G4k43hrF69GaTONN0yoHSTNQh TfUBx6wMpGl8M6VmJHKru2lHzv6CtsCL2+ynNrG7XvmrWRxSQWyhfWyhsHqHW1YmWfg2t9mW D+J5Bfwb4/31rirZOduf01mHlj5uIJxHoBzlJd1hYlFgCNGwMTLuyNWyCGqYYgIvMC2JGAAT jMK3dPPtQ3s2Uk5a2mM25q8THKWhM1oe9i9ZGoSnCM79cFDTqmOv9km1WN4pES1qQXJbL1zh DAYnLE15WQVjqcApRYg3iSQGJgeE0pZeyDh3UftjZj2vOBMaWCjfKLlnlFzh9+sSrifvgxMW XvjUpssHi424sg1YzeumDXjr4rjftfXd9casBaZxgzBg+ZiI5U0jvMWhCBjNDG1rTg/xuU8l xArwYCisd3NNTB25KzgSE09VHW9d4YJ9zrql6obgsuGw9XlAMB6AjtSFJrwEaDxS25U5Kqhb lfXVmRs9j+aAeaNRFTDrhY46SueStbyZyzyRjFRzM0+FkDGeAoO3kZNDWx8x85mXgGymJ64K xs/t25Xvw+h7EISkKppL0WtCzyD4lb2LG5lEd7GfEEzjEkK8U7RNYb2AvtbOSZe89XhqQWML jbefAFUFSQTXUfCAVn/P76o7N2G8u6CB+P4IeGcKbOJ4fdTUfuF3/fNmsNv4iqMO8OTP3JjE +xz20xNWmp8EtjYnDNHQjIelibEZcqW7Bmm/Sg/ose6+fXtEAXhgOnHQ6NVKslq8guqjL2rM +iOwXcgcGYFkIgGg3PGy7lZ0FNTwyBiej+xEKgR4C7ASKWD/80fRxUfai51KI5J9/dlhVULa JCd04KskOco061QaR8NT1Hql8C3aNZfJmi8MAmCH0OXLPGcIjaNxcjrYKS6QLkWjeNOthT2t yzIdi2rdjmFiTTtUAiidO9WiyTOdgdToo6wNB9wFWXzTd/8QhG1M94xgTB8kthWzjvacHURN zRxaRYHtrqL8SZRmelyAURF6GQgfLDdy3vf9OOeJpgVsL1nD24n8oASqGR/wLxT4iZeQfVzk yaHtd9irWatleyXwyZmWh5Dwt6qrIaNowAzYPyJq99bUzDI8hEMq2mdWUxiTz5NBtPsuuZcx 4qX/EocADtM8NOS8cZOXqDp
Ironport-sdr: 664ee5c0_6X7DmWDjUbGSn1+hYg5yfvOhUrMy9/kCnSjkZ15bNYLCvfX 0pMDLIOzPa8M0ZCxCKYmQQHvKwvcmcVJcHdNGfA==

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

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 13, 2024
* Notification of acceptance: June 28, 2024

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

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

Important Dates
===============
Submission deadline: June 13, 2024
Notification of acceptance: June 28, 2024
Doctoral Program: August 5-9, 2024

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

[Coq-Club] Call for Submissions to the Doctoral Program - 17th Conference on Intelligent Computer Mathematics - CICM 2024 - Deadline: June 13, 2024, Serge Autexier, 05/23/2024