coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Ambrus Kaposi <kaposi.ambrus AT gmail.com>
- To: 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: Ornela Dardha <Ornela.Dardha AT glasgow.ac.uk>
- Subject: [Coq-Club] Call for STSMs, deadline 3 April 2022
- Date: Tue, 8 Mar 2022 09:44:18 +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-pg1-f176.google.com
- Ironport-data: A9a23:unGTDqz5VKILfUeXkwV6t+cFwCrEfRIJ4+MujC+fZmUNrF6WrkUOn GEdUTrXOPqJZGbweNh1aYi/8xhT75HSxtRhSgtqqFhgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefQAOOU5NfsYkidfyc9IMsaoU8lyrZRbrJA24DjWVvW4 YOq+qUzBXf8s9JKGjJMg068gEg31BjCkGtwUosWOJinFHeH/5UkJMp3yZOZdxMUcaEIdgKOf Nsv+Znilo/vE7jBPfv++lrzWhVirrc/pmFigFIOM0SpqkAqSiDfTs/XOdJEAXq7hQllkPh75 85GicKcTzxuI/3Rxe4HcxVUFidXaPguFL/veRBTsOSWxkzCNmPjmrBgVR5oe4If/elzDCdF8 vlwxDIlNEjSwbLrhujiF6812ZpLwMrDZOvzvlljxCneFvdgSJXJWbjRzdBd1TY0wMtJGJ4yY uJGOGI2M0uYC/FJEn48Nb09rf6Xv3D+TwJf8Vafnbo3zGeGmWSd15C0aIaPEjCQfu1emV/dr Wbb9UziExQCPZqezyCE+zSinIfycTjTXYsTEPig+acvjgTMmCocDxoZUVb9qv684qKjZz5BA 0Y74SES84Q0zwu2HsSgVQeYrHKBuDdJDrK8DNYGwA2Kz6PV5SOQCW4FUiNNZbQaWCkeFWxCO rihz4OBONB/jFGGYSnCqerM/FteLQBQfDBSP3ZVJecQy4C7+Nlbs/7Zcjp0/EeIYjDdHDjxx 3WSo3F7iexM04gE0KK0+V2BiDWpznQocuLXzlWMNo5GxlkhDGJAW2BOwQaDhRqnBNvJJmRtR FBex6CjABkmVPlhbhClTuQXB62O7P2YKjDailMHN8B/q2rzpCHzJdgMuGgWyKJV3iAsKW+Bj Kj76VM52XOvFCbCgVJfP9joUJxzlcAM6/y8D66EMbKinaSdhCfepH00DaJh92/ql0conMkC1 WSzIK6R4YIhIf0/llKeHr9DuZdyn3xW7T6NGPjTkkv/uZLDNSb9YepUazOmM7FphIva+1692 4gEZ6O3J+B3CrKWjt//qt5Nczjn7BETWfjLliCgXrLbclo8RjB7UKO5LHFIU9UNopm5X9zgp hmVMnK0AnKm7ZEeAQnVOH1ldp31WpNz8SAyMSA2bASn3nEiZcCk66JGL8k7erwu9epCy/9oT qldK5/QXKgXEjmXqS4AaZTdrZB5cEv5iA+LOR2jamdtcpNlQTvP5dK5LBDk8zMDD3bsuMZn+ ++g2wrXTIAtXQNnCMqKOvujw0ng73cYkeN2GUDPJ4ALKknr9YFrLQ33j+M2c5lcc0WdmmPC2 l/PUxkCpOTLr4sky/XzhPiJ/9WzDu9zPktGBG2Ev7u7MC/t+GD8k4JNVeC/ey+ECDH59aCkU uViz//mNcoBklsX4ZF3FKxmzP5n6tbi++1awwBjECmZZlinEOk8cHyP3M0KrqIUg7EA5lXwV UWI9d1Xf76OPZq9QlIWIQMkaMWF1O0VymaOt6VreB2i6X8l5qeDXGVTIwKI1H5XIoxzPd532 uwmosMXt1Gyh0Z4KNqAlSwIpW2AImZaD/civ5AeRZfk008lkw4cJ5PbDSDy7deEbNAVahsmJ TqdhazjgbVAxxqdLyBiSyCVhecN144TvB1qzUMZIwjbkNTygPJqjgZa9i46T1gIwxhKuw6p1 rOH66GoyWSyEzZUaAxrWmmtH0RZC0Tc9BWulR0Gk2rWS0TuXWvIRIH41SBh42hBm1+wvBACl F1b9IoheTnvdcD1mCA1XCaJbtT9GMdp+FSqdN+PRqy48lpTXdYhqqCrbGsM7RDgBKvdQaEBS fZCpI5NVEEwCcLcT2DXxWVXOXT8hS1o/FB/fMw=
- Ironport-hdrordr: A9a23:Q09Q1q2bFd2ny8VrQ1jtNwqjBI0kLtp133Aq2lEZdPWaSL3gqy nOpoVi6faQslwssR4b6LW90cW7MBHhHNtOkOos1NSZPTUO2lHYSL2KhLGKq1bd8m/FltK1vp 0QFJSWZueAa2SSTvyX3OB7KbsdKRW8n5xATN2x80tQ
- Ironport-phdr: A9a23:6ArXsxbQ5iikgKHfBdEyCrD/LTHH2YqcDmcuAnoPtbtCf+yZ8oj4O wSHvLMx1gWPBNyGoKsd2qL/iOPJYSQ4+5GPsXQPItRndiQuroEopTEmG9OPEkbhLfTnPGQQF cVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZvJuTyB4Xek9m72/q99pHNfQlEniexba5yI Rm5sAndq80bipZ+J6gszRfEvmFGcPlMy2NyIlKTkRf85sOu85Nm7i9dpfEv+dNeXKvjZ6g3Q qBWAzogM2Au+c3krgLDQheV5nsdSWoZjBxFCBXY4R7gX5fxtiz6tvdh2CSfIMb7Q6w4VSik4 qx2UxLjljsJOCAl/2HWksxwjbxUoBS9pxxk3oXYZJiZOOdicq/BeN8XQ21OUNtMVyxaGoOzc ZcAD/YPM+ZfqonyvVoOrR2jDgWoC+7izjpEi3nr1qM4zushCxnL0wMuH90MsHraotb7OroMX ++p16TH1ynPYulM1Dvh9ITFcBYsquyMU7JqdsrRzFEiGh/AjlqLs4zlIiiV3fkIvWeB9+pgU vmvi286oAx2oTig3N8sio7ShoIU0FzL7yB5z50vJd2lU052etGkEJ5KuCGbM4t6WN8tQ2Ztu CsjzLANpJG0cjQQxps92x7fd+KIc5KO4h/7VuudPTl1iWxldb+7mhu/8kitx+7iWse60ltHq ipLn8TRu30CyhHd5ceKRPVj8kqu2TiC1gHe5vxZLU07iafWKZgsyaM+mJoUtETMBC72mEPug aCKcUUk4fSo5/75bbX7vpOcOI50ih3+MqQzgcOzG+U4Mg8IUmOG+uq8zKXu8VPlTLhOlPE7k anUvIrEKcgGpqO1GRJZ34Qi5hu5Ejyoys4XnWMdI1JAYB+Hj5bmO1XJIP3gCPewmVWskDNyy /DeMb3tH4zBLnbenLrjfLtx8UFcyA00zdBQ45JbFKsNL+70Wk/0rNDYDxk5PBKow+v/Ftlxy ocTVXiMD6KZKq/er0KE6+I1L+WRZoIYuS7xK/0/6P7viX85l0Udfa6s3ZYPa3C3BOxmI0KCY XrtmNsOC2IKsREkTOz3k12PSjFTZ3OoUKI94jE3Ep6pDYDGRoy1hryOxz+0HodKaWBeFlCMD XDoep2ZV/sUciKdPtdhkiAYVbimU4IuyRautBbjx7V7KurU5zYXuIn41Nl14u3TjQs9+SZ1D 8SbyWGNTnt7knkGRz8sj+hDphlw10uSyaVjq/dDU8ZOofVNFk8zOpLVh7hzBNz7cgbAZcuSD l2mS9GjDCsqCMk8lZtGaEFkXt6mkxrr3iywArZTmabPTIAl6q/HmnH3IcFgzX3L/K0glEU9B NBCPHbgm7Zy8Q6VCoLU1w2Znr2peKAY9C7E72SOyW7Iu1tXFEZwVqDCQXcHd1fHtdnl5k7FV a6GBrMgPQ9MxtSFN7NRLNbuiAZoXvDmbf3baXisgC+TDA6P3bLEOInjY2IG3WPUDUIejhs78 nOPNAx4DSCk9TGNRAdyHE7iNhu/udJ1r2m2GwpplmliDmVk3ruxoVsOgOCEDugUxvQCsTsgr DN9GBC82cjXApyOvVkpZ71SNPU65loPzmfFr0plJJX1LKl6gUUfNQ1ytVnzzD14D4xBlY4hq 3Z5hBFqJ/eg2UhaPyidwYi2P7TWLmfo+xX6aKfO3Urflt+T8L0S89w3rlziuEeiEU9xu25/3 Yxz1H2Rro7PEBJUUZ/1VRMv8ANmorjBfiQnz4bd1HkpKabt9zGbhIxvC+wixRKtOdxYNctoD SfUFMsXT4irIe0uwB2yaw4ceftV7OgyNt+ncP2P3OiqOvxhlXSolzYP5oc1yU+K+ydmL4yAl 58Y3/GV2BeGXDbgnR+gtM7wg4VNeTAVGCK21yHlAIdbYqA6c5wMDC+iJMi+x9M2gJCIOTYQ9 1e7AEgHnsascwCPdHTy2ARR0QIcpnnm0Sq0wjpoki04+7KF1X+roayqfx4GN2hXAWh62A20c M7k0pZABRXuNld3x37HrQ7gyqNWpbpyNTzWSEZMJG3tKn16F7C3rvyEatJO75UhtWNWVv69a BaUUO2YwVNS3iX9Em9Z3D1+eSutv8CznBVij3mcan92pmDEYul/wB7e4JrXQvsbjV9kDGFoz CLaAFSxJYzj/tyMkIzC9Om7XXi8TbVcdCDqycWLsy7xtggISVWv2vu0nNPgCw0z1yT2gsJrW Sv/pxH5eoD31q6+PIqLZ2FQDUTno4p/E4B6yc4rgY0InGMdntOT9GYGlmH6NZNa37j/ZTwDX 2xDz9nQ6QnjkEptSxDBj4HwTnKGw41oYtOgf3g+1Sc07sQMA6CRpLBJhip6pFOkoBmZO6As2 GdAj6F3tThD3L9BsRFIrG3VGr0IGEhEISHg3w+F6dyztuQfZWqid6SxyFsrmNmgCL+YpQQPP RSxMpwmHCJ28oB+KAeWiCy1utyiIoCNK4tM6E7x8V+IleVeJZMvm+BfgCNmPTm4png506sgi gQo25imvY+BImEr/aSjAxceOCemAqFbsjzrk6tamd6bmo61GZA0UDYCRJzzTLShFTgIqO/PO AOHETl6oXCeU+m6f0fX+AJ9onTDHor+fXKePH4CzJNrQROHOVd3jwUdXTF8lZk8XFPPpoSpY AJy4TYf4UT9ox1Hx7dzNhXxZWzYoR+hdjY+TJXMZAoT9AxJ4F3ZdNCP9u8mVT8N5YWv9UbeT w7TLxQNF2wCXVaIQkzuLqX7r8eV6PCWX6K/N6ecOujI8L0GEa3UmtT3ldE6tzeUapfRYj84V KZ9gxQbGyg+QpW8+X1HSjRLxXyTKZfD/lHkvHUw9Jj38ey3Clyxo9HTWv0CaZM3vEruyaaba 7zP3mAgdXABh8lKnTiRmN19lBYTk308KGXrSO5d83aLFOWJxOdWF0JJMnsjcpIXsORsmFEKY 5eTi8uphOcn1bhsWgsDDRq53Zj3AK5Ca2ClaAGdXBfNZOnAfGebhZmwOPz0SKUM3r8N6Vvt6 XDCQhWlZnPaxnHoT0z9a7gSynvAbVoF4sflNU88bAqrBMTvbhnxWDNupRsxx7B8xnbDNGpHd CN5b1sItbqIqyVRnvR4HWVFqHtjN+iN3SiDvaHeLd4NvP1nDz4R9aoS6Wkmy7ZT8CBPReBk0 CrUoNl0pli6k+6JgjN5WRtKozxPicqFp0Jncane85BBXz7D8ndvpS2IDA8WotJ+FtD1k6VZy 9yKjK2qbTkbrIyS8swbCMzZbsmANTtpMBbkHiLVEBpQTTOvMjK65QQVm/WT+3uJ65ki/8K0y dxeF/kBDQFzT6xEWSEHVJQYLZx6Xy0pi+uehc8Mvj+lqQXJAd5dptbBX+6TBvPmLHCYi6NFb l0G2+CdT8xbO4vl1khlclQ/kp7NHh+aXtlVpTZgKAYxql9Q61BxS2Qy3wTubQbnsxpxXbak2 wU7jAdze7Fn7DD3/1I+PUbHvgM1mUg13M3q2HWfKWGvaqi3Wo5SBmz/sE17YfaZC05lKAa1m 0JjLjLNQblc2qBheW5cgwjZoZJTGPRYQMWsgTcVzPCTIu0niBFS83r5g0BA4uTBBN1pkw54K fZESlpP3gtiaJg+IqmCfMKhIXBfg6uPummj0eVjmWcj
- Ironport-sdr: xaeJpBbu2hw+sgEyR6hYycvOVCS+ow6FjYo0/sOD/NdS+sr1Usz0KmH3pI+dSAb/kM8RotLhML Tw2d+wJilP2+pn8n52vBqximhTnu2HpHi2nmVzCBtgl0yFDlAIH26V64XgOW6zrBKS/Emk0H7W PbANDppJHXRPfIP8sBNQD5cWTOrK5ytihuGknpsraHAl0ixTwTCdtFUa6K+xy+lUSO2NCyayQa wB+spFX4SfAQe5baIPO+5cNY+jHA6UPdpFoHzWaA+jWFXYhXN+C55pbAETQ0R25HCruqn16MyC hecqcu6tHGfmyMcQwuTt0XgJ
COST Action CA20111 EuroProofNet
Open call for Short-Term Scientific Missions (STSMs)
Open call for Short-Term Scientific Missions (STSMs)
Dear Action members,
Proposals have to be submitted on
https://e-services.cost.eu/activity/grants/add?type=STSM (you need to
add a bank account on your e-cost profile first).
The deadline is 3 April 2022 (AoE).
We are especially looking for applications from women and from
working groups other than WG3.
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 collaborations.
The procedure for proposing an STSM is described in Annex 2, section
2.3, of the Annotated Rules
(https://www.cost.eu/uploads/2021/10/COST-094-21-Annotated-Rules-for-COST-Actions-Level-C-2021-11-01-1.pdf).
The main points about STSMs are:
* An STSM must be between two different countries which are
participating in the Action.
* The typical duration is one or two weeks. We favor short missions so
that more people can get funded.
* The financial contribution for an STSM is a fixed grant based on the
applicant's budget request and the evaluation of the application by the
STSM assessment committee. The grant will not necessarily cover all
costs of the visit. The grant only covers travel and subsistence and is
transferred after the STSM has taken place.
* Recommended grants:
- up to EUR 120 for daily allowance (depending on the location)
- up to EUR 400 for travel.
- the total may not exceed EUR 4000 (this is a hard limit)
* As part of the application form submitted through e-COST, the goals
of the mission have to be described including how it contributes to the
objectives of the Action (see https://www.cost.eu/actions/CA20111),
which working group(s) it contributes to, and a confirmation from the
host that he or she will receive the applicant.
* Proposals should be submitted by the deadlines.
* STSMs must end before the end of October.
The criteria according to which funding will be decided are in order:
* importance with regard to the research coordination objectives
* inclusiveness target countries
* age
* gender
* team with low resources
* balance over the action life time between people, teams, countries
and working groups.
After acceptance, to get reimbursed, a short scientific report must be
submitted through the e-cost system along with the Host’s approval of
the report, within 15 days after the end of the STSM.
For more information, see the website of the action https://europroofnet.github.io.
Regards,
Danijela Simic and Ambrus Kaposi
EuroProofNet STSM Coordinators
Proposals have to be submitted on
https://e-services.cost.eu/activity/grants/add?type=STSM (you need to
add a bank account on your e-cost profile first).
The deadline is 3 April 2022 (AoE).
We are especially looking for applications from women and from
working groups other than WG3.
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 collaborations.
The procedure for proposing an STSM is described in Annex 2, section
2.3, of the Annotated Rules
(https://www.cost.eu/uploads/2021/10/COST-094-21-Annotated-Rules-for-COST-Actions-Level-C-2021-11-01-1.pdf).
The main points about STSMs are:
* An STSM must be between two different countries which are
participating in the Action.
* The typical duration is one or two weeks. We favor short missions so
that more people can get funded.
* The financial contribution for an STSM is a fixed grant based on the
applicant's budget request and the evaluation of the application by the
STSM assessment committee. The grant will not necessarily cover all
costs of the visit. The grant only covers travel and subsistence and is
transferred after the STSM has taken place.
* Recommended grants:
- up to EUR 120 for daily allowance (depending on the location)
- up to EUR 400 for travel.
- the total may not exceed EUR 4000 (this is a hard limit)
* As part of the application form submitted through e-COST, the goals
of the mission have to be described including how it contributes to the
objectives of the Action (see https://www.cost.eu/actions/CA20111),
which working group(s) it contributes to, and a confirmation from the
host that he or she will receive the applicant.
* Proposals should be submitted by the deadlines.
* STSMs must end before the end of October.
The criteria according to which funding will be decided are in order:
* importance with regard to the research coordination objectives
* inclusiveness target countries
* age
* gender
* team with low resources
* balance over the action life time between people, teams, countries
and working groups.
After acceptance, to get reimbursed, a short scientific report must be
submitted through the e-cost system along with the Host’s approval of
the report, within 15 days after the end of the STSM.
For more information, see the website of the action https://europroofnet.github.io.
Regards,
Danijela Simic and Ambrus Kaposi
EuroProofNet STSM Coordinators
- [Coq-Club] Call for STSMs, deadline 3 April 2022, Ambrus Kaposi, 03/08/2022
- <Possible follow-up(s)>
- [Coq-Club] Call for STSMs, deadline 3 April 2022, Ambrus Kaposi, 03/24/2022
Archive powered by MHonArc 2.6.19+.