From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.1 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,FREEMAIL_FROM,HTML_MESSAGE,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 30675 invoked from network); 24 Mar 2022 16:44:41 -0000 Received: from mail-ua1-x93a.google.com (2607:f8b0:4864:20::93a) by inbox.vuxu.org with ESMTPUTF8; 24 Mar 2022 16:44:41 -0000 Received: by mail-ua1-x93a.google.com with SMTP id o21-20020ab02a15000000b003554ca7d306sf1432641uar.13 for ; Thu, 24 Mar 2022 09:44:41 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1648140279; cv=pass; d=google.com; s=arc-20160816; b=pUq94Uvq5efBCfjUTqwFAswAsrDf5J2ssMrRVT7zWsOYy1k3tbXSw2ebDERWDXITfp hcFEFZhTs5yI58ywKQKzQHwQpnyruyctIR6ds3JFUI7D7MpdlyEGe1hEnHzAKNrCyhWB LVdZFOHLqcAkdpdzxETROsqQFRKiDYAqidERqhsy1CnPBmsIC5WYD4cEfF2dqvLPePEX lHx01MyccYN7rRYBE4VtXAZX9WNq59tiJMUy51swK3sx1Um2rGdhcQ+HYAq37hlFTsvC bhlW4DHsfP0keXQXWBCHeK55feR8JjWArK+XHf0jbqwUuh4tmXjZ7NB+7qAtuCtQib0S np9A== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:to:subject:message-id:date:from :mime-version:sender:dkim-signature:dkim-signature; bh=Z2CXo57MfcFDq5HofmmDU5TOjGJqx+HF61f9YMD2g2U=; b=x/bFAutvugWYKGI+3VhaNWJA9o0bMHIbxhS+zYY2JmsxsFo+BTWOftBOgQ8XvNaejd Xsez/B/9BX3rYJv++ukuT5VnY75rL9DzQyYUTT/P8Oz1uFdUaT+UBhw7F4OHWQx/bJQi LEoduEnWro6ssALPWZAhGSXJwSgNl2rB8cRvUpFBn0BUheDmB1Ah1rI7FYOoubqIN5Bu T8bYPEYNL8x1z4Ozy+iPGIvIgSsBsKLNagsj467IBs9QEB1R5rERBFeoUq00x31fudiV XVb+/ZIiosNz6TrBIkZ6Dytkg4V9R3sW85apBZnzDUFhe1NSEzoCyD2kDyxe1pFBm880 tPig== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=NKHj6NEZ; spf=pass (google.com: domain of kaposi.ambrus@gmail.com designates 2607:f8b0:4864:20::52a as permitted sender) smtp.mailfrom=kaposi.ambrus@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20210112; h=sender:mime-version:from:date:message-id:subject:to :x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:list-post:list-help:list-archive :list-subscribe:list-unsubscribe; bh=Z2CXo57MfcFDq5HofmmDU5TOjGJqx+HF61f9YMD2g2U=; b=jr+MUTqvttft6Zw3ov6qZMDYAoR0TQe30lnxw8tRo5nq6iJO8iw62Pk0WcAd5wB+cZ zAwtJQ+UjLyuSyJzTmlvo5JasvFdhnTY5d3QMHKHag7+wQiNJMFedl0H4pnxbYMCbMCB 2131zoWEW5+qzfgA5DMTi4O93oxUTqD/FP2x6631fro4YxtlsAR3D11lVy8vteg29eKi ovz5HtkDB83wL0SzrMA2MdacVwHQz7gqrpYDsBUcKT70we/I6i5Sk0bsM2znp2O+Rdz4 a3Uaw67feBM0q/0a6/e5As69mqNjsAEXreUOhylh0i+3yutF4FdSWs8vTwWLx5b3LQeY allA== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:from:date:message-id:subject:to:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-subscribe:list-unsubscribe; bh=Z2CXo57MfcFDq5HofmmDU5TOjGJqx+HF61f9YMD2g2U=; b=R0MkCZPYbSyO94WAzJYvssAb3w1KCDb3q2+Q9Eh9QqOzi/T1zid88Jv0e4k4V3nmzS J+468L/H3gr+ByT/l/v6T/z+0EANOTwVJThPNr1lF/bNcD0MxlBk8Yf28qWrUJ9ob1Np mmR/FekRSARUX6v3LkIqduVeRouLSXYQjUwRj4+G8TjaIsutGD3vqU1cI5MHg/q/Ahhy EjRidRYiWz80qNzzA3LUwsk8AcWoFOZ6j/qsrjL9at0Z5Db9AHbosPvJzCBtbp0XtEE1 6XH6K7EzgcT2UHYf2TfMwrixrjsAoWJO0Gh7LF/66NCHrJna8SEP7uXZbj+BLQTudP9l s4PQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=sender:x-gm-message-state:mime-version:from:date:message-id:subject :to:x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:x-spam-checked-in-group:list-post:list-help :list-archive:list-subscribe:list-unsubscribe; bh=Z2CXo57MfcFDq5HofmmDU5TOjGJqx+HF61f9YMD2g2U=; b=ObN86DsL+75VhwKig/40PvYihcSURPcDGfdDd4Q19Ci88YYXRjyOoWVJU2o1fU2qGb CRu1i6wMtAV170NIJFsIwCrNZVdZZwHRgdMvZ4k1ttFW/hXovgbVE18eaaj9oYqvSfhF KqnkpOgIxVBeqWhk7hImbfH3m55KnCiwhtKKfLD0FrvArSm9kTudyfLlLwkIA5LpU9nS oWZ5SDrfB2OAmjkfyd/e7+54lMBjO4YHSY3YkdPIYReG7gZfKVr3Afh6DNotDtaF2B6T eLjoeuetFzW2QUphFs02QP/r8wVNXZeHczIIqAOrqi8Y/B2p1uEbGvcnf3+UkrG+OK/L gs6A== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM531aDdSwxcdJPy8I0fiBPKhqD9OD7hy8jbgTWkPq9jgiYQi11WoW m3P+fCInMOhZG4fQ8pGDY7g= X-Google-Smtp-Source: ABdhPJx2GFLKqFN4ug7FbnmFn3wnmpWX3wSCBSFOi64qJn4B3+TXYM0utBsDjeOuys5lSdLenbT27g== X-Received: by 2002:a1f:3244:0:b0:332:2037:83b1 with SMTP id y65-20020a1f3244000000b00332203783b1mr3192120vky.24.1648140279097; Thu, 24 Mar 2022 09:44:39 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a67:2287:0:b0:324:c5d7:67fd with SMTP id i129-20020a672287000000b00324c5d767fdls599781vsi.9.gmail; Thu, 24 Mar 2022 09:44:37 -0700 (PDT) X-Received: by 2002:a67:ea51:0:b0:320:c3a9:414b with SMTP id r17-20020a67ea51000000b00320c3a9414bmr3181813vso.81.1648140277719; Thu, 24 Mar 2022 09:44:37 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1648140277; cv=none; d=google.com; s=arc-20160816; b=no/HeuoVNIKjXzzxw6WUZXXis2rrfOTo7DXnjpCzVAW+uJx7Z67HXp1fJSKgYSdXx6 foxtedlvK2UDKI75q0nVqgUEJAeOVBhskqb4BKjkZ5cod5XBR2Doti4/qpy2yR+XHocJ w/MywAgfxmy3Z2F077lcA11fqjau2SlYywcslAbptOrIkg/eEj5NLFN7YHPady1ip5Sq uxa0zjuvni/swVOndpYl0wXDLUHLkDmCTcbMjOpoKxun/A0qLK4ySmgXg15AEjhgXUOA aJ+CRM1aGEaOko/UVAjvztH3VM9QbuLoKyw3vFJuEvxg3ugBJr8jFMjnTOgfbuqRPnhW CT2w== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:subject:message-id:date:from:mime-version:dkim-signature; bh=7SJR+mX/sAK2xEaAkRmNN5iXaZXa7vc427enYkQKg8M=; b=bmvcZxGlnRF96PNWg+Wl25M1jHMZIrKoiSL7qfGChGMhfHd0++hU8wD5BYuMCnypkt ino5ta2yQFv3dsa7dp/SJwZ/NkbTgwCS/i0wDs7t686V+gkaPS6CU8/UgXdVc9UaY8eo 0k2jEuZw3/FhqAhxOeTXclIhLbKKjNUak6aeOGQNtXxsJ6Gb1TL75kiqe+A2Eq/ID7iu jlkNovHEE6iuKvaLCWSeKxevZuZS7sWK/mnhM+MGbwMKPnoZrnbqLxICXzHg2AMWmB+N PMNCHr7RIwjoK3UIDy1J6LHTPuvCN+FwRHcfohJK7QzjYtGNmxtiatHIr+8FdOYc8Q4N C3CA== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=NKHj6NEZ; spf=pass (google.com: domain of kaposi.ambrus@gmail.com designates 2607:f8b0:4864:20::52a as permitted sender) smtp.mailfrom=kaposi.ambrus@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-pg1-x52a.google.com (mail-pg1-x52a.google.com. [2607:f8b0:4864:20::52a]) by gmr-mx.google.com with ESMTPS id f83-20020a1f9c56000000b003293e1f1b21si114082vke.0.2022.03.24.09.44.37 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Thu, 24 Mar 2022 09:44:37 -0700 (PDT) Received-SPF: pass (google.com: domain of kaposi.ambrus@gmail.com designates 2607:f8b0:4864:20::52a as permitted sender) client-ip=2607:f8b0:4864:20::52a; Received: by mail-pg1-x52a.google.com with SMTP id c11so4256017pgu.11 for ; Thu, 24 Mar 2022 09:44:37 -0700 (PDT) X-Received: by 2002:a05:6a00:10cf:b0:4f6:5834:aefb with SMTP id d15-20020a056a0010cf00b004f65834aefbmr5733939pfu.77.1648140276724; Thu, 24 Mar 2022 09:44:36 -0700 (PDT) MIME-Version: 1.0 From: Ambrus Kaposi Date: Thu, 24 Mar 2022 17:44:24 +0100 Message-ID: Subject: [HoTT] Call for STSMs, deadline 3 April 2022 To: moca-announce@list.it.uu.se, eutypes@cs.ru.nl, agda , coq-club@inria.fr, types-announce@lists.seas.upenn.edu, haskell@haskell.org, homotopytypetheory@googlegroups.com Content-Type: multipart/alternative; boundary="000000000000bbf5b705daf98fca" X-Original-Sender: kaposi.ambrus@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=NKHj6NEZ; spf=pass (google.com: domain of kaposi.ambrus@gmail.com designates 2607:f8b0:4864:20::52a as permitted sender) smtp.mailfrom=kaposi.ambrus@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Precedence: list Mailing-list: list HomotopyTypeTheory@googlegroups.com; contact HomotopyTypeTheory+owners@googlegroups.com List-ID: X-Google-Group-Id: 1041266174716 List-Post: , List-Help: , List-Archive: , List-Unsubscribe: , --000000000000bbf5b705daf98fca Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable COST Action CA20111 EuroProofNet Open call for Short-Term Scientific Missions (STSMs) Dear Action members, The next STSM deadline is: 3 April 2022 Notification: 15 April. We are especially looking for applications from women and working groups other than WG3. *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 collaborations. The procedure for proposing an STSM is described in Annex 2 of the Annotated Rules ( https://www.cost.eu/uploads/2021/10/COST-094-21-Annotated-Rules-for-COST-Ac= tions-Level-C-2021-11-01-1.pdf#page=3D92 ). 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=E2=80=99s budget request and the evaluation of the application by= the STSM assessment committee. The grant may 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) * Proposals should be submitted by the deadlines. *What documents to provide?* Proposals must be made through the e-COST system ( https://e-services.cost.eu/activity/grants/add?type=3DSTSM , you need to ad= d a bank account on your profile first). The following documents must be uploaded: * The application form ( https://europroofnet.github.io/assets/documents/STSM-application-template.d= ocx ) with the following data: - Details of the STSM: title, dates and justification of the grant request (details of the travel cost, accommodation cost and living cost) - Goals of the STSM (max 200 words) - Working plan (max 500 words) - Working group(s) it contributes to (see https://europroofnet.github.io/wg ) and expected outputs and contribution to the action objectives and deliverables (max 500 words, see https://europroofnet.github.io/description ) * A letter from the host confirming that he or she will receive the applicant. * Documents justifying the grant request (quotes for travel and accommodation). *Selection criteria:* 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. *Grant reception:* To receive the grant, a short scientific report must be submitted through the e-cost system along with the Host=E2=80=99s approval of the report, wit= hin 15 days after the end of the STSM. *Changing the dates of an STSM, or cancelling an STSM?* In case you need to change the dates of an accepted STSM, you need to inform the STSM coordinators as soon as possible and provide new dates so that the STSM ends before the end of October. In case you need to cancel an accepted STSM, you need to inform the STSM coordinators as soon as possible. For more information, see the website of the action https://europroofnet.github.io . Regards, Danijela Simic and Ambrus Kaposi EuroProofNet STSM Coordinators --=20 You received this message because you are subscribed to the Google Groups "= Homotopy Type Theory" group. To unsubscribe from this group and stop receiving emails from it, send an e= mail to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/= HomotopyTypeTheory/CACSS4j%3Dd%3Dac%3DgY66i2q-SL-8mSQKcNj0iHs41FFGh8HQrX9bi= Q%40mail.gmail.com. --000000000000bbf5b705daf98fca Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
COST Action CA20111 EuroProofNet
Open call for Short-Te= rm Scientific Missions (STSMs)

Dear Action members,

The next = STSM deadline is:

=C2=A0 3 April 2022

Notification: 15 April.= We are especially looking for applications from women and working groups o= ther than WG3.

*What is an STSM?*

A Short-Term Scientific Mis= sion (STSM) is a research visit of an individual researcher from a country = participating in the Action in a different country also participating in th= e Action. We encourage STSMs, as they are an effective way of starting and = maintaining collaborations.

The procedure for proposing an STSM is d= escribed in Annex 2 of the Annotated Rules ( https://www.cost.eu/uploads/2021/10/COST-094-21-Anno= tated-Rules-for-COST-Actions-Level-C-2021-11-01-1.pdf#page=3D92 ).
<= br>The main points about STSMs are:

* An STSM must be between two di= fferent countries which are participating in the Action.
* The typical d= uration is one or two weeks. We favor short missions so that more people ca= n get funded.
* The financial contribution for an STSM is a fixed grant = based on the applicant=E2=80=99s budget request and the evaluation of the a= pplication by the STSM assessment committee. The grant may 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:=
=C2=A0 =C2=A0- up to EUR 120 for daily allowance (depending on the loca= tion)
=C2=A0 =C2=A0- up to EUR 400 for travel.
=C2=A0 =C2=A0- the tot= al may not exceed EUR 4000 (this is a hard limit)
* Proposals should be = submitted by the deadlines.

*What documents to provide?*

Prop= osals must be made through the e-COST system ( https://e-services.cost.eu/activ= ity/grants/add?type=3DSTSM , you need to add a bank account on your pro= file first). The following documents must be uploaded:
* The application= form ( https://europroofnet.github.io/assets/documents/STS= M-application-template.docx ) with the following data:
=C2=A0 =C2=A0= - Details of the STSM: title, dates and justification of the grant request = (details of the travel cost, accommodation cost and living cost)
=C2=A0 = =C2=A0- Goals of the STSM (max 200 words)
=C2=A0 =C2=A0- Working plan (m= ax 500 words)
=C2=A0 =C2=A0- Working group(s) it contributes to (see https://europroofnet.github.io/w= g ) and expected outputs and contribution to the action objectives and = deliverables (max 500 words, see https://europroofnet.github.io/description )
* A letter= from the host confirming that he or she will receive the applicant.
* D= ocuments justifying the grant request (quotes for travel and accommodation)= .

*Selection criteria:*

The criteria according to which fundi= ng will be decided are in order:
* importance with regard to the researc= h coordination objectives
* inclusiveness target countries
* age
*= gender
* team with low resources
* balance over the action life time= between people, teams, countries and working groups.

*Grant recepti= on:*

To receive the grant, a short scientific report must be submitt= ed through the e-cost system along with the Host=E2=80=99s approval of the = report, within 15 days after the end of the STSM.

*Changing the date= s of an STSM, or cancelling an STSM?*

In case you need to change the= dates of an accepted STSM, you need to inform the STSM coordinators as soo= n as possible and provide new dates so that the STSM ends before the end of= October.

In case you need to cancel an accepted STSM, you need to i= nform the STSM coordinators as soon as possible.

For more informatio= n, see the website of the action https://europroofnet.github.io .

Regards,

Danijela Simic and Ambrus = Kaposi

EuroProofNet STSM Coordinators

--
You received this message because you are subscribed to the Google Groups &= quot;Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to = HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https= ://groups.google.com/d/msgid/HomotopyTypeTheory/CACSS4j%3Dd%3Dac%3DgY66i2q-= SL-8mSQKcNj0iHs41FFGh8HQrX9biQ%40mail.gmail.com.
--000000000000bbf5b705daf98fca--