coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] ITP 2024: Registration Deadline Extension

From: Besik Dundua <bdundua AT gmail.com>
To: coq-club AT inria.fr
Subject: [Coq-Club] ITP 2024: Registration Deadline Extension
Date: Fri, 16 Aug 2024 22:02:54 +0400
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=bdundua AT gmail.com; spf=Pass smtp.mailfrom=bdundua AT gmail.com; spf=None smtp.helo=postmaster AT mail-io1-f50.google.com
Ironport-data: A9a23:WabzNaKl1YK8R1oEFE+RTpElxSXFcZb7ZxGr2PjKsXjdYENS0TFSn GYaDWmPbv2LajHwc9klb4uy8RxX7ceDytVlGQAd+CA2RRqmi+KVXIXDdh+Y0wC6d5CYEho/t 63yTvGacajYm1eF/k/F3oDJ9CU6j+fSLlbFILasEjhrQgN5QzsWhxtmmuoo6qZlmtHR7zml4 LsemOWBfgb9s9JIGjhMsf7b+Eox5K6aVA4w5zTSW9gb5DcyqFFOVPrzFYnpR1PkT49dGPKNR uqr5NlVKUuEl/uFIorNfofTKiXmcJaKVeS9oiY+t5yZv/R3jndaPpDXmxYrQRw/Zz2hx7idw TjW3HC6YV9B0qbkwIzxX/TEes3X0GIvFLLveBCCXcKvI0LueWnjwahoNxgPA7JfpOBYWUxS9 9sGEWVYBvyDr7reLLOTT+BtgoEiK5CuMt5H/H5nyj7dALAtRpWrr6fiv4cJmmdtwJkQQ7CDP 6L1ahI3BPjESxdDJ1EbFZsWk+Khh325eDpdwL6QjfNosjGNnFMvjNABNvKFK92rSO92mnyTp 0730k6+BCNZd/O2nG/tHnWE3bKWxXyqBur+DoaQ/flzxVaX22Y7EwwTTVL9oP+ji0f4Vcg3F qAP0i8nrKx39UvyC9egB1u3p3mLuhNaUN1VewEn1O2T4qDG7ATEAFNddwB+L4Igm5cbWT4Ny GbcyrsFGgdTmLGSTHuc8JKdojWzJTUZIAc+icksHVttDz7L8NFbs/7fcuuPBpJZmTEcJN0d6 zWDrSx7hrJKyMBWj+O0+lfIhz/qrZ/MJuLU2uk1djP8hu+aTNf6D2BN1bQ9xasfRGp+ZgTR1 EXoY+DEsIgz4WilzURhutklErCz/OqiOzbBm1NpFJRJ323yoSX8Id4PvW8udRwB3iM4ldnBM B+7VeR5tM87AZdWRfUuC25MI511nfi+So69PhwqRoAXPcQqKGdrAx2ClWbLgjm1zxly+U3OE ZicdsmoAD4bD68hpAdatM9MuYLHMhsWnDuJLbiil0rP+ePHOBa9F+1ZWHPQNbtRxP3f/23oH yN3bJfiJ+N3C7CmPkE6MOc7cTg3EJTMLcqt8pcOJ7/YeVoO9aNII6a5/I7NsrdNx8x9/tokN FnnMqOB4AOn3yOVGhbAcX15drLkULB2qH9xb2RmPk+l1zJnKcyj5bsWPcl/N7Q21v1R/dgtR dk8euKEHqtuTBbD8G8jdpXTltFpWymqogOsBBCbRgYDUaRufCH33+P1XxDO8XAOBxWntMFlr LyH0BjacKU5RA9jLZj3bauvxmyuoXEiyPJWYHqRB/IOfk+2oY5gBBHsv6VmP+ANNhTx6T+I3 CmGARojhLfsoq1k1PLrlKy7v4OSPO8mJXVjHk7f9qSTGRjB22ienb97T+eDeA7CWFPO+KmNY ftfy9f+OqYlmGlmnpVdEbEx644D/Prq+qFnyzp7EEXxb1iEDq1qJl+E15JtsoxP3rpohhuka HmQ+9V1OaS7B+29KQQ/fDEaV+Wk0e0YvhLw7v5veUXz23JRzYq9CE5XO0GBtTxZIL5LK7ga+ OYGuvMNygmBmxEvY8enjCdVyjy2FUY+cZ4b77MUPIy6rTAQ6ABmQYfdASrI8p2we41yEk01E AS12ovGpZphn3TnTVRiO0TJ7+RngbY2hCtr134HflSApcrEjKQ43TpX6jUGcT5WxRRmjcN2N nRaCEluAaCo4T1TpdNiWlq0EFprHyyp+U3WynoImlbGTkKuaHf/EW0lNcuJ/2Eb62h5fAUH2 J2910DeTm/MUOzq+yk9S2pJiqbGdsNg0B/GlOSMPdW3L7NjbRXL2qaRNHc18T35CsYPtWj7j OhN/sMrTIbkNCQV8pYJO6PD2Zs+EBm7dXF/G9d/96Y0HEbZSjG4+R6KD2uTIsptBfj7wXWUO vxUBPBkdkqBjX6VjzUhG6QzDad+n6cp6Po8a7rbHzM6nIXFnAV5kqD713bYv3AqceVMgMxmC 4L2dhC+KEKyq0ZQuVfwqJhjBjLlT/gCPBbxzcKkwtUvTpgjitxhQWs287mzvkiWDjdZwgKpj FvDSpLSnsNfytVKvorzE698KR2+BvHtWc+prg2ikdR8QuneEMXJtjFP81nuABtLDOFAR/V2i rW/n9rl12zVvLsNcj74mrvQM4Jr9MmNTO5sHcavF0ZjnAyGQ97K3xQY3nKRcLhlrYt43da2Y Cedc+6yRM4xd/YG40MNcAlYMRIWK5qvX5favSnn8si9UEkM4zLIPPaM1CHMf2pEUgQqJpenK Av/m8j21+BitI4WWSM1XaB3MaRZfm3md7AtLeDqlD+iCWKtvFOOl53imTck6hDJEnO0K9n70 72UWinBcAmOh4+QwOF7q4BSujglPER5i8Q0fWMf/IdSoBK+B2gkM+8cEMsnDrd5ry/M76z7N Qr9NDYaNSbAXDp6KES2pJypWwqEHeUBN+voPjFjrQvedy6yA5jGG7d7sDtp53BtYDb40eW7M pck92btOgSqiIRcLQrJCidXXc88rh8b+p4Jxaw5u8n7AhJbALJTkXI8RExCUivIF8yLn0LOT YTwqaaoX2njIXMd0+45E5KWJP3dlDzqxjQsKyyIxb4zfq2FmfZYxqSX1/7bi9U+gQdjGFLKb XzyTmqJpWuR3xT/fEfvV80B2cdJNB5AIiR2wGIPi+Hfc2FcJ1nL5/8/oBc=
Ironport-hdrordr: A9a23:KszFHaFk7ol03CZspLqE5ceALOsnbusQ8zAXPiFKOHtom6mj/f xG885rtiMc5AxwZJhCo7G90cu7MBHhHPdOiOF7AV7IZniChILHFvAH0WIg+VHd8u/Fm9K1GZ 0OT0G2MrPNMWQ=
Ironport-phdr: A9a23:k0W0DRwXXoefojDXCzJ7wFBlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z xSZvK09xwaQA83y0LFttan/i+PaZSQ4+5GPsXQPItRndiQuroEopTEmG9OPEkbhLfTnPGQQF cVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZvJuTyB4Xek9m72/q99pDdfwlEniexba9xI Rm5sAndq8gbipZ+J6gszRfEvnRHd+NKyG1yIl6dgwjy7dqq8p559CRQtfMh98peXqj/Yq81U 79WAik4Pm4s/MHkugXNQgWJ5nsHT2UZiQFIDBTf7BH7RZj+rC33vfdg1SaAPM32Sbc0WSm+7 6puVRTlhjsLOyI//WrKjcN+kb9boAm5pxNh34HUfI+bNP17fqzHfNMaQ3dKUsJeWiFFB4+xa ZYEAegcMuZCt4TyqFsAoxW9CwexGu3g1iRFiWXq0aAgyektDR3K0Q4mEtkTsHrUttL1NKIKX O2o0qbI1jTDb/BL0jnz9YjIdA0uoeyWUrltdsfe0lQgFx7DjlqNtIzqJSiY1usIs2eB7upgU fijhHIgqwF0uzWiwNonhYbViIwP0F/E6Tl5z5gvJd2+UEN1b92pHZVRuiyUNIZ4Qt4vTmJmt is51LALt522cTUExZkmyBPSduKLfoyV7x/gV+ucLzd2iXB5dL+imxq//lStx+vhXce611ZKq zBKktjKtn0VyxzT8dWHRuFy/ki/wTqP2AHT6v1EIUApjqXXMZ8hwrkompoIskTMADP2mETtj KOMcEUr5PSo5/zoYrXnup+cM5V7hRrkPqQvncyzGeA4Mg8BX2ia5euwzqfs/VH/Tb5XjfM2i rHUvI7GKckfvKK0AA9Y3pw+5xu+DjqqytQVkWUBIVlYZh+Hi5XpO0rSIP/mF/exnlWskTZ1y P3eIrHsBIjGIGLZn7f7Z7l97lZRyAotwtBb4JJZErQBL+jyWk/1rdDYDxg5PxGtz+bpCNhxy pkSWW2IAq+eP6PStUGH6vgzLOmLYY8ZoDf9K/476P7ylXI1h0MRcK2z0ZYUaH20BOlqLkSYb Hb2gtoNDX8Gvg8kQ+zrjF2CXyRTZ3G3X68k/T40FZ+mDYHeSYCwmrOMxyi7HphMaWBHDlCAC 2vnd4KBW/sUbiKdOddukiYYWri5V48hyRauuRfnx7Z/NOrb5jUYtY7/1Nhy/+DciRYy9SVtA 8uB12GNUnp7k3gTRz422aB/uVZyxk2C0ah+mfxYFMZc6+lHUgcgZtbgyLlxDMm3UQbcdP+IT kynS5OoG2IfVNU0lvUDeEd+U/m/iBze1mL+CbMIkbCWDbQ796vd2z76IMMrmCWO77Uok1RzG pgHDmahnKMqq1m77+/hlkyYk/zvbqEAxGvX82zFy2OSvUZeWQo2UKPfXHlZaFGF5c/h6BbkS LmjQa8iLhMH0dSLf6FGd9vlkFxuS/LqOdCYaGW0yC+rHRjd/rqXd8LxfnkFmiDUCUwKiQcWq HyKKA4yGy6JrGfXDTgoHlXqMAv36ecrjnS9Qwcvyh2SKU1s073g4hkOmfmVUO8exJoBsSYl7 jRzRROzgoqQBN2HqA5sOq5bZLvR+X9h0mTU/0x4N52kdeV5g0IGNh5wtAXo3gl2DYNJlY4rq mkrxUx8M/DQ1lQJbD6e0Z3qX9+fYmDv4BCibbLX0VDCwZ6X/KkI8vExt1TkukmgCEMj93xt1 9Qd3WGb493GCw8bUJS5VUhSlVAyrb3HZCUg7qvb0HRtNe+/tTqDk9MlCe05ywqxKs9FOfDMH wvzHssGQsm2fbZyyh75M1RdYr4UqfZnWqHuP+GL06OqIut6yTevjGAdpZt4zlrJ7S13DOjBw 5cCxficmAqBTTb1ylm74aWV0chJYy8fGm2nxG3qHolUM+d4cZsNBXqnC8Kyz9R6wZXqXjQLk TzrT0NDw8KvdReIOhb30RBW2VkeiXOikCq8iTdzlnt65rra1yvIzeP4cRMBMWMeX2hug2DnJ o2shswbVkylB+QwvCOs/l2yh61SpaAlanLWXV8NZS/9aWdrTqq3sLOGJc9J8pIh9ytNAqywZ lWTS7i1pBV/sWurFWdDwjwmfhmlv5z4m1pxj2fVIHtorXXfcN193l+FvI2aFaMXh2RYAnQgw TDMTkCxJdyo4cmZm/Kh+qilWmStW4cSOSjnwIWctTeqsGhjABmxhfe2yZXsFQk31zO+1sE/D 32Z6kahJNC1ieLnabECHAEgHlL35stkF5srl4IxgMtVwn0GntCP+nFBl27vMNJd0Ka4bXwXR DdNzcSGhWqtkEBlMH+NwJr0E3uHxc40LdO2f2UaxysV4MVDCaPS57tB13gQwBLwvUfKbP5xk y1Ig/Ei9XgWnughtw8kzyHbCbcXVxoQLWnnkBKG6Mq7paNcaTO0cLS+40F5mMioELCIpgwPP RSxModnByJ76d9zdU7dyHCmoJ+xY8HeNJhA/g3RiRrLiPJZbY48huZfzzQyInrz5BhHg6Y6l UA8hsz85dnfbT8xo+ThRUQEfjztO5FNpne31v0Yx5jOmdjoR8QpGy1XDsW2C6vwSnRK86ygb V7rcnV0q2/HS+SBW1XDuQE29zSXVMrzf3CPeCtGl5M7GF/EdRYZ2EdNDH07hsJrSVzsnZa8N h8/vndIuDua4lNN0r46bkGvFD6A+0H4LG9zEsHXLQIKvFgdvAGMYJDYtqQrWHgGtpy58F7Xc j3dN1kOVDtZHBTDXg+GXPHm5MGcobLBWKzjf72XMO/I8asHBr+J3c79iNI4uWzXZ4PUZD86S KRqklxKWXQzcyjAsxMITSFf1yfEbsrB4Qy55jUytMe0tvLiRAPo44KLTbpUK9RmvR6s0++FM KaLiSB1JCw9tNtEzGLUyLUZwF8Zij1/PzirH7MasCfRTaXW0qZJBh8fYil3OYNG9aU5lgVKP MfajJvy2NsaxrYtDExZUFX6hsyzTckDImX4NVSeQUjWbPKJIjrEx8yxaqS5CPVRgOhSqxysq GObHkvkbVHh33HiUxGiN/0JjTnOZkQP/tHgNE8zVy6+FIGDCFXzKtJ8gDwozKdhg3rLMTRZK j1gawZXqbbW6ypEg/J5EmgH73x/LODClTzKiouQYpsQr/ZvBTx50uxA53FvgbFZ8SdIWfVdl y7br9ooqFaj2LrqqHIvQF9VpzBHiZje911lIrnc/4JcVGzs+RsM6SCRDE1PqYY9TNLovK9Ux 57Ek6e5e1Igu5rEuMAbAcbTMseONnEsZAHoFDDjBwwAVTe3NGvbiiS1ddmd83SUqt4xrZ2+w PLmpZdUUVU0ErURDUE3RbTqwb9yVzIg1L+c1YsGuCL4ox7WS8FX+JvAU6DKacg=
Ironport-sdr: 66bf945d_BWJd8q4evEBW0eOzB+K4xFdJmfqyaSp5RLiB8OxY8abzOdc Zdw7Ubr5AglPS5JiU5NtXTp9/UZOPSsT0uazPUA==

===============================
ITP 2024 Call for Participation
https://www.viam.science.tsu.ge/itp2024/
===============================

The Fifteenth International Conference on Interactive Theorem Proving (ITP 2024)
will take place on September 9-14, 2024 in Tbilisi, Georgia. It is
planned as a hybrid meeting. It will mostly be a face-to-face (physical)
meeting but facilities will be provided for remote presentation and
remote attendance.

The ITP conference series is concerned with all aspects of interactive
theorem proving, ranging from theoretical foundations to
implementation aspects and applications in program verification,
security, and the formalization of mathematics. This will be the 15th
conference in the ITP series, while predecessor conferences from which
it has evolved have been going since 1988.

===============================
Online Registration Deadline 31st of August
===============================

Online registration without paper has been added:

https://www.viam.science.tsu.ge/itp2024/registration

===============================
Invited Speakers
===============================

Frédéric Blanqui, INRIA
Tobias Nipkow, Technical University of Munich

===============================
Tutorial
===============================

Evgenia Karunus, Visualising Mathematical Proof: Paperproof

===============================
Accepted papers
===============================

https://www.viam.science.tsu.ge/itp2024/program

===============================
Workshops
===============================

The EuroProofNet 2nd Workshop on the Development, Maintenance, Refactoring and Search of Large Libraries of Proofs
https://europroofnet.github.io/wg4-tbilisi24/

The Isabelle Workshop 2024
https://sketis.net/isabelle/isabelle-workshop-2024

The Coq Workshop 2024
https://coq-workshop.gitlab.io/2024/

===============================
School
===============================

Seventeenth International Tbilisi Summer School in Logic and Language
https://www.logic.at/tbilisi24/

[Coq-Club] ITP 2024: Registration Deadline Extension, Besik Dundua, 08/16/2024