Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
From: Ambrus Kaposi <kaposi.ambrus@gmail.com>
To: eutypes@cs.ru.nl, agda <agda@lists.chalmers.se>,
	coq-club@inria.fr,  types-announce@lists.seas.upenn.edu,
	haskell@haskell.org,  homotopytypetheory@googlegroups.com
Subject: [HoTT] Call for STSMs, deadline 16 January 2022
Date: Mon, 3 Jan 2022 16:19:35 +0100	[thread overview]
Message-ID: <CACSS4j=zOReyWCpk=PwOppwTEQRk-OZ-NQR3JyLHkLDQDA_2Yw@mail.gmail.com> (raw)
In-Reply-To: <CACSS4jmhmuRdhhwchzcM+rjxTu_OmYYCUMuXMfx53m9ufzM_2g@mail.gmail.com>

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

COST Action CA20111 EuroProofNet
Open call for Short-Term Scientific Missions (STSMs)

Dear EuroProofNet COST Action participants,

The next deadline is:

* 16 January 2022, for STSMs during the period   February - October 2022
   (there will be more opportunities to apply, see
https://europroofnet.github.io/grants )

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.

Proposals are made through the e-COST system (

The coordinators for STSMs are Danijela Simic (University of Belgrade,
Serbia) and Ambrus Kaposi (Eötvös Loránd University, Hungary).

The procedure for proposing an STSM is described in Annex 2 of the
Annotated Rules (

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.

Within 15 days of the end of the STSM, a short scientific report must be
submitted through the e-cost system along with the Host’s approval of the


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%3DzOReyWCpk%3DPwOppwTEQRk-OZ-NQR3JyLHkLDQDA_2Yw%40mail.gmail.com.

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

           reply	other threads:[~2022-01-03 15:19 UTC|newest]

Thread overview: expand[flat|nested]  mbox.gz  Atom feed
 [parent not found: <CACSS4jmhmuRdhhwchzcM+rjxTu_OmYYCUMuXMfx53m9ufzM_2g@mail.gmail.com>]

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to='CACSS4j=zOReyWCpk=PwOppwTEQRk-OZ-NQR3JyLHkLDQDA_2Yw@mail.gmail.com' \
    --to=kaposi.ambrus@gmail.com \
    --cc=agda@lists.chalmers.se \
    --cc=coq-club@inria.fr \
    --cc=eutypes@cs.ru.nl \
    --cc=haskell@haskell.org \
    --cc=homotopytypetheory@googlegroups.com \
    --cc=types-announce@lists.seas.upenn.edu \
    --subject='Re: [HoTT] Call for STSMs, deadline 16 January 2022' \


* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

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