coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Sandra Alves <sandra AT dcc.fc.up.pt>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] 2nd Women in EuroProofNet - DEADLINE EXTENSION
- Date: Sat, 3 Jun 2023 10:17:38 +0100
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=sandra AT dcc.fc.up.pt; spf=Pass smtp.mailfrom=sandra AT dcc.fc.up.pt; spf=Pass smtp.helo=postmaster AT smtp.dcc.fc.up.pt
- Ironport-data: A9a23:R2fBOagU17ovC6XnbZVjH18aX161QRQKZh0ujC45NGQN5FlHY01je htvCjyOOPmNZmqkeIxyaYu38B4EupXRzd9rHgs/pC82EytjpJueD7x1DG+gZnLIdpWroGFPt phFNIGYdKjYaleG+39B55C49SEUOZmgH+a6UqieUsxIbVcMYD87jh5+kPIOjIdtgNyoayuAo tqaT/f3YTdJ4BYqdDpMg06/gEk35q+q5mtD5gVWic1j5TcyqVFFVPrzGonqdxMUcqEMdsamS uDKyq2O/2+x13/B3fv4+lpTWhRiro/6ZWBiuFIOM0SRqkQqShgJ70oOHKF0hXG7JNm+t4sZJ N1l7fRcQOqyV0HGsLx1vxJwS0mSMUDakVNuzLfWXcG7liX7n3XQL/pGD1kbBZFH1uFMImB+1 qAXBA0NdU6irrfjqF67YrEEasULN8z3JMUTsXomwzqfEO5gWYyrr6fivI4Dmm5r2IYVTLCHO aL1ahI3BPjESwZGPFsNAboyl+zuiHK5biUesE79Sa8fujGKlFEqieG0WDbTUsSwf85No0Dbn Umc7lnyLTg8OvWVwBPQpxpAgceUwX2nAdtDfFGizdZhh0TWzWgOAjUNRF6jqL+4jFS/UpRRM SQpFjEGtq0u7AqnRdK7URb+vWbCpgJ0t8ds//MS6xmg8raLzwGiJWk0bWJOROEmr5EXbGl/v rOWpO/BCTtqubyTbHuS8LaIsD+/URT5y0dZNEfoqiNesrHeTJEPYgHnEo86Tv/s5jHhMXSgn W/b90DSkp1O5fPnwZlX6nj/v1pATLDxSRQp4W07tUr5t1shIdb4OeREBXDj6uxcK+6korSpp 30Yg46S5+tIA5rLiTTLWPll8FCVCxStbWe0bb1HRshJG9GRF5mLJNk43d2GDB01WvvogBewC KIT0CsIjHOpAFOkbLVsf6W6ANkwwK7rGLzND66EM4UVOsYrJVPcpkmCgHJ8OUizyCDAdoliZ P+mnTqEVydy5VlPl2HsHbdNuVPV7nlmmDK7qW/HI+SPiubAOCfMGN/pwXOAaf0/4KqYoQLTu 9hYLYORwBRSVubzKiDR/cYPIFsKK38/Ap/n74RPcfSfPwVvHAkc5wz5n9sclk0Mt/o9q9okC VnhAhcIkgWk2SecQehIA1g6AI7SsV9EhSpTFUQR0ZyAghDPuK7/s/dNRIh9ZrQ96u1owNh9S vRPKY3KAe1CRn6Ds34RZIX05t4qPhm6pxO8Dwz8ahgGfrlkW1Po/P3gdVDR7yUgNHe8mvY/h LyC7TnlZ6Q/aT5sN+voTc6+7kiQuCEdkd1iXkGTLdh0fl7twbdQKCfwr6EWJecQJTXq2wm18 QSyBCUage/zvKsz2oHohL+FnaitAeBRDkpXJEiFzLeUZA3x3Huv/p9Ea8mMJQvibWLT/L6wQ Mlo1NT+DaE3p0lLuI9CDLpb96IyyN/xrbt8zA4/PnH0Q3m0K7FneF+q4NJus/BT+7pnpgeGY EKD1d1EM7GvOsm+MlowJhIgX9uTx8MvhTjewvQkEnrUvBYt0uK8bnxTGB2QhAh2Drh/atoly Nh8nv8m0VW0jx5yP+uWiixRyX+3EUUBdKcZ57U6G47gjzQ5xm5SOaL8DjDE27DRStFuHHRzH BqqqvvjvZp+yHDGUUIPLlnW/O8EhZ0xqBFAl1ADAFKSm+v6vPw83TwP0DENTDVEkxB2wr8qM UM2KEFeBL6v+g1wj5NpRFGcGABmBTyY9HfuylAPqnbrckmwWkHJL0w/Ieyo/n1Fw1lDfzNew q6U+FzlXRnuYsv1+Ck4AmxhlNDOUv1z8VfktP28PsHYAaQ/XyXpspWuaUUMtRHjJ8E732/Dh Oty+ddPeb/JDjERr4I7Grul++wpEj7cH1N7QNZl4K8tNkPfcmvr2TGxdmaASvkULPnOqUKFG 8hiI/xUbCuH1QGMkGE/JbUNKLpKjvIW9II8Wrf0F1Un7ZqbjBRU6az1yAavqlMvcdtUleQFF rjwbBOHS2yZumtVkTTCre5CIWuJXuMHbwzdgsGwyuc4Bs8GgfAxKEoZj6S4lFSOEQ5d5xnPl hjyV6zX6O1DyIpXgIrnFJtYNTi0Md/eUOep8hi5ltZzMeP0LsbFsj0KpmndPwh5OaUbX/J1n ++vtOHb8VzkvrFsdUzkgLiESrd04PutUNptMs7YKGdQmQ2AUpTO5zoB42WJFoxbouhC58WIR xqKV+XoTIQ7A+xi/XxybzRSNz0/CK6tN6fpmn6bnsS2UxMY1VTKEcOj+XrXdlpkTy4vOaOvO j+s7rzqrppdoZ9XDRAJO+B+DtUqaBX/UK8hbJvquSPeEmCshUiYt6D/kQY7rwvGEWSADN2w9 KetqsISr/hukPqgIBBlX41OUtk/F3Nhma88dUlb9dUwlij8FHJuwSE1L8AdEp8N+sDt/MiQW d0PRDJK5ebBsfBsfR73ptroGBqHQPQSUjs8DiJ85FuaMk9aG6vZaIaMNU5cD7NedjDoiu+sb 8wGvGXsVvR0LleFWs5LjsGGbSxbKj82C57GFY0RUyA/PvrGPYg36Q==
- Ironport-hdrordr: A9a23:RndZaKNOBdbo1sBcTtqjsMiBIKoaSvp037BN7TESdfU1SL36qy nApp4mPHPP5Qr5O0tBpTnjAse9qBrnnPYf3WA/B9uftWLd2VdAQrsM0bff
- Ironport-phdr: A9a23:KFyK4RMPIBXuhNvYFVkl6nZvBxdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDv6gr1w6UFtyHo9t/yMPo8InYEVQa5piAtH1QOLdtbDQizfssogo7HcSeAlf6JvO5JwYzH cBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1JuPoEYLOksi7ze+/94PTbglSijewZbN/I BqroQjeq8IbnZZsJqEtxxTGpXdFZ/5Yzn5yK1KJmBb86Maw/Jp9/ClVpvks6c1OX7jkcqohV bBXAygoPG4z5M3wqBnMVhCP6WcGUmUXiRVHHQ7I5wznU5jrsyv6su192DSGPcDzULs5Vyiu4 7ttRRT1jygJKiM58HrPisNukK1bvByvpxt6w4HOYYGVMud1cqfScN4eQGZMWNtaWS5cDYOmd 4YBD/YOMulFoYf+qVUAsxywCBK2C+/zzz9FnH/20bE43uknDArI3BYgH9ULsHnMsdv6LqESX v2vzKbS0D7Oc/dW2Snj54jTbxsspuqMUqh2ccXM00kgDRjIgUiMpoP5JT+V2PgCv3KG7+p4T +6vk3Inphh3rzOyycgilpPHiZgJylDY6yp52oA1KMW3RUNmb9OpEplduz2HO4ZqTM4vQG9mt TsmxrAEt5O1ciwHxZUpyhPBa/GKd5SE7wz9WOuSLjp2im9pda69ihqu90Wr1+PyVs6x0FlQr ypFlMHBtn8M1xzP6siHV+By8l2g2TaIzwzT9+9FLlsumaXFNpEh36Q8loIXsUjbACD5gl72j a+KeUUk4Oeo6v7nbq/hpp+GOI95jBz1PKc2msGnHOg1NgYDU3KG9emy1bDv50P0TbFQgvErk 6TVqI3WKMAVq6KjHgNY3Icu5wyhAzqpytgUgHcKIVxDdRmalYbmIUvOL+r9Dfqng1SjjjNrx /feM736B5XNMmDDnK38crlh90FQ0gQzwsxF65JJErENOurzWlPpuNzZCB82LRC0zv76BNh52 I4SQ3+DD6GYPa/Iv1KF4vgjL/SNaYMNvTbyMfkl5/rgjX8jnl8deLGk3YANZ3C+A/tmOV+Wb GHxjdgdDWgGpAQ+Q/DwhF2fST5ffW6yX74k6jE9E42pFZ3DSZy1gLydwCe7GYVban1eBlCWD Xjob5mEW+sLaC+KPsBhlSUEWaG9RI8lyBGhrxT3y6FnL+rR4i0Xr4jv1Nlz5+3JlBE97yZ4D 8qH0zLFc2YhlWQRAjQywapXoEpny17F37IrreZfEIlo7vVFSA5yHJrCwvcyX8v7XA7bd/+FQ 13gTN7gHCl3Vs5nkIxGWFp0B9j31kOL5CGtGbJAy+3j7P0c96vd2yK0PMNh0zPc06JniVA6Q 8xJPGngh6hl9gGVCZSa216BmfOMcqIRlDXI6H/F1XCH6VpRVgJqWI3JVntZaECQsMy//l+RB 6S2B+EfOxBagdWHNrMMb9ToiVtcQ/K2I93Yb3i4s2u7DlCGzfWRdMzyZzZVxz3TXXANiBtb5 nOaLU4+CyOm9nrZFyBrHEnzblnE6uxisDW3RURywQrMclUnz6bdFgc9o/uaRrtT27sFvH1ks DBoBBOn2NmQDdOcpg1ndaEaYNUn4V4B23iL/wp6doetKaxvnDt8O0x+ol/u2hNrC45Bjdlir XUkyxB3IL6Z11UJfi2R3JT5MLnaYmfo+xXnZ6nT01DYmNGYn8VHoO8xrVn5tSmlHUFk/X4hz sETy2fdrpTGAQwOUI7gB14t/ksyrLXbby8hooLMgCQ9au/t6WGEgINvXbV2r3ToN81SO66FC gLoRsgTBsz0bfcvh0DsdBUPeuZb6K8zOcqiMfqAwq+ieuh6z1fExSxK5p5w1kWU+m9yUOnNi tweyveUxAKvWzz3ylmq9N3v35hYL2J3fCL32W3/CYhda7cnN50CD2u0KuW7zd44iZWrRmYe7 ELpVBsWncSufxSVdVn02wZdgF8WrXKQkiy91zVokjsto8JzxQT2yv/5PFoCM29PHix5iEv0Z JKzhJYcVVSpaA4gkF2k41z7zu5VvvY3I27WSEZONy/4SgMqGrC5sLaYauZD45huvy4RTfz6e UzSRrPmohQc2j/uBCMHlWt9Lmr0/M6o2UUkwGuGZG5+tn/YZd19yXK9rJTHSPhd0yBHDCh0h D/LB0Statyg/NGajZDG4ai1U2OsUIEWcDG+lNLb8nLguysxUFvmwaPW+JWvCwUx3C7l2sM/U CzJqEy5eYz3z+GgNukheEB0BVj64s48G4dkk4J2iotDvBpSzpiT43cDln/+dNtB3qerJmEEQ zIRyvbZ6wOj1kYlM2rP356zBRD/ioNxIsK3ZG8bwHd39MlMBL2dxLBPlm17qRyltUTJfbIu+ 1VVgetr43kcjeYTvQMrxSjIGbEeE35TOin0ngiJ5dSz/+1HIXyier+q2A9ijMisWfuc9xpEV i+zKfJAVWdgq99yO1XW3Djv55H4LZPOOMkLuETclgeIjvAJestgzbxT3nQhYjO75CNt3ec/i VYGMYiShIGcMC0t+au4BkQdLTjpf4YJ/Tqri69Cn8GQ1oTpH5N7GzxNUoG6Bf6vFTsTs7zgO WPsWHUkrWyHHLPEAQKFwFxjs2qJH5ugcX+cYmQBi81+DBWQP01QhgkIUS5yx89iUFnxmoq6I QEguHgY/Tua4lNUx/htNgXjX2uXvwquZjouCdCeIBdQ8gBe9hLVPMiZvap4GyBV+IHkrRTYc z3AIV0TUydSCwrdWQOGXPHm/9TL/umGC/DrKvLPZe/LsulCT7KSwpnp1IJ6/jGKP8HJP394D vR91FAQOBIxU8nfhTgLTDQa0izXaMvO7gy1/CFtp+iz+/+tVgmp+JPJE6cYYrANs1imxLyOM eKdnnMzMTFDypYF3mPF0pAE2UIKzS1lfH+jGvIdrWjVUOiD/80fRw5eYCR1OsxS6qs61QQYI s/XhOT+0btgh+I0AVNIBhTx39ukbssQLyShJUvKUQyVYa+eK2SBkKSVKeusDKddh+JOu1ist CaHRgX9ay+bmWChXljqOOVIxklz3TRFvZ2lNBpmAi7tR5T7clujLI0u5dXT6bE/jTXEPigBK X5kbxEVxlV/xS9TibNxECpc9jx9Mbvd8xs=
- Ironport-sdr: 647b0533_QBbACftIKnriOzLg8BjXpd8rZSRpv7Cs2VW6UtWVWVKd/G9 Z0ULFwThzPqJouFzXO5T2RHDhq8kLQJDG2uGaXQ==
==========================================================
CALL FOR CONTRIBUTIONS AND PARTICIPATION
Women in EuroProofNet 2023 event
(WEPN 2023, co-located with ITP 2023)
==========================================================
------------------------------------------------------------------------
Women in EuroProofNet 2023 event
July 31 2023, Bialystok, Poland
CALL FOR CONTRIBUTIONS AND PARTICIPATION
Women in EuroProofNet 2023 event
(WEPN 2023, co-located with ITP 2023)
==========================================================
------------------------------------------------------------------------
Women in EuroProofNet 2023 event
July 31 2023, Bialystok, Poland
https://europroofnet.github.io/women-epn-2023/
Co-located with ITP 2023
Co-located with ITP 2023
https://mizar.uwb.edu.pl/ITP2023/
People of all genders are invited to participate in the event and the discussion.
================
# Submissions
* Abstract submission deadline:June 2 2023 June 9 2023
======================
# Program and organizing committee
* Sandra Alves (University of Porto)
* Anja Petković Komel (TU Wien)
------------------------------------------------------------------------
Co-located with ITP 2023, there will be a half-day event dedicated to gender balance in the community. The event will consist of an invited talk and a few contributed talks by women to promote their research and improve their visibility. The talks will be followed by a discussion on gender balance issues, subconscious biases that occur and what we can do to improve the situation.
People of all genders are invited to participate in the event and the discussion.
================
# Submissions
* Abstract submission deadline:
* Author notification: June 12 2023
• Funding application deadline: June 26 2023
The contributed talks are meant as a platform to disseminate research done by women in the community. Only women (including transgender women) are invited to submit a contributed talk.
Submissions should consist of a title and a 1-2 pages abstract, in pdf
format, via https://easychair.org/conferences/?conf=wepn2023
• Early registration deadline: June 30, 2023
• Event: July 31 2023
The contributed talks are meant as a platform to disseminate research done by women in the community. Only women (including transgender women) are invited to submit a contributed talk.
Submissions should consist of a title and a 1-2 pages abstract, in pdf
format, via https://easychair.org/conferences/?conf=wepn2023
Considering the broad background of the expected audience, we encourage
authors to include information of pedagogical value in their abstract,
such as motivation and context of their work.
================
# Registration
Find the registration details on the event webpage:
authors to include information of pedagogical value in their abstract,
such as motivation and context of their work.
================
# Registration
Find the registration details on the event webpage:
======================
# Program and organizing committee
* Sandra Alves (University of Porto)
* Anja Petković Komel (TU Wien)
- [Coq-Club] 2nd Women in EuroProofNet - DEADLINE EXTENSION, Sandra Alves, 06/03/2023
Archive powered by MHonArc 2.6.19+.