Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
* [HoTT] Call for STSMs, deadline 3 April 2022
       [not found]     ` <CACSS4jn5m_2gaeo4rn_m8h8NHuoebsJJXK4CH3X=g+O1pvwmTg@mail.gmail.com>
@ 2022-03-08  8:44       ` Ambrus Kaposi
  0 siblings, 0 replies; 2+ messages in thread
From: Ambrus Kaposi @ 2022-03-08  8:44 UTC (permalink / raw)
  To: eutypes, agda, coq-club, types-announce, haskell, homotopytypetheory
  Cc: Ornela Dardha

[-- Attachment #1: Type: text/plain, Size: 3212 bytes --]

COST Action CA20111 EuroProofNet
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

-- 
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 email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/CACSS4j%3D8qVvZVfJ-4aQk9WBD-NPs6nV1ckDQ6Dv-P1WdmO3MjA%40mail.gmail.com.

[-- Attachment #2: Type: text/html, Size: 4362 bytes --]

^ permalink raw reply	[flat|nested] 2+ messages in thread

* [HoTT] Call for STSMs, deadline 3 April 2022
@ 2022-03-24 16:44 Ambrus Kaposi
  0 siblings, 0 replies; 2+ messages in thread
From: Ambrus Kaposi @ 2022-03-24 16:44 UTC (permalink / raw)
  To: moca-announce, eutypes, agda, coq-club, types-announce, haskell,
	homotopytypetheory

[-- Attachment #1: Type: text/plain, Size: 4084 bytes --]

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-Actions-Level-C-2021-11-01-1.pdf#page=92
).

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 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=STSM , you need to add
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.docx
) 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’s approval of the report, within 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

-- 
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 email 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.

[-- Attachment #2: Type: text/html, Size: 5015 bytes --]

^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2022-03-24 16:44 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
     [not found] <9b720e84-5623-2a46-8b1e-83a765fb3765@inria.fr>
     [not found] ` <CACSS4jk9rHpD-QAPqDR0dxJQcWpedzsh6XS9s1x6uU2AqHgrLQ@mail.gmail.com>
     [not found]   ` <8791d66d-d475-1573-79bc-d07c81674fe3@inria.fr>
     [not found]     ` <CACSS4jn5m_2gaeo4rn_m8h8NHuoebsJJXK4CH3X=g+O1pvwmTg@mail.gmail.com>
2022-03-08  8:44       ` [HoTT] Call for STSMs, deadline 3 April 2022 Ambrus Kaposi
2022-03-24 16:44 Ambrus Kaposi

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).