coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: simona.k AT uns.ac.rs
- To: moca-announce AT list.it.uu.se, eutypes AT cs.ru.nl, 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: kaposi.ambrus AT gmail.com
- Subject: [Coq-Club] Call for STSMs and ITC conference grants, deadline 12 November 2023
- Date: Wed, 18 Oct 2023 11:44:43 +0200 (CEST)
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=simona.k AT uns.ac.rs; spf=Pass smtp.mailfrom=simona.k AT uns.ac.rs; spf=None smtp.helo=postmaster AT massrelay.uns.ac.rs
- Ironport-data: A9a23:cD6tcKwizEKtNO5PBQJ6t+eTwCrEfRIJ4+MujC+fZmUNrF6WrkUPm DZKW2mObv+LZGH9c9wgb9/j8BkB78eGz9FmHQQ9/1hgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefSAOCU5NfsYkhZXRVjRDoqlSVtkus4hp8AqdWiCmthg /uryyHkEAHjg2Uc3l48sfrZ80o35aSq4Vv0g3RnDRx1lA+G/5UqJMlHTU2BByOQapVZGOe8W 9HCwNmRlo8O10pF5nuNy94XQ2VSKlLgFVDmZkl+B8BOtiN/Shkaic7XAhazhXB/0F1ll/gpo DlEWAfZpQ0BZsUgk8xFO/VU/r0X0QSrN9YrLFDm2fF/wXEqfFPs7uRBFV47ALQ4/+BrPWBrr +MkNT8CO0Xra+KemNpXS8Fpj984NsTvNZJZp3d7izjSS+w9KXzBa/yWupkJhXFp2ZsIQp4yZ OJBAdZrRA/BZhpJMxEUII84h6GhjT/laFW0rXrM/vNnvTKNll0ZPL7Fa9WKRc2PRMtvkW2Hv kbU1XXSDDU2K4nKodaC2jf27gPVpgvwX5tXH7ml/NZxkViLzyoSDgcXXB21u5GEZlWWXttEM FYZ/iM/67U07wqiRZ/nRHVUvUK5g/LVYPIIe8VS1e1H4vG8D9+xVjdYHA1SIscrrtE3TjEM3 1qE1YGhTz92vbHfDTrX+r6IpHngcWIYPE0TVx8iFAEl2tjEpJ1srxTtSt04LrW5oOeoEh7Nw heLjhMEuZMtseAx2Z+GoG/32wCXmsCRTyoexBnmYWa+3wYoOK+nf9OJ7HbY39ZhLaGYbACLu l0Zqve78esIKJCpvw6OSdUrA7uGyaukMjrdoFg3BLgn1W2n1ECCdLBqwgNVBRlWIOddXhGxe 27VmwdaxKELDUuQdaUtPr6AUZU7/5bvBfHOd67ybOMXRrNTaQXe3iVlRXDI7lDXiEJ2zJ0OY 8aKQ/2NU0QfJ79slgetZuEn1rQu+CAy6EXTSb3/zDWlybCuX2GUe5hULGqxav0F043crDX36 9p/M+64+ydbWsD6YQjV9tcdFkBVDH4ZAZutlddbWNTeKSVbGUYgKcTr/5UfR6JfkZ94rNz4p kOGZhcAyX7Up2H2FgGRW3UyNJLtRcleqFw4DwwNPHGp+SEpZ6Oy3Zg6apAxWLgD385gxM5SU PMqVZihAPNOazKf4BUbT8D3g7JDfSSRpzClHnSachlmWLA4XC3P2NvvXjW3xRk0FiDt6PcP+ eyx5D3UUb8oZlpEDv+PTNmN0lnon3wWuNwqbnvyOtMJJXndqtl7GRfQ0M0yDdoHcyjY5z2g0 A2TPxcUiM/Nr6Ix8/jLnaq0lJioIcQvAntlG3Tn0pjuORn45maDxapyYNSMdx3ZV0L2//ysX vUK7vfeNPZcok1GnbAhGJlWzIU/xeDVmZlk8ipeEk7mUXGXG5J7A3zf3cBwpqxHnbBYng2tW 3OwwNpROJTXGca8EFVKAhsXUfSD2MpJwzPUyOkEH2Dn7ylS/Z6sc0ZbDz+TggNzcZp3N4IEx 786mcg0sgaQtDsjAuykvAt1qVueC2MmUro2kK0aDKvAqBsZ+nsbbbPyUibJsYyyMfNSOUwUE xqoravlhYUE4HHdcnA2REP/7cAEibsg4Bl1nUI/fXKXkd/4h9gy7h1b0RIzai93lhxn8eZCC lJHBn1PB5el3mlX3ZBYfmWWBQt+KgWT+RXxx3s3hWTpdRSUeVKXHlItG9Sm3R4/wztQcAEOq fvcgCzgXC3xdc784joqVAQ347b/RNh27UvZlNrhA82BGIIgbCH4hrO1I1AFsAbjHdh7kXivS TOGJwqsQfaT2e8sT6wH502y0L0LUwqJIGVTB+xn5+UAFifGY1leHNRIx1+ZIqtwyz7iqCdUy PCC4upSUQ/43S3ItCtz6WskPepvhPBwjDYdUuqDGIPF2odzahJ0tomW/yO4nnRDrxCCVyoiA tu5Sg9u2VB8SZeZd6EhYSWE1qeFjQE4WTDB
- Ironport-hdrordr: A9a23:+gqLYaF+QPA9H0S9pLqE48eALOsnbusQ8zAXPo5KOH9om6uj5q eTdZUgpHvJYVkqN03I9ergBEDiewK4yXcW2+Us1N6ZNWGM0gaVxepZg7cKrQeBJ8SzzJ8+6U 6+SdkZNOHN
- Ironport-phdr: A9a23:omI/ihMuYlHuK1MCLF0l6nboBxdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDv6Ur0geCANqTq6odzbaM7ea4AS1IyK3CmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxB sVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSizexf7B/I A+3oAnNucUbgYlvIbs1xhfVv3dEYetbyX1pKF6Jgxrw+sK894N//ipNvP4s69ROWrjgcaQiS rxYAjUmM2Qr68DuqBLOUwiB6GYCX2sPihZHDBTL4x/8Xpfqryv1rfF91zWAPc33Vr87RzKv5 Lp2RRDyiScHMzk58HzLisF1kalWrg6tqwB5zoXJZ46bKed+frjFfdwEWWVBQshfVytEAoymb osPCfcKMeJXooT5olcDqwa1CwuxC+P10jJGm3/407Mk3usvHg7JwAMuEskSsHnXsNn5KLseX /23waTO0D7Nb+lW2TD46IXQaRAhoPSMXbV2ccXL00UvFBjIjkiWqYz+JT+azPgCv3KB7+p7U ++klmEopR1rrDe12scslpfGhpgTyl3c6yh3z4g4KN63RUN0YdCoDJlduz+ZOoZ5Xs8vXmNlt Tsnx7AYuZO1czUHxIgoyhPcafGKbYmF7xD+WOuSPTt1hHRoc6+xiRa19Eiv0Oz8Vs+s3VZFr ypFjtnMtm0W2BDJ68iHTf1w9Vqi1zaXzw3f9+5JLEIumaffNpIt2KM8m5gdvEjZHCL6gFv6g LOKekk5/+Wl5Pnrb7f6qpKZKYN4lh3yPrgrl8CiBOk0LBUCUmme9OmyyrLj80P5TbBEjvIok qTWrZXXKMAUq6GkDQ9Y1Jso5QylADe8ytsYmGEKLFJbdxKDiIjkI1TOL+rjDfekmVSjjjNry OrGP7H7H5XNKGPDnK37crlh8UJc0hEzwche55JSFL4BPOr+VlL+udHaFBM0NxG4z/z6BNh/2 I4SQ2CCDrecMKzIsF+I4uwvI/OLZI8QoDv9MPkl5/vpjX8/g1ARZ6qp0IAKaHC+BfRqOV+Wb mb2jtcbCmcGpgw+Q/fyh12YTTFTf2qyX7475jwjFY6qFZ3DSZy1gLydwCe7GYVbaXxBClCVC Hvna4GEW+oXZy+JOc9gkjkEVaC7RIM71BGushX6y7t9IebO9C0Yr8Gr6N8g4urYnFQ78zpzE sKW3kmJTnpo2GIUASIrmrty5QRw10uSyaVjq/dDU8ZOofVNFk8zOpLV5+h7EMzpHAnBd9OMR Uy9BM6rRXk6Sct0yNsTaW58Hc+jh1bNxW7iH64NmqfODZoy9b/a1HXZI8dm122Az6QolB87W sZJMyurirM7vwjaHI3El0Gxl6+xdqkY2GjK7mjHhWqJuUZEVxZhTbTdUGwfa0zMvPz24UTNS 7KhE7M6KhAHwsmHeYVQbdi8llRDQ/Hqftf2fmSq3W67QwyTleDEV5bjZ2hIhHaVM0MDiQ1Go Sfu3WkWAy6gpzibFzlyDRf1ZEiq9+BiqXS9R0tyzgeQbkQn2aDmsgUNi6m6TPUelqkBpD9ns y99SU282tXQApyDjxdnZ+NVapUn+wQPznrX4jR0JYfoNKV+nhgbegVzsVnp0kBsC4BHl8Fsr 1s3yhE0IKneykgSPyiA08XWPbvaYnL34Ajpa6PS3QTG182K/64U9Pkig1DqpxqzG04r4jN61 cIT2nDa/I6i4BM6d5X3Xw538hF7o+ufeSwh/8bO0nYqN6CoszjE0tZvBe0/yx/mcc0NeKWDX BT/FcEXHa3MYKQjhkSpYxQYPetT6L98PsWocOGD0bKqO+AolSyvjGBO6oRwmkyW8C80RunN1 pcDi/aWu2nPHyz9iVCnu4b0sZ1CfncbFSyl0mmsBYJcYLFzYZdeEX2ncIW8wtRzgYKoWmYNr QL8QQJfnpb2IlzNPDmflUVK2E8aoGKqg369xj1wyXQyq7aHmTbJyKLkfQYGPWhCQC9ji03tK M66lYN/PgDgYg43mR+i/Uu/ybJcofE1NGjWRkFBOSveMmd5FKK78KCZKZ0qittgoWBMXeKwb ErPAKX8phwc2mXgN3ZY33YyfHewod+q1ww/g2WbInFpqXPfcswl3hbT6uvXQvtJ1yYHTi114 dXOLmC1JMLhvdCdlpOZ9/u7S3rkTJpYNy/i0YKHsiK/o2xsGxy22f6pyJXrFg0z0Cmz0NcPN 22Atxf5ZY/ikaeSLOR8OEBjQkXno8Z3AYBxlIIsiYpYgCRFwMTMuyNYyiGsedxAkbrzdn8MW SIGz7u3qED+1UtvI2jIj4P1W3OBw9dwMtyzY2cYwCU4vIhBDKaZ6qABnDMg+wbn61OIJ6Eix XFCmp5MoDYAjuoEuRQg1HCYC7EWRwxDODD00g6P5Ja4pblWY2Cmdf6x0lB/lJavFuLnwEkUV XDnd5MlBSI14N94NQeGy3z27YftPtr4cNQI8BSf1Q3bxbswStp5hr8RiCxrNHio92Ykzuk9h Fpt9Yy8p86OICN35+jqSg4dPTrzacQJ/zjrhqsLhcea0bekGZB5EykKVp/lHpfKWHoC8O7qP AGUHHggu2+WTPDBSBSH5h4s/DrfVoqmPHaNKDwFwMV+EVODcVdHjllcWSVf/NZxFxj2lpW9L wEov3ZIuQW+9FNN0r46bkWgFDaG4l73MXFrAJmHcEgPsl4Eth6TaJPFqLIWfWkQ/4X//lbVc jXJO10XVTNTAhTcVQmxbOfmstDE96Lw6vOWCfzIbP3OrOVfU63N3pezys58+D3KMMyTP35kB vl920xZXHk/Fd6L0zMIAzcakS7Adav57F+15zF3o8aj8f/qRBOn5I2BDKFXOMlu/Bb+iLmKN uqZjiJ0YThC0ZZEyXjNwbkZlFkc7kMmPyGqCqgFvDXRQbj4n6ZMFAQWbypictZO9OQ11U9XI o+Ti9/40KJ5ku9gC1pBUg+E+InhbsgLLmehcVLfUR/Xa/LXfHuSnJqxPvDZK/UYluhfuhyut CzOFkbiOm7GjDz1T1W1NuoKiiiHPRtYsYX7cxB3CGGlQsi1D3/zeNJxkzAyxqU5w33QMmtJe yN9dkRLp/uTxT5embN2ECpb9TA2SIvM0zbc9OTeJpsM5LFzBT9okutB/Hkg475c9zpeSfh8i W3PqMUoqlrgiPLFmV8FGFJe7z1MgoyMp0BrP67Uo4JBVXjz9xUI9WyMCh4OqrON7/XyvbsWw 9OJjrmhcF+qHPrJ+9BaDsOSMtnVaRLJ0DLsESXPFgYBRC/tKGfEwUVW1uuJpCX9kw==
- Ironport-sdr: 652fa915_k7vq40u3Xu350JW1ndxD4842erFIfS/1GibsKaoZuBoAD3b wEMtPoG6tmDig8tuPoLq0CxPdqx3EINKKJlU0yQ==
COST Action CA20111 EuroProofNet
Open call for Short-Term Scientific Missions (STSMs) and Inclusive Target
Conference Grants (ITCGs)
Dear Action members,
The next deadline for STSM and ITCG proposals is:
12th November 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?* ITC Conference Grants are given to
young (<= 40 years old) researchers affiliated in an Inclusiveness Target
Country or Near Neighbour Country to present a work related to
EuroProofNet in a high-level conference fully organized by a third party,
i.e. not organized nor co-organized by EuroProofNet. Reimbursement rules
are the same as for STSMs.
We are especially looking for applications from Inclusiveness Target
Countries. STSM and ITCG proposals should be between December 1st and June
30.
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,
Simona Prokić and Ambrus Kaposi
EuroProofNet Grant Awarding Coordinators
- [Coq-Club] Call for STSMs and ITC conference grants, deadline 12 November 2023, simona . k, 10/18/2023
Archive powered by MHonArc 2.6.19+.