coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] ITP 2024: Call for Online Participation

From: Besik Dundua <bdundua AT gmail.com>
To: coq-club AT inria.fr
Subject: [Coq-Club] ITP 2024: Call for Online Participation
Date: Sat, 3 Aug 2024 16:44:47 +0400
Authentication-results: mail3-smtp-sop.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-pf1-f171.google.com
Ironport-data: A9a23:FS2usqxLtAlIXVSOOuN6t+eTwirEfRIJ4+MujC+fZmUNrF6WrkVSx zNNDGqCOv7YazPyeN5wbIu0/EpS6MSAmoMxHVM6qlhgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefSAOCU5NfsYkhZXRVjRDoqlSVtkus4hp8AqdWiCmthg /uryyHkEAHjg28c3l48sfrZ9Es/5K+q6Vv0g3RnDRx1lA+G/5UqJMlHTU2BByOQapVZGOe8W 9HCwNmRlo8O10pF5nuNy94XQ2VSKlLgFVDmZkl+B8BOtiN/Shkaic7XAhazhXB/0F1ll/gpo DlEWAfZpQ0BZsUgk8xFO/VU/r0X0QSrN9YrLFDm2fF/wXEqfFPTzNRMIRhrOrc26+9KKFNL/ K01cQISO0Xra+KemNpXS8Fpj8UnadHlZcYR4y45iz7eCvkiTNbIRKCiCd1whm9hwJATW6yHP 4xANmMHgBfoO3WjPn8dBI84kPqhrnb6ejxc7lmSoMLb5kCCl1Eoj+e0aLI5fPTaXuBRv1uFi F7soX3jHQ1CEICv7GuspyfEaujnxn6iAN1DStVU7MVCi1qKg2cXFRc+Tkq+ufD/i0ikWtsZJ VZ8x8Y1ha079UjuVtekGhPh/yfCsRkbVN5dVeY97Wlh15Y4/S6mCUkmY2ccb+YIpcYLbA4v3 w6kxuH2UGkHXKKudVqR8bKdrDWXMCcTLHMfaSJscefjy4mzyG3UpkKfJuuPAJKIYsvJ9SYcK g1mQQA7jrQXyNYFjuC1pA+exT2roZfNQ0g+4QC/soOZAuFRNdfNi2+AsAezARN8wGCxEADpU J8sxZH20Qz2JcvR/BFhuc1UdF1T296LMSfHnXlkFIQ7+jKm9haLJN8Kum0gfBg3bZ5aIFcFh XM/XysBtfe/21P6PcdKj36ZUpVCIVXITIi7BqCJN4AmjmZZLVLYrX02DaJv44wduBNxyPlga MnznTeEAnEdBqBqhDuwTKF17FPY7nFW+I8nfriil07P+ePGOha9EO5ZWHPQNLxRxP3f+m39r Y0AX/ZmPj0EDYUSlAGMrdVMRb3LRFBnba3LRzt/JrDYelI5STB9YxITqJt4E7FYc21uvr+g1 hmAtoVwkTITXFWecV7SOENwIqjiR4h+pn8dNCkhdwTgkXs6bIrlqO9Ve5IrdPN1vKZu3Nxlf ckjIs+gO/VoTiiY2jI/aZKmkpduWi72ji2zPg2kQgMFQbheeyLz9OTJQC7T5QgVLy/utcIBs 7yqjQzaZpwYRjVdNsXdadPx7lbovXEih/55cHrYBuZiaGP+3ZVYcX3vvKUnJ+UJDwvJ/RqB9 gOsGRxDj/L8k4w019johK6/sIaiFdVlLHdaB2X26bWXNzHQ23iKm6tscb+vU2jGdWXW/K6CW 71k/8vkOqdaoGcQ4ptOLbl76Ikfuf3tnuZ+5SZ5Fizpa1+LNOtREkOe15MSipwXl65rgiroa Eeh4dIABK6oPvniG1svJAYISOSP+PUXuzvK58QOP0TIy35rzYWDTHltEUGAuA5FIJtxFbEV8 +MrlcoVyg640z4BENKNiAJK/GWtcF0EdYgata8hPYy6sTpzl2l+YqHdBBTmv7CJSdFHaXcxL hGu2aHturV7x2j5SUQVK0Tj5+RmqK41iEh492Naf1WtsfjZt8AzxyxUoGgWTBwK7xBp0NBTG 2lMNm9zL5qg5z1D2cpJBTitPypjBxSp3FP75HVUtW/eTmiuDnfsKk9kM8mz3UkpyUBuVRkFw 6O5kUHOTiTPUPzq+BcLSWpJiqDGXMNg0A/vg+WlFJm1JIY7aj/bnaOeX2oEhB/5C8cXhkech +1V0MtvSK/8JwgCirYaDtSE6LEuVxy0HmxObvV/9qcvH2uHWjWT2yCLGn+haPF2OP3G3k+pO fNAfvsVeUyF6x+PiTQHCYonAbx+xqcp7eVfXILbHzcNtr/Howd5tJ7VyDPFu1YqZNdTiuc4F JLacmOTM26XhEYMoVT3kut/BjOab+UHNSrG58Lk1MUSFpkGjvNgTlFq7JuwoEeuEVVG+zC6g Vr9QpH4nsJezbZipY/OKpl4Jh6VLIrzXduY8QrovNVpa8jOAPj0tAgUiwfGOghKDIQVQPBys 6qHi//s/Ub/pL1teXvoq5qAMKho5MuJQ+tcNPzsHkRahSevXMzN4QMJ3mKFdbhltcx73db+Y SeVc+6yeswxd/YH4UZKeg5MFxo5IIbmXJfK/C+SgayFNUkA7FbhMtiiy07MUUhaUS0tYLjVF Q7+vqeV1OBy9YhjKkcNOKB7PsVePlTmZKoBcu/xvxm+Ck2DoAuLmpnmpCoaxQD7MFu2O+ek3 sudXTn7Tgq4h4/QxtIAs4BSgAwePEwgvcYOJHAi6/xEoBHkKlUZLNYtE4QMUbBVtS3Q6KvWR h/waEkaNCGseggcLDvd5o3vUD7KU6ZKcp38Kycy9kyZVzauCcnSSPF9/yNn+DFtdiGl0OijL soE92btOgSqhKtkXvsX+ufxlNIPKik2HZ7U0RuVfw3O7xci7XEi0XVgGE9VW3WCHZiSzQPEI m86QW0CS0a+IaI0/QCMZFYNcCz1fhu2p9nrUctL6NnasoSfiuZHzZUT/snth6YbYp1iyKEmH BvKqqjk34xS8nMWsKot/dkuhMeYzB5N8teSdMfeeOHZo018BqnL8S/PcerjgfzOIDJiLm4=
Ironport-hdrordr: A9a23:v7Bn4qEkbXr/0vrdpLqE5ceALOsnbusQ8zAXPiFKOHtom6mj/f xG885rtiMc5AxwZJhCo7G90cu7MBHhHPdOiOF7AV7IZniChILHFvAH0WIg+VHd8u/Fm9K1GZ 0OT0G2MrPNMWQ=
Ironport-phdr: A9a23:wBIuGhGlMi/oH04qjNcKEZ1Gf4xGhN3EVzX9CrIZgr5DOp6u447ld BSGo6k21BmZB86GsLptsKn/jePJYS863d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T 4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6JvjvGo7Vks+7y/2+94fcbghGmDaxe7B/I Au5oQjRuMQdnJdvJLs2xhbVrXREfPhby3lvKVyPgRj3+92+/IRk8yReuvIh89BPXKDndKkmT rJWESorPXkt6MLkqRfMQw2P5mABUmoNiRpHHxLF7BDhUZjvtCbxq/dw1zObPc3ySrA0RCii4 qJ2QxLmlCsLKzg0+3zQhcJtkaJbuwqhqAJjzI7Ibo+VM/9+cbncfdMcWGFNWslcWihEDo66c oABDfcOPfxAoobyp1UAoxiwCxSyCuzz0TJHnGP60Lcg3ug9DQ3L3gotFM8OvnTOq9X1Mb8fX P2rw6nTzDXDbO5d1zng6IjObx8hvOuDVq93fMXK1EYvCgXFgUiNqYP/JD6V2eENvHKa7+pkT +6gl2knqwRorzWp28wjhZXHiJgPxVDY6SV23pw1JdugRUB1YtOpHppdui+ZOoV2X84vQG9mt SUkx7AIupO2YSYHxZUoyhPCdfCKd5WF7xHgWeufITl1hm5pda+jixu97UWtzPD3WMez0FZPt CVFk9/Mu2gR1xzI98iLUPR98Vm51TaA1gDT9uFEIV0vmqbBKp4hxaY8loEQsUvdAi/2mV72g LWQdko65uik8+vnYrT6pp+YLYB7kRvyMqUpmsCnBeQ4NQcOX2mH9uimzrLj4Uv0S6hJgP0ui qTVrozWKMABqqO6AwJZyJgv5wujAzu8zdgVn2QLIVRYcx+Zi4jpJkrOIOzmAvelnlqskTZqy O7eM7H9BJjGM2LNn637fbln7k5R0Aozws5b55JTErwBJej8Wk71tNDBFh85PRG4z//pCNlg1 I4SRHiDAqCeMKPVvl+I4vwgL/OQa48SvTbxM/kl5/jwgn8lgVIRY7Wl0J8NZH27HvlqOVuVb WfwjtsbDGsHvBcyQPTviFKYUD5TY3iyX7g75jE+EI+pFprMRp2rgLOcwSe0BIZbZm9DCl+WE Hfoc5+IVOsLaCKXOsNhlCcLWqC7S4A9zRGuqBP6y71/I+bJ4iEYr47s1MBp5+3PkhE/7SB7D 8OE022UU250mn4ISCQt0aBkoU19z0+D3rJij/xZE9xT/fJJXR0gOZ7S1ewpQ+z1DwnGZ5KCT EusatSgGzA4CNwrkPEUZEMoMdi5jxOL8zesD6Ic3+iBCIEy/r/V93f0Lsd5jX3B0f9y3BEdX sJTODj+1eZE/A/JCtuVwi1x9o6vfKUYh2vW8XubiHGJpAdeWRJxVqPMWTYeYFHXpJL3/BCKV KegXJIgNAYJ0sueMu1ScNS8h1lbQvv+MfzRZmuwnyG7AhPbjqiUYt/Scn4GlD7YFFBClgkS+ XicMg1rDCu8pW7DBRRhEFvuZwXn9uwt4GijQBoSyAeHJ1Zky6Lz+hMRgqmETOgP27sfpCo7g zB9HVL4x9yPTtTZ+FMnc6JbbtcwplxA0Ao1riRbOZqtZ+Bnj18aKEFsul/2kg5wEsNGmNQrq 3UjyExzL7iZ2RVPbWHQ25e4IbDRJmTomXLnI6fLxlHT1sqX8aYT+bw5rVvkpgSgCksl9T1uz dBU13KW4piCAhAVVNr9VUM+9h4yoL+/AGF17Y/J03FxOIG7tzbD35QiA+5kghesctFDMb+VQ RfoGp5SDMyvJeo23lmxO0hcbaYCqehuZpvgLqTfi8vJdK56kTmrjHpK+tV420OIrG9nT/LQm o0C27ee1xeGUDH1iBGgtNr2kMZKf2J3fCL3xC76CYpWfqA3c5wMDDLkKcGqwNljjrbiXndZ8 BioAFZMi6rLMVKCKkfw2wFdzxFdq3C6nyelxhR7ljgoquyU2ymEkKzyMREAPGBMXmxri1zhd JO1g94tV0+tdwE1lRGh6C4W3oBjrb9kZynWSEZMJG3tKn16F7C3rvyEatJO75UhtWNWVv69a BaUUOy1rxwf2iLlV2xQoVJzPzump5P1ghVSh2eULXI1p33cMc193hbQ4tXASOUZhGJXAnklz 2OOXh7lYIDh9M7cj5rZt+GiS2+tM/8bOTLmy4+Nrmrz5GFnBwG+g+Hmn9TmFQYg1iqon9JuV CjOsFP9etyxj/X8Yb8hJBAwQgajspkfeMk2iIY7iZAO1GJPg5yU+SFCimLvKZBA3rq4anMRR DkNytqT4Q7/2UQlIGjaouCxHnib3MZlYMG3J20M3SdopcpGFaGY8bVski58o17+pgXUK6sY/ H9V2b415XgWjvtc8gAh0yORH7k6EkxRPCiqnBONpYP2vOBcY2ChdqK13Ux1kIW6Db2MlQpbX W7wZpYoGSIji6c3eEKJynD47ZvoPcXBdd9G/APBiA/O1qIGYIJ0jPcBgjBrfH7wrWFwgfBul gRghPTY9MCGMzk/p///W08AcGepOIVLvWuxxadGwpTIg8b1Rc4nQ2tTGsOvFKPgESpO56q5c V/WSntk7C/cQ+K6f0fX6V86/SyRVcr3ZjfHfD9Bio86DBiFeB4A2kZNAHNjz8R/TkfzlITga BsruWxXvwSl7EMKkqUxaXydGi/evFv6M29kDsHAc1wGqFkFvR6dMNTCvLssRGcBr8Hn9ErVb TXFLwVQUTNTAh3CVw2lZ+P+o4GHqrf9ZKL2LuOSM+/X96oDB7HRlMjpisw/rn6NLpndZCA8S adgiwwYBzYhXJ2I0yMGTyhd/87UR+icohr0uih+r8Tkte/uRBqq/oyXTb1bLdRo/Rmyx6aFL e+Zwihje35e0dsXyHnExaJ6vhZagjxydzSrDbULtDLcBKPWlKhNChcHaiR1fMJW5qM41wNJN IbVkNTwnrJ/i/c0DR9CWzmD0omxYtcWJmimKF7dLEOCNbDDPTOShs+uPvr6RrpXg+FZ8Ra3v HfTEkPuOCiCiyi8Vx2rNrIp7mnTNxhftYehNxd1XDK7HZS2N1vhaYcx1GJvkthWzjvQOGURM CZxaRZIp7yUtmZDh+lnXndG9jxjJPWFnCCQ66/ZLIwXuL1lGHcR9aoS7XIkxr9S9CwBSuZyn X6YpNJzpV27m8GAzzNmVFxFrTMB1+fp9Q1yfL7U8JVNQyOO5BUW8WCZEAgHvfNgA9zr/rhek 53Bzf2qbjhF9N3Q8I0XAM2ee6fleDIxdBHuHjDTFg4MSzWmYHrei0Jqm/aX7nSJr5I+p/AEd 7IBT7ZaUBo+EfZIUyyN/fQHKZZzGysqyPuV1ZFRo3W5qxbVSYNRuZWVDpp65N3gLT+Yif9PY B5amdvF
Ironport-sdr: 66ae264b_5ko4VubsMtaL9eEBrA/t/KRJGipqeHOEUCSnjy39FLjGJLt 9dWcKricf5mXeZ/BOuLp4Vm4CBCEedzoEcNXhLA==

===============================
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: Call for Online Participation, Besik Dundua, 08/03/2024