coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Ambrus Kaposi <kaposi.ambrus AT gmail.com>
- To: moca-announce AT list.it.uu.se, eutypes AT cs.ru.nl, agda <agda AT lists.chalmers.se>, coq-club AT inria.fr, types-announce AT lists.seas.upenn.edu, haskell AT haskell.org, homotopytypetheory AT googlegroups.com
- Cc: Danijela Simic <danijela AT matf.bg.ac.rs>
- Subject: [Coq-Club] Call for STSMs and ITC conference grants, deadline 1 January 2023
- Date: Mon, 13 Feb 2023 11:26:19 +0100
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=kaposi.ambrus AT gmail.com; spf=Pass smtp.mailfrom=kaposi.ambrus AT gmail.com; spf=None smtp.helo=postmaster AT mail-pl1-f172.google.com
- Ironport-data: A9a23:qaf9paDK1xrnUBVW//Pnw5YqxClBgxIJ4kV8jS/XYbTApGkngzEPm DQfWWqDbquOM2D1Kopzbd+xo0xQ7MTdn9FmOVdlrnsFo1Bi+ZOUX4zBRqvTF3rPdZObFBoPA +E2MISowBUcFyeEzvuVGuG96yM6jMlkf5KkYMbcICd9WAR4fykojBNnioYRj5Vh6TSDK1rlV eja/ouOZzdJ5xYuajhPs/ja80s21BjPkGpwUmIWNagjUGD2zCF94KI3fcmZM3b+S49IKe+2L 86rIGaRows1Vz90Yj+Uuu6Tnn8iGtY+DiDS4pZiYJVOtzAZzsAEPgnXA9JHAatfo23hc9mcU 7yhv7ToIesiFvWkdOjwz3C0usyxVEFL0OavHJSxjSCc53eZV0XG7Kt+N30JJYc4pb1YMFN1y cVNfVjhbjjb7w636LeyS+0pnsB6aceyY9lZtXZnwjXUS/0hRPgvQY2QvY4ejGp23JkSW6+BP aL1ahI3BPjESx5GIlAMCdQ3me2ym2LXfDhRqVbTrq0yi4TW5FAujea9aYWIEjCMbZsMuhyIp nCZxlzgLyw2HuWflDfayFv504cjmguiAN5IfFGizdZhh0TWzWgOAjUNRF6jqL+4jFS/UpRRM SQpFjEGqKEz8AmzSoC4UUTn+jiLuRkTX9cWGOo/gO2Q9kbKyzzGIlYuYWBRU+AZrMUWGmcF5 22yo+q8UFSDr4apYX6a876Vqxa7Ni4UMXIOaEc4oe0ts4aLTGYb3kKnczpzLEKmpoaqRmyok lhmuAB71upD15dav0mu1Qmf22rEm3TfcuIiCuzqso+N6wp4YMu9Y9Xt5wGEt7BPK4GWSlTHt 38B8yR/0AzsJcDU/MBuaL9VdF1M2xpjGGOF6bKIN8d7nwlBA1b5IehtDMhWfS+FyPosdz7ze 1P0sghM/pJVN3bCRfYpPNzrUZp0l/mxSoqNuhXogjxmMscZmOivrHEGWKJs9z2FfLUEy/BhY cbCLa5A815GV/g7pNZJewvt+eZzmnpWKZL7Spf8wBCquYdyl1bEIYrpxGCmN7hjhIvd+Fu92 48Ga6OilksCOMWjPXG/2dBJcTgicyNgbbio8Jw/SwJ2ClA5cI3XI6SBn+1Jlk0Mt/g9q9okC VnkBB4DkAej1SabQehIA1g6AI7SsV9EhSpTFUQR0ZyAghDPuK7+t/tNRIh9ZrQ96u1owNh9S vRPKY3KAe1CRn6Ds34RZIX05t4qPhm6pxO8Dwz8ahgGfrlkW1Po/P3gdVDR7yUgNHe8mvY/h LyC7TnlZ6Q/aT5sN+voTc6+7kiQuCEdkd1iXkGTLdh0fl7twbdQKCfwr6EWJpgMICrc2jC1y BayPiYIg/vsvr1vocf737CAi4KPDeFFP1F7GlPD5u2cLhjq/WuEwK5BXt2XfDvbanjGxaW6a chRzND+KPcijn8Ql6ZdSpFFlbkf4fnrrJ9kljVUJm3BNQmXO+kxM0u40tlqnYwT4L1g4C+de F+Fo/teMpW3YPLVKkYbflcZX77SxMMvu2fg6NouKx/H/w5xxr2MVHtSMzSqiCBwKLhUMpsv8 dw+ufw5uhCOtR43Dumo1ixk1XyADnglYZUVsps3BIzKiA1yxGpSPr3aKCv9u6+UZ/t2b0IFH z6zhYj5vYp6+HbsSXQIOEL27bJvvqhW4BFu530eFmuNgevA16MW3gUO0DEZTTZ17xRg0sB1M FdFL0deeKeEpW9poONhXGmcPR5LKzPE2072ynoPzHb4SWvxXEPzDWQNA8S/12FHzHB9Jx9w4 6O95Fv+dwrTbOXd/3cXSFF0jf7OVvlz/VDyo9+mFMG7AJUKWzrprauwb24uqRG8I8cOqGDYh Ott7sBiQLbaMHMOnqgFFIWq77QcZxSaLmhkQ/s63qcoH3nZSQ6iywq1NEG9VcNcFcPkqXbiJ ZRVGftOcBCi2AKljDMRX/cMKoApus8Z3oMJf7ezKFMWt7eakCFSj6vR0SrA1UsLWNRllPgvJ rzBLwyiFnOivloKumvvgvQdBE+GT4gqWAnO0tqx0t01LLMYkeQ1cUgNwrq+5HqUFw18/iOrh gDIZo6I7ulu1bVTm5DIF4NdDT6VMvL2bvyDqyqoguRNbPTOEMbAjBwUoV/ZJDZrPaMddtB0t LaVuvv14R/hkJMpdVvGwr+tOrJs58qgeMZ2aOfMM2h8jy+OfOTO8ikz0Tm0BrIRmewM+/T9Y RWzbfWBUOI8WvBf4SZwQDdfGRNMMJbHRP7sig3lpsvdFyVH9xLMKe6m0nrbbWt7UCssEL+mA y/Wv8ee3PxpnL5uNjQlWc4/W4RZJWX9U5QIb9fy7DmULle5i2O454fNq0AS1iHpOFKlTuDKu J7Lf02rPlD68qTF18pQvIFOrwUaRiQ1y/U5ekUGvcV6kXamBWoBNv4QKogCFooSqCHpyZXkf 3vYWQPO08kmsehsKn0QIegPXztzwsQLM9b9YyQtpgaaMnjsQoyHB7Rl+2Fr5HIelv4PCg24A Yl2x5EyFkHZLlJVqSI76fmygOMhzfTfrp7N0V6oiNT8Wn7yHp1TvEGM32NxuejvHMTElUGNL m8wLYyBrIdXVmapeftdl7Vp9N31cd8hI/jErctC/ToHh7im8Q==
- Ironport-hdrordr: A9a23:D+RgcKhOpOC9KiH3V2UEbNeBUnBQXuUji2hC6mlwRA09TyVXrb HWoB17726NtN91YhsdcL+7Scy9qB/nhPxICMwqTNSftWrd2VdATrsSibcKqgeIc0bDH6xmtZ uIGJIOb+EYY2IK6/oSIzPVLz/j+rS6GWyT6ts2Bk0CcT1X
- Ironport-phdr: A9a23:Q+HkZBME9E9UWQSz2L8l6nb4BBdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDv6gr1QGQFtyAo9t/yMPo8InYEVQa5piAtH1QOLdtbDQizfssogo7HcSeAlf6JvO5JwYzH cBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1JuPoEYLOksi7ze+/94PTbglSmTawYK5+I BqroQjfq8IbnZZsJqEtxxTGpXdFZ/5Yzn5yK1KJmBb86Maw/Jp9/ClVpvks6c1OX7jkcqohV bBXAygoPG4z5M3wqBnMVhCP6WcGUmUXiRVHHQ7I5wznU5jrsyv6su192DSGPcDzULs5Vyiu4 7ttRRT1kyoMKSI3/3/LhcxxlKJboQyupxpjw47PfYqZMONycr7Bcd8GQGZMWMFeWTFcAoOnd 4sAEfYOPfpWoYn6olsBtxq+BQ+xD+/rxTJFgnr60Ksn2OojDA7GxhQtEN0AsHvWrNv7OqQcX /2rwqTW0TrOdOlZ1Svn5YXSbhwtvfOBULRtesTR00kvEAbFg02MpIzgJDyVzPkNs3OG5ORlT +2vk2knqxpwojOywcosiZPGhpoSylDf9CV12pw6JdijR05hfN6kC4Bdty6fN4RsQ8MiR3tkt zo9yr0DoJO2ejUBx5s7yRDFcfOHb5SI7Qz5VOaXOTp2i25oda6jixqv70Sty+LxWMa13VhFr CdIk9vBu3MQ2xLT6saKV+dw80Ou1zuAyw3e9uBJL04omKfYK5MszKA8m5wOukrNGS/2nV/5j K6Qdkg89eio6vjnYrX7ppCHLYN0iwb+P6IzkcK8GeQ1KhYCU3Sf9Oim17Du/Vf1TKtXgvA5i KXVrZLXKdodq6WkGQFayJwj5Ay6Dzq+0NQXg30HLFVddRKClYfpOlXOLOngDfe7nligiTlry +3EM7H/GJnNIX/DkLDufbZ59UFQ0hY8zdda555MC7EBJuz8WlPpudDGEhM0Nxa4zuXnBdlny I8SRG2CDrWEPK7Qr1OE/ucvLPONZI8Rtjb9Mf8l5/v2gH86g1AdZa6p3YAWaHyiBPtmJl6WY WDxgtcaCmoKsQ8+Q/briF2GSzJce3GyX6ck6jE9E42pFZ3DSZy1gLydwCe7GYVban1eBlCWD Xjob5mEW+sLaC+KPsBhlSUEWaG9RI8lyBGhrxT3y6FnL+rR4i0Xr4jv1Nlz5+3JlBE97yZ4D 8qH0zLFc2Yhm2QDTno/2qZ4vEp2x3+H0LNkxf1EU8FOoehEFk83KILN1+FhI9vpHBjcONGND B6vTdmvSWU4Qd4469sPeFpmXd6ihxTG0jCxRaQYwfjDD5stt6nYwnLZJsBnyn+A2rNlx0U3W sZUcGSggKli8QPeL4rIiFmC0b2nfL9awTbA8mHFwGaT+AlYWRVzXKHBdXAWfUjbqdC/4VnNC /euDrEgLgxZ2NKTMqZWatDul0RuS/DkN9DTbHi2hn+rQx2Pw+Cido3vLkwY1j/AEwAnmhgU5 nfOYQs3HiC6oiTXCTZ0CEnHbEbl8O04o3S+GBxnhzqWZlFsguLmsiUeguaRHrZOh9rs2Q8ko jRwRxOm2s7OTsGHv0xndbldZtU05BFG03jYvkpzJM/oNLhs03gZdQk/pEbyz1NvEIwVksEyq 2grigN3I7iFy3tOcjqZ2db7PbiEYnLq8kWXYrXNkkrbzM7Q/64O7PoirFC2vwixEVEjtXxi2 cNIyFOT45zLCEwZVpeiGl0v+U1coLfXKjI4+5uS1XBoNvystSTe3tsyGOY/4hOpftMaKKfdU QGrTJdcCM+pJ+gn3VOua3roJch086g5d4OjfvqCg+uwOfp42SmhlSJB6Zx81USF82x9TPTJ1 tAL2aPQ2AzPTDr6gFq716K/0YlZeTEfGHa+win4FcZQYKN1Z4MCFWapJYW+2Nx/g5fnX3MQ+ kSkAhsK38qgeBzaaFKYv0UY1k0Ppmem3yK9xSZpiBkmq6Oe2GrFxOGjPBsLN2hXRXVz2E/2K NvR7ZhSV0ypYg410Rq9sByilu4L+eIldjWVGBgSLE2UZyl4X6C9t6SPeZtK4ZIs6mBMVfikJ EudUvj7qgcb1CXqGy1fwio6fnekoMac/VQyhWSDIXJ0tHecd9t3wEKV59XEQuVQmDMDTjNlk hHYA1G9O5+i+tDexPKh+qiuEnmsUJFea3yhzoqYszC6o2RvCweihNi8n9TmFU4x1iqxhLwIH W3Y6R37ZIfszaGzN+lqK1JpCFHL4M1/Aohik4E0ifn8wFAij46OtToCmGb3apBA3L7mKWEKX XgNysLU5w7s3AtiKGiIzsT3TCfVzsxkbti8KmQYv0B1p8NDEKCP7fpNmCFvv0GQogfYYPw7l TAYgfcj838VhegVtRFllH3MROBPWxMBYWq1yE7A5svbzu0ffGu1dLmsyEdy1cusCr2PuEAUW Xr0fIsjAT4l68x+NFzW13igj+OsMNLUbN8VqliVi0Ka17kTeM93zKNWw3M4YzGY3zVt0eMwg B1w0IvvuYGGLz4o56elGltDMSWzYcoP+zbrhKIYn8CM3onpEI8yf1dDFJbuU/+sFyof8Pr9M APbWj41snCAGPzWGAWF9VxOoHfGEpTtPHaSbip8r50qVFyGKUpTjRpBFjYzhpkiF0ajwcb7b VxR6TUY51q+oRxJgLENVVG3QiLUowGmbS0xQZ6UIU9N7w1M0EzSNNSX8uN5GywLto3ktgGGL XaXIhhZFWxcEFLRHEjtZ/P9gLuIu/jdHOe1KOHCJKmDufALHend3oqhi8Nn52rebZjJZyg6S adnhQwbGiolU8XBx2dRF2pNzHmLNpDD4k/7o3wSzIj38ey3Clyxo9LXUf0Kd40ooUj+gL/fZ bDOwnwleHAIjtVUgiWQgLkHgAxN0Wc3K3/0QO5G7WmUHMey0udWF0JJNH81bZEVqfp6hk4UZ 4bako+nj+YoyKdqVBEVEwSmwJjhZNRWcTjibxWeVRrNbPLeYmSVpqO/KaKkFe8K1LQS50D24 GzLVRekZ2vLliG1BUr2b6cR3GfCbUYY4MbkI15sETSxFou4LEfgYZks13tuhuRl4xGCfXgVN Tw2G69UhpuX6y4QwvB2Gmgaq2FgMfHBgCGBqe/RNpcRt/JvRCVyjeNTpnogmfNT62lfSfp5l TG3zJYmqky6kuSJ1jtsUQZf4jdNioWRuEx+OKLfvpBeUHfA9RgJ4C2eERMP79diD9TuvehXx L2t3OrrLyxe9tvP4cYGL83dKcbCKH54dBSwR2SSAwwCQjqmc2rYgg0Vkf2f8GGUsolvqpXon 8lrKPcTX1g0G/UGT0V9SYZacdEnA3V+yOLd1ZFSth/c5FHLSc5Xv47KTKeXCPTrc3OCiKVcI gAP2fX+JJgSMYvy3wpjbEN7lcLEARm1P5gFryt/YwszuEgI/mJ5Szh52Ev9bRispnYWH+Sph TY5jwJ/ZaIm8zKmsDJVbhLa4TA9lkU8g4CvmTeKbDv4N7u9R6lTAivw8lA1a9b1GlkvKwK1m kNgOXHPQLcb3N4CPSh7zQTbv5VIA/tVS6ZJNQQRyf+gbPItyV1Aqy+jyCevAMPKDJJjkE0hd pv+9xqoNCpsadc0IerbI68blzC4Z4qLty6sk/g1mUoQfhlXtmyVfyEMtQoDMbx0f0KV
- Ironport-sdr: 63ea1059_F+AYVz5EFU6n2yMCG0bNGMphJW3a9th0TWljYm7bTtWxcst 6stbbQK69aViModeMtooczUlpljo/+EMkPXeYjA==
COST Action CA20111 EuroProofNet
Open call for Short-Term Scientific Missions (STSMs) and ITC conference grants
Dear Action members,
The next grant application deadline is:
1st March 2023
*What is an STSM?* A Short-Term Scientific Mission (STSM) is a research visit of an individual researcher from a country participating in the Action in a different country also participating in the Action. We encourage STSMs, as they are an effective way of starting and maintaining research collaborations.
*What is an ITC conference grant?* An ITC conference grant allows a young (<=40) researcher who is from an ITC or near neighbour country (*) to present a work related to EuroProofNet in a high-level conference fully organised by a third party, i.e. not organised nor co-organised by EuroProofNet. Reimbursement rules are the same as for STSMs.
Find all the details concerning application on https://europroofnet.github.io/grants
Do not hesitate to contact us if you have any questions.
Best wishes,
Danijela Simic and Ambrus Kaposi
EuroProofNet STSM Coordinators
(*) Inclusive Target Countries (ITC): Albania, Bosnia and Herzegovina, Bulgaria, Croatia, Cyprus, Czech Republic, Estonia, Georgia, Greece, Hungary, Latvia, Lithuania, Malta, Moldova, Montenegro, North Macedonia, Poland, Portugal, Romania, Serbia, Slovakia, Slovenia, Turkey and Ukraine.
Open call for Short-Term Scientific Missions (STSMs) and ITC conference grants
Dear Action members,
The next grant application deadline is:
1st March 2023
*What is an STSM?* A Short-Term Scientific Mission (STSM) is a research visit of an individual researcher from a country participating in the Action in a different country also participating in the Action. We encourage STSMs, as they are an effective way of starting and maintaining research collaborations.
*What is an ITC conference grant?* An ITC conference grant allows a young (<=40) researcher who is from an ITC or near neighbour country (*) to present a work related to EuroProofNet in a high-level conference fully organised by a third party, i.e. not organised nor co-organised by EuroProofNet. Reimbursement rules are the same as for STSMs.
Find all the details concerning application on https://europroofnet.github.io/grants
Do not hesitate to contact us if you have any questions.
Best wishes,
Danijela Simic and Ambrus Kaposi
EuroProofNet STSM Coordinators
(*) Inclusive Target Countries (ITC): Albania, Bosnia and Herzegovina, Bulgaria, Croatia, Cyprus, Czech Republic, Estonia, Georgia, Greece, Hungary, Latvia, Lithuania, Malta, Moldova, Montenegro, North Macedonia, Poland, Portugal, Romania, Serbia, Slovakia, Slovenia, Turkey and Ukraine.
COST Near Neighbour Countries: Algeria, Armenia, Azerbaijan, Belarus, Egypt, Jordan, Kosovo, Lebanon, Libya, Morocco, Palestine, Syria, and Tunisia.
- [Coq-Club] Call for STSMs and ITC conference grants, deadline 1 January 2023, Ambrus Kaposi, 02/13/2023
Archive powered by MHonArc 2.6.19+.