coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Ekaterina Komendantskaya <komendantskaya AT gmail.com>
- To: "Stark, Kathrin" <k.stark AT hw.ac.uk>, POLGREEN Elizabeth <elizabeth.polgreen AT ed.ac.uk>, Christian Saemann <c.saemann AT hw.ac.uk>, Michael Rawson <michael AT rawsons.uk>
- Subject: [Coq-Club] Workshop on GenAI for Theorem Proving, Edinburgh 7-9 April 2025
- Date: Fri, 21 Feb 2025 09:02:41 +0000
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=komendantskaya AT gmail.com; spf=Pass smtp.mailfrom=komendantskaya AT gmail.com; spf=None smtp.helo=postmaster AT mail-pj1-f44.google.com
- Ironport-data: A9a23:1wVMKakOg0ufs+R8eDfTP2vo5gwuIkRdPkR7XQ2eYbSJt1+Wr1Gzt xJLXmHXaaveMDenKtBwOYvk8R5S6J/WndMxSQNvrithQltH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRGvymTrSs1hlZHWdMUD0mhQ9oh9k3i4tphcnRKw6Ws LsemeWGULOe82Ayazl8B56r8ks14ayo4mpA5zTSWNgS1LPgvylNZH4gDfrpR5fIatE8NvK3Q e/F0Ia48gvxl/v6Io7Nfh7TKyXmc5aKVeS8oiI+t5uK3nCukhcPPpMTb5LwX6v4ZwKhxLidw P0V3XC5pJxA0qfkwIzxWDEAe81y0DEvFBYq7hFTvOTKp3AqfUcAzN1VCFEUfqwgwdpcGHlk/ 99DKDMEdyK60rfeLLKTEoGAh+wmJcjveZsd4zRukW2fAvEhTpTOBa7N4Le03h9q3pEITauYP ZNHL2YzBPjDS0Un1lM/C5U7keGkj3/jaD5RuVu9qq8+4myVxwt0uFToGIONK4LbHp4OxC50o Erm5GjEHysUZOaUiiaIzE7yq/7hpHj0Ddd6+LqQraMz2ALCmAT/EiY+Xlyi5PK9l0SWQMNaM 0VS+yw0rKF0+lbDczXmdxixoXrBphxFHtQMT6s17waCzqeS6AGcboQZctJfQOcipO11ZAQR6 nSQh/njJmdvs7SMe0vIo994sgiOESQSKGYDYwoNQg0E/8TvrekPYvTnHoYL/Emd3o2dJN3g/ w1muhTSkFn6sCLm/6Cy/FSCmzD145aVEkg64QLYWm/j5QR8DGJEW2BKwQmAhRqjBN/GJrVkg JTis5bDhAzpJc/Q/BFhuM1XQNmUCw+taVUwe2JHEZg77CiK8HW+Z41W6zwWDB42bp5cJmGyO hOI5Vk5CHpv0J2CPf8fj2WZW5RC8EQcPY+1PhwpRoMeMscpK1/blM2QTRDKgjqyzyDAbp3Ty b/ALJ/0UidEYUiW5DWxQOgZ3PcqwCt4rV4/triqpylLJYG2PSbPIZ9caAvmRrlgsMus/l+Jm /4BbJDi40sEAIXDjtz/qNB7waYidCdjXcieRg0+XrLrHzeK70l6U66Kmu15KtU590mX/8+Rl kyAtoZj4AKXrRX6xc+iMBiPsZu2Bc0j/0EodzchJ0ip0HUFaIOipvVXPZgucLVtsKQpwfdoR rNXM4+NE9ZeeAThoj49VJjaqJA9VRKJgQnVATGpTgJidLFdRivI2OTeQC3RyAc0ABGai+4Cs py79waCQZM8VwVoV8nXT/S0zmKOh3sWmcMsfk6RItBsZ1nn3496DxPA1tkcfscGc0TFzBSny jfMUAs5pPbMkaAx4tLmlaCJlKb3MupcT25xPXjX0qayDgbeplGc+I5nVP2aWBzsT0X287WGS cQM6N+kK9wBvlJBk7QkIoZR1ahkuufe/e5L/DprDFDgTgqNCIo5BlKkwMMWlKlG5oEBiDuMQ kjVp+VrY+SYCvjETmwUChEuNNmY9PcunTLX0/Q5DWP66AJz/5uFSU9iBAaNugMMMIpKNJ4Z/ sl5tP408wCfjj8YAuSChA1Q9EWOKSUkeIcjvZc4HoTqq1QKzndvXJ/iMRL1saq/M4h0DkoXI zGvlPXjgZZYzRH8aHYdLyXG8tdcopUsgyp06mE+CW6HoOeYuc9v7iZtqWw2ai930iR41/lCP zk3Fk9teoSL0TRapOlCeGGOHQt+KgWT0RHzwQFRlUnybUqhZkrSJkITZMeP+0E49TpHXz55p bu39kfsYQzITurQgBQgeBdCgOPxaPBM7Sv+odCDM+XZOoglcBznr7SLZ2FVmyD4AMg0ulLLl dNq8Ml0d6f/Eywa+I8/NKW3ypUSTwKiNkVZYPQ84p4MI37QSAuy1ReKNUq1XMFHfN7O0E2gD v1RNtB9bAu/2AmOvwIkK/Y1eZEsp8EQ5f0GZr/PDkwFueHGrjNW7bThxhKnj2ovG9hTgcIxL 73KTA27E0uSuGB1nlHcp8wVK0u6Ztg5PDfH5t6Xy9lQNZw/s7BLS3oQg5+UpHSeNTV18y2E5 D3jY7Dk9M086IBOsba1LIB9KVSVE/3RWt6M0jiPiPVVTNaWMc7xpwIf8VbmGAJNPIouYdd8l JXTkdv7wHL6uK0SVkbHkaKgDIhM3925B8BMA/L0LV5bvCqMY9Dt6B094FKFKYRFvddex8u/T S66VZeUWfsKfexCnVt5RjN7ERkPL4jWNILbujKbvfCALjM/wD73Boqr2lGxZF4KaxJSHYP1D zHFnsqH5/daid9pLwAFDfQ3OK1ICgbvdoV+fuKgqATCKHejh26Dnb7QlRAAzzXvIVvcGebY5 aP1fDTPRC6Qiorpku4A65dTuycJBklTmeMzJ0IR2+BnggCAUVIpE74vDoUkOLp1zArJy5DKV BPcZjADCAL8fwh+XzfS3dDBZjqbV8syYorXBzpw802tPnL8QMvKBbZ67S5v7ktnYjapnqntN dga/Wa2JRSrhI1gQeEI/PGgnON73bXgy2kV/Vzm2dnHa/rE7W7mCFQ6dOaMacDGLy0JvEDCJ GxwXWIdBU/nFQj+FsFvf3MTExYc1N8qI/PEcg/XqOszea3CpAGD9BE7E+7227wHKs8NIdbig FvpEnCV7Tn+NmM74MMUVhFAvUOwIf2OF8m+aqTkQGX+Wk12BnsPZ6s/oMbEcC3uFMOz3b8Qe vlALkXS3Hi4FX0=
- Ironport-hdrordr: A9a23:NgCyWK+3YQ4vdQ1m3WNuk+AZI+orL9Y04lQ7vn1ZYhZeG/bo7P xG/c5rrSMc7Qx6ZJhOo6HkBEDtewK/yXcX2/hzAV7BZniAhILAFugLhrcKqAeQfREWmNQtrJ tIQuxQDsbvBUN2gcu/zA6zCMY43dWLmZrFuc7ui1loCS5nY7x99AtiYzzrdnFedU1pAd4WGv OniPavZADORZ3UVKmG77U+PtQrbueqqK7b
- Ironport-phdr: A9a23:Fclv+RCQ+InCdZvLL50hUyQU70oY04WdBeb1wqQuh78GSKm/5ZOqZ BWZua43ygeRFtuKtaoMotGVmp6jcFRD26rJiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wE ZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbAhFiiSxbaluI Bmqognct80bjIp+Jq0s1hbHv3xEdvhZym9vOV+dhRHw6Nuu8pV+6SpQofUh98BBUaX+Yas1S KFTASolPW4o+sDlrAHPQgST6HQSVGUWiQdIDBPe7B7mRJfxszD1ufR71SKHIMD5V7E0WTCl7 6d2VB/ljToMOjAl/G3LjMF7kblWqwy9qRNh34HUYZmVNPtgcaPbYdMaXndKUsJIWyBcHo+wc 44DAuwGMuhFson9vEMOogWiCgmwCu3vzTpIiWX33a08zu8tFQ7L0QglE98IrX/arsj6NL0KX O+6zKfGwzbNYe5I1zjh9YXFaQoure2WUL9qbcbd1UsiGgXYhVuQs4zlODaV2/wCvWiY9eVgS fygi3QmqwF3uDek28Iiio7Mho0LzFDL6D92wIApJd2jS050e96lH4FNvCydNIt2RcYiTH9uu Ckn0LIGv4K7fDMJyJs9xx/QceeKc4eN4h35VeaRJS10i25ieLK6nhu/91WrxeLgWMeuyllKs jZFncfWtnALzxHd5cmKRud880q/2zuCyQDd5+NZLU0pmqTXN50szLEzm5QTvkrNESD4lVn5g aKKdkgq9eem5vn5brjmuJORNo55hwfjOaogncy/BP43MgkIX2WD9uS81aHj/U3kQLpRlPE2k 67ZvIjEKssBva64AxNa0oY55Ba+FTeqytMYnWMILF9DZRmJjJDpNknQLPzkCfqzmVehnTdxy /zYI7HsA4/BI3fMnbrnYL1w9UpcyBcozdBD+Z1UEKwPIPPyW0DvrNHUEhk0OBGuzen9EtVyz IYeVHqPAqCHNKPStkeF5uc1LOmNYI8ZoS79K/o46/L3g380llAQcbOm3ZsQb3C4EfBmLFuDb XXwhdcBFH8Gvgs4TOP0lF2PSSBfa2q2Uq4m5Tw2CJiqAZneSo2smrCM0yi2EoVTZm9cC1CMF Xnod5+DW/cJcC+SIchhkjkaWrinVoAuzxeutBPhy7pkNOXV+jcXuIns1Nhw/eLTlBUy+SZoA MSa1mGBV2d0kXgQSD8swK9/uVB9ykuE0aVgnvBUDcZT6O9RUgcmKZ7cyPR3BMz1WgLYZ9uGV FKmQsi9DjwqVdIww9oOY15nFNm4jxDD2TCqA74PmLCRCpw06PGU43+kbf1hwmzFkOEChkUmW MpJfyXyhehk6wHJBKbJjAOQnOC3dvJYlBbq0Ei54Eeo9GxcURx5W6jZXThLa0/Xv93z61/CC aepDbs9PwZH4cOObKJBLMDq2xEOb/f5Oc/CYmu301y5CBOBwLXEOIGsYGwQ2SzbDmAEjEYa9 jCbNl56TgKgqGLXATgmL1vweETqub17qXi7R0Iw5xuDcFZm0aHz5x1D1tKGTPZG87ENpCo7q jN9VHW62t/QB9OGuxFidbRVKYc+51JK027QsRBmPZWxJohtg1cfd0J8uEa4hEY/MZlJjcV/9 CBi9wF1M6/NlQ4YH9v59ZX5O7mMb3L34AjqcKnOnFfXzNeR/K4LrvU+sVTq+g+zRQI563sy9 d5T3jOH44nSShIIWMfyVUM68RRzoa3BYSAs7qvb0HRtNe+/tTqRk8kxCr4dww27N8xaLLvCE QbzF8MAAM37K+svll6lZxQYJ+Nb5accMMavdv/A06mub657hDzzq2NB7chm116UsSpxTumdx 5Ee3/SRxReKTR/5hVal99j1wMVKOW1UEW24xizpQoVWY8WeZK4tDmGja42yz9R63Nv2XmJAs UWkHxUA0dOofhybaxr82xdR3AIZuy7vnyzw1DFynzwzy8jXlCXT3+TvcgYGMW9XVSFji1nrO 429k9EdWgChcQEokBKv4UuyybJcoexzKGzaQEEAeCaTTSkqUay1u7yOashT85AhoCx/X+G1Y FTcQbn44lMb3y7lA2pC1WUjbTj53/ex1xd+iW+bMDNytC+DIZA2lUqZvoWCA6INjV9kDGFih DLaB0axJYys9NSQzNLYt/ymEnmmTttVeDXqyoWJsG2643drCFuxhaPW+JWvHA4k3Cv8z9QvW z/PqUO2YY7u2qK2OOR7ZUphFVbU5M9zG4U4mYw1zsJ1uzBSltCO8HwLnH2me9Zc3K/4YHMLW SUIys/cyAfg0UxnaHmOwsiqMxfVitskbN68bGQM3ys75M0fE6aY4otPmi5tq0a5pwbcCRRkt g8U0uBmqHsTguVS/REo0j3YGbcKW09RIS3rkR2MqdG4tqReImi1I/C80093nNbpC7/nwEkUW 3H8d5EuFCls9cZ2IVvk33j664Wic97VJd4erRyblR7cgvMdcspg0KpXw3A+ZySh4TUs0ItZx VR20Iu/vZSbJmkl56+/DhNCd3X0a84V5jDxnPNbl8eS0ZqoG8YpETEKUZ30CPOwRWhK5LK3a kDUSWN69ivIfNiXVRWS40pnsX/VRpWiNnXMYWIc0c0nXx6FYkpWnAETWjw+2J8/DAGjgsL7I yIbrngc4ED1rhxUx6dmLR76By3cowKlbDs9ToSELxNH5ylN4k7UNYqV6ec5TEQ6ttWx6ReAL GCWfVECDmYMV0qIDlb/Jbqn9NDo/O2RB+74JPzLK+bry6QWR7KDwpSh1ZFj9jCHO5CUP3VsO PY831JKQXFzH8mK0yVKUSEckDjBKtKKvBrpsDMitdixqb64PWCnrZvKEbZZNs9jvgy7kbvWf fDFnz53cH5Zzs9eniKOkelHmgRO1Gc2MGPxWbUY6XyTEOSKwfQRVkBDLXs0bZotjep03xERa 5CFzIqtjPggyKZyUQ8NVES9yJ/3I5ZWciftbBWfQxzTfLWeeW+UmYeuPeXlGOcW1KIN53jS8 X6aCxOxYWjFzmO0EUjpaaYV0mmaJEAM4dntNE8yVi6zCoqhMETzMccr32Rpmvtt1y+MbShEd mEiFiEF5ryIsXEC2qQ5SzEHtyA1a7HDwnnR7vGEeMxP7702UmItxrgcuDNjmvNU9H0WHqUr3 nGJ/5g1+Rf+1bDer1gvGAxHrjIB7G6SlWNlP6iRtpxJWHKfuQkI8X3VEBMS4d1sFtzovalUj NnJjqP6bjlYoZrS+oMHCs7YJdjiUjJpOAf1GDPSEAoOTCK6fWDZiUtHlfiO93qT5pEko5nok ZAKR/dVTlswXv8dD01kGpQFLvIVFns8lqWHiccT+XekhBzYRcEfppKeE/zOXbPgLzGWibQCb BwNgPv5IYkVKoznyhliZ119z+GoUwLbWdFApDEkbxdh+h0ctigjCDdqhQS5NlDIgjdbD/O/k x8ohxErZO0s8Gyp+FIrPh/RozN2lkAtmNLjiDTXcTjrLa72U5sFbki8/0U3LJ7/RB54KAOom kkxfjTDQr9Xg7JmaXtogR7VkZRKEP9YC6ZDZVVDoJPfL+Vtyllapii9kAVf4vDZDJJ5iAYwW ZulrnYFwwA6KdBpeerfI61GylUWjaWL9HzNtKh50EoVIEAD93mXcSgDtRkTN7UoECGv+/Rl9 Q2InzYrkIkkUvMrprdy9Bp4NbjciS3n1LFHJwa6MOnNd8txVEDPkMeJRhU70UZaziGtGJB51 M4idwyfUEV9lNOs
- Ironport-sdr: 67b8414d_v8no7WuaFlXR64RX2keS8/CwaG6lKvAfRcEkIkQ+jMh5xMB 6Q2EQVnrzhd7DAAOe4JRadYC0OGnwpiYYkEre+w==
Dear friends and colleagues,
a final call for registering as a participant at the workshop
that will take place in Edinburgh, 7-9 April 2023.
We have a strong program, so join us and have fun!
Please just note that all (even local) participants are required to register no later than the 12th of March: due to the high number of participants we had to resort to a more formal organisation strategy.
Looking forward to seeing you at the workshop,
Ekaterina, Kathrin, Michael, Elizabeth, Christian
- [Coq-Club] Workshop on GenAI for Theorem Proving, Edinburgh 7-9 April 2025, Ekaterina Komendantskaya, 02/21/2025
Archive powered by MHonArc 2.6.19+.