Skip to Content.
Sympa Menu

coq-club - [Coq-Club] EuroProofNet WG2 kickoff meeting

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] EuroProofNet WG2 kickoff meeting


Chronological Thread 
  • From: geoff AT cs.miami.edu
  • To: <coq-club AT inria.fr>
  • Subject: [Coq-Club] EuroProofNet WG2 kickoff meeting
  • Date: Sun, 3 Jul 2022 04:51:37 -0400 (EDT)
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=geoff AT cs.miami.edu; spf=SoftFail smtp.mailfrom=geoff AT cs.miami.edu; spf=None smtp.helo=postmaster AT armistead.ccs.miami.edu
  • Ironport-data: A9a23:HrU3KaswqJqfY8bN1DXkvQlW2ufnVFRYMUV32f8akzHdYApBsoF/q tZmKWjQa66JMzT8foolO9/i9EJVv56EyIcxTQNlrSA8QyoQgMeUXt7xwmXYb3rDdJWbJK5Ex 5xDMYeYdJhcolv0/ErF3m3J9CEkvU2wbuOgTraCYEidfCc8IMsboUsLd9UR38g527BVPyvX4 Ymo+5KHYgf+s9JJGjt8B5yr+EsHUMva42twUmwWPZina3eD/5W9JMt3yZCZdxMUcKEMdgKJb 7qrIIWCw4/s10xF5uVJPVrMWhZirrb6ZWBig5fNMkSoqkAqSicais7XOBeAAKtao23hojx/9 DlCnYW3SQBzFKLyotQ6XyQCOi9kMat595aSdBBTseTLp6HHW3L2xvR1EEw/McsT8f0xBGBH8 P1eJTwQBvyBr7vnmvTgE68814J9RCXoFNt3VnVIwjzeA/gOSouFRqTD4N4e0Tst7ixLNaqFN pVGMWQ0BPjGS0QSeWgFJ6sZpeSl32H2VSRVrXW6r4NitgA/yyQtieKzbIS9lsaxbc5ShwOTo n/M13/oBwkTct2Z0zuMtHy27tIjhgvyQocTD6G1//Isi0bVw20aDRxQWFemyRWktqKgc8tYK 0tO0CUQl5gV+HHxZ9fnUxuHr1fR63bwROFsO+E97QiMzI/d7ACYGnUIQ1Z9VTA2iCMlbWZ3i QTVz7sFERQq4OXPEyjNnluBhWrqURX5O1PucsPtoeEtxtjqpYBbYvnnFY06S/XdYjEYA1jNL 92ipTI7hq4PgMcHka6gu1XGijet4JXFU2bZBzk7vEr4tGuVh6b/O+REDGQ3Ct4afO6koqGp5 iRspiRnxLlm4WuxvCKMWv4RO7qi+uyINjbR6XY2QcR/qGTzpSLzI9EIiN2bGKuPGp1eEdMOS BSN0T69GLcKVJdXRfAqO9rhYyjU5fi9fTgaahwkRoYXOMYtKmdrDQlzY0+O0nr2kVQ92aYxc ZKaeMOtZUv2+ow7pAdas9w1j+Rxrghgnjy7eHwO5076uVZoTCLOFO1t3ZrnRrxR0Z5oVy2Jq YkFZ5PVmksBOAA8CwGOmbMuwZkxBSBTLfjLRwZ/L4Zv+yJqRzMsDeH/27Qkd9A3lqhZjL6Sr HqmHEpZwV/+w3DLNFzSOHxkbbruW7d5rG46YHF3bAf2iyB7bNb99robers2YaIjpb5qwvNDR vUYf9mNX6ZUQTPd9jVBNZTw9dQwdBmiiQ+UETCiZTwzI8xpSwDTo4W2dRCp8SgHCyvxuMcj+ uXy2gTeSJsFZgJjEMeLNan+ng3h5SAQwbsgUVHJL99ffFTX3LJrcyGh3OUqJ8wsKAnYwmrI3 gmbNh4UuO3RrtJn69LOn62F89+kHuYiTEpXG27XseS/OSXApDHxyJVFUf2UcDnREmj/4+OnZ OxQzrfxPOBexARGtI91ErBKy6Mi5oay/O4LkFQ8RHibPU62Dr5AI2Wd2Zgdv6JA8bZVpA+qV x/d4dJdI7iIZJvoHQJDPgYjdejfh/gYliOIt6Y8OkD7/zN69bbBWl4UOhiFjS0bIbdoadt3z eAksc8Qygq+lht3b43X334ErzyBfi4aTqEqlpAGG4u62AMkx2ZLbYHYFiKrsoqEbM9BMxVyL zKZ7EYYa2+wGqYfn7sP+XnxMS51jI4LuQtWwVYOYV+CgZzAh/Yy3Vtc/SlfosG5CPlY+7obB 4SpHxQdyWayE/NAj9MFWmGlHgAHCRGEkqA040Vcj3XXFiFESUSWRFDQ+o+xEIQx+HkaezlS+ bDexWr4OdovkAcdwQNqMXNYRzffoRCdO+EMdA1L3yhIInXiXQfYvw==
  • Ironport-hdrordr: A9a23:nwKdRKhKCdHFlM/M292EA8WYXXBQXrAji2hC6mlwRA09TyX2ra 6TdZggtCMc9gx/ZJhIo7npU5VoKkm3yXca2+Qs1M+ZMDXbhA==
  • Ironport-phdr: A9a23:EJRmoR2DXgacktQYsmDOVQ8yDhhOgF0UFjAc5pdvsb9SaKPrp82kY BaEo6ww0xSRDc3y0LFts6LuqafuWGgNs96qkUspV9hybSIDktgchAc6AcSIWgXRJf/uaDEmT owZDAc2t360PlJIF8ngelbcvmO97SIIGhX4KAF5Ovn5FpTdgsip2e2+4YDfbgVKiTayfb9/L wi9oBnMuMURnYZsMLs6xAHTontPdeRWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjT bxFFzsmKHw65NfqtRbYUwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr8zRDqi8 rxrSAf2hygbKz43/mbXislqg6JaphKquhhzzoHQbY2QMvd1Y6HTcs4ARWdZQ8hfSStPDICyY YUPFOcNIfpUo5Xhq1YUsReyGQ+hD/7vxD9SgX/22LU30+s/HgHB0gwgEckDv2jPrNnvMacSU Pq6zKzJzTnZcfxZxCr95Y7VeR8uvf+CR6h/cdbNyUYxDQPFiE2dpZLnMj6LyukAsmyW4/ZvW O+hlWIrtg5/rDesy8otl4THiIwYx17a+Sh5wIg4Jt+1RUBlbdOgHpZcqz+XOohrT84kXmpmt iE6yrgctp66eigH0Jsnxx/Da/yHboiH+QjvVOeWITp+mXlre6q/ig6v/UWk1OHwTMe53EtQo idGltTArHEA2hrO4cadUPR95F2u2TOX2gDT9O5EJUc0mLLBJJ47x74wl4ETsVjdESDshUr6l rOZeVk/+uSy7uTnY6/pppqdN4NulA7xL7kultS+AeQ+LAcOQ3CW9fm42bH950H0TqhGguc1n 6TdqpzXJNwXpqujDA9U1oYj5Qy/DzCj0NkAknkIMlVFeByJj4XyJ17OO+r0DfK+g1u2lTdrx urKMaP8DZXQNnTDlqzucq5n60FA0Aoz0cxf55VMB70cOP7zQFP+tMTEDh8lNAy52/roCNJk1 o8HRW2PBrKZP7jJvF+T5uMvJvGMa5UPtDb8Lfgl/f/ugmUjlV8TZ6n6lacQPSSzGe0jKEGEa 1LthM0AGCEEpFxtYvbtjQiNXDldaV65ROQ55zg+CcSrAZqQFciWnLWd0XLjTdVtbWdcBwXQQ B8AFq2BUvYIMmeJJ9N51yYDXv6nQpMg0hensEn7zaBmJ6za4H5Qrortgf5y4eCbjhQu7XpsF c3I3GyKQW9clXhOQj4/2aE5rEBgmR+YyaYtuPtWCfJa5vcBSQImLdjZxu1+Bcr1X1fOc9CHR n6tWZOjADg0T5Q8z8JdK11lFYCEiRbOlzGvH6dTl7GPA8ks9bnA2nHqO8tn43/c0ag6k1QvT o1EPnbgg6928gmVCoLU+6mAv4Ctc6lUnCvE9WPZiHGLoFkdSgl7F6PMQXEYYELS69X//ELLC bG0W/whNUNaxMiOJ7EvCJWhhEhaRPrlJNXVYn6g02a2CxGSw7qQbY3sM2wD1STZAUIAnkgd5 3GDfQQ5Ay6gpSrZAlkMXRrgbkTi/8F1szW+T0YxzkeHY1Agn7u59xgJhOCNHusJ1+FMsyMgp jNoWVeliouHUZzb/kwxLeMCMrZfqB9d2GnUthJwJMmlJqFm3BsFdhhv+lnp3FNxA5lBls4jq DUryhBzIOSWygAkFXvQ0JbuN7nQMmS38gqobvuc1VzZ3ti+8bxJ7fUxrlSlsQ20XBlHkT0vw 5xO3n2Q64+fRgUfVpz/ek0ssR17rrTbJCQx+smHnW0pOq6yvDjY3tsvD+Zw0ResceBUN6acH RPzGckXbyS3ANctlUSHZxMAdKBX/a8wZYa9cueenbSsN6BmlS6nimJO5MZ81FiN/mxyULyA0 5EAyvCeu2nPHzDyxFistc75sYtfIzQTF2++jyXoGcZQfeVze40PCGGjL4WrwZ14gIKlV3ND9 VGlDk8Lva3hMUPDNRqmhEsAhAJJ6XW80TO11Tl1jy0kouKE0SrCzv6jPBsLN2hXRXVz2FLlI Iy6ldcfDy3KJ0AikBqo41q/xrAO/fUlaTKKBxcZOXalSgMqGrG9vbeDfcNVvZYhsCENFf+5f UjfULn25R0TzyLkGWJagjE9bTCj/JvjzHkYwCqQKmh+qH3BdIR+3xDasZbTSPlf0BINX299i DDSBx6xM8TjrrD239/T9/uzUW6sTMgZfiTsw42ovzD94GxjBBz5kvyu0I6vAU0x1in10MNvX CPDoUPnY4Xl4K+9NPpuYkhiAFKvjqgyUpE7iIY7g4scnGQLnpjAt2RSin/9aJ8IkbK7dncGQ iQHhsLY8BSwklM2NWqHnuebHj2c2pczPojgJDhPnHJsqZkQQKaMsO4dx3oz+wXh61mNJ6Ek1 jYbwv8z5HNItPoRtkwiySKSBr1UFk5dWE6k3wKB69T0xElOTECod7X4lE93nNT7SaqHvhkZQ nHyPJErAS536Mx7dlPKynz6rI/+KpHWapoIuxuYng2l7aAdIY8tlvcMmStsOH7s9Xwjxekhi BVy3Ja89IGZImRp9ai9D1ZWLDrwL88U/zjsi+5ZkKP0l8i3GY59HzwQQJbyZfuyFTMJqfnuO 0CFGyZ6r3aSHLuZEAOCqQ9no3/JD5G3JiSXKX0enrAADFGWIE1ShhxRXS1vx89jUFvzgpywN hkqg1JZrkT1oRZN1O9yYhz2U2OF4Rytdi9xUp+Uahxf8gBF4U7Rd82Y9ON6WS9CrfjD5ESAL HKWYwNQACQHQEuBUhrsM76g6/HL6K6dB+O7Lr3DbajE+ok8H7+YgImi1Idr5WPGLsKUInxrF OE2wGJKR3V4ANjUkjlJQCcM0SfMZsua4hqw52cky6L3uOSuUwXp64yVDrJUOtg64BG6j5CIM OuIjTp4IzJVvnvj7XTTjr0e1VsTzSxiamv2eVzhnSfXSaPLhqJeA1gQYDg1McpB6qN60wVQa 5azYjbd3aU+i/88DlYDWFD8yJnBWA==
  • Ironport-sdr: lUByUCsRwZxCpr2OW3oq20XCKKeewb9oIAQDPMvvutUouShL3QlspKOCLktWYb2ZAVDKc1bXx7 FDLq9GFvntMfVov22CS46JdJ5o7ba/qY5eyFoyjry7/KSZ+1gY7Yi+TQYNfE8Ap2ajzuzKiZ+Z v/8uMQ74GfJCPATJaIHm+hAUmh1Bjy3tJ4QB94k7uEczQEGbQH/rq2pFvTVgRMhg+vjDT4eGtp wiSVv4uQH5wl1B4791EInlhv0raZJhpFehQeZyZmlcad9AUAepeFDBDmMPwX6yrCInpk0SvdDW vPxBwLSMyaYgNd/VJFI31vs7

Dear all,

For those that do not yet know EuroProofNet, it is the European research
network on digital proofs. EuroProofNet aims at boosting the interoperability
and usability of proof systems. You can register here
https://europroofnet.github.io/ (follow the link "apply" on the main page).

The EuroProofNet Automated Theorem Provers Working Group (WG2) is organizing
its kickoff meeting co-located with the 8th Workshop on Practical Aspects of
Automated Reasoning (PAAR 2022), taking place at FLoC in Haifa, Israel, at
August 11-12, 2022. While PAAR 2022 is a two-day event, the working group
meeting will essentially be on the second day of PAAR (August 12).
See https://europroofnet.github.io/wg2-meeting1/ and
https://paar2022.github.io/ for further details.

A preliminary program, including plenary presentations, invited talks and
discussion sessions is available at
https://europroofnet.github.io/wg2-meeting1/ . The meeting will be primarily
in-person, but the organizers plan to implement a hybrid format so that all
interested EuroProofNet members can participate via a video call (Details
TBA).

EuroProofNet can support the in-person participation of WG members. If you
want to apply for travel funding support, please send a brief statement about
your motivation and topical fit (max. half a page), together with a justified
travel cost estimation (e.g., via screenshots or invoices for flights), to
Pascal Fontaine <Pascal.Fontaine AT uliege.be> and Alexander Steen
<alexander.steen AT uni-greifswald.de> until the deadline (see below).

# Confirmed speakers

* Josef Urban
* Geoff Sutcliffe
* Andres Notzli
* Guillaume Burel

# Important dates

PAAR workshop: August 11-12, 2022
EuroProofNet WG2 meeting: August 12, 2022
Funding request deadline: July 15, 2022


  • [Coq-Club] EuroProofNet WG2 kickoff meeting, geoff, 07/03/2022

Archive powered by MHonArc 2.6.19+.

Top of Page