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 autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 24714 invoked from network); 3 Jan 2022 15:19:50 -0000 Received: from mail-il1-x139.google.com (2607:f8b0:4864:20::139) by inbox.vuxu.org with ESMTPUTF8; 3 Jan 2022 15:19:50 -0000 Received: by mail-il1-x139.google.com with SMTP id k1-20020a92c9c1000000b002b43128af01sf18036139ilq.15 for ; Mon, 03 Jan 2022 07:19:50 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1641223187; cv=pass; d=google.com; s=arc-20160816; b=EZJ5VaXuh7vktmaiBIUN6mIlxzwtYW2+MMPPKWOdifu4XpZ/6dZB2HorxW/jyrbivx dXVhCIq3FpUxvPspQPjudTtNCApXKAMdtGCWN/BXb9rrsJzh8KsITZic2cU5bpC3J9C6 /VLDsk3f0Uu/WYI500hlPdXDId/9sQynYJLKgco5IXj7rWWCPQ4VYc/QLQzIS8bzkgZf +9cE1PHnCEVQVTEb1VYOQmiy7X7PbByUrV5rqaZrXzJtsAGe+c2iauc9DAWwi8jWlFwh l6W2qo4xim/u7g+uteH6/63nKImpdBxfG3Ejovm5sdug+jRZQbxfJjJuTjedSDx5lMJ6 sguA== 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 :in-reply-to:references:mime-version:sender:dkim-signature :dkim-signature; bh=BAgtKSmQnaDCno5a4kQm9zw/EvBL71u/8riWn5bZfSQ=; b=KEDc47m3FwJkSy2ItGBxUos3HjrrHZub943jvWAltzfmQMHybtcRKNqQdqR85S1UzW ejPzERzu6RRj/8D2l10Tjg+nBm5IN1pnMkPzDrugvS3iT22L6eqcWSCgzYXMqSU4AFcn EPZmVTCUWYaPxq3W+xN9bEwGOmF9tv75BZycYDTFMzw1J4mOBz7emBEJzERmqLg2v7To x885PauH8F1bfrfNY7ybokDW5FtqfNpIpyDqYX+0vAH4bBIuUNnrff51oXyL5MbwPBFb 6BFhf9GEl8bBkVKTV7y66XfXD6GmbFzXGoc4ewcZcUzSyRztM/J4uQzMuAoWa3/rVM3F QGFg== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=ROdp+k6K; spf=pass (google.com: domain of kaposi.ambrus@gmail.com designates 2607:f8b0:4864:20::52e 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:references:in-reply-to: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=BAgtKSmQnaDCno5a4kQm9zw/EvBL71u/8riWn5bZfSQ=; b=r3ZRlOGrcq2Y4cycyXzLgegu45ARLkM/uR7OtETDu+Pr05L0daMODKw5feKV0oQt+w ooHdBSkKviUiVQUiqya7V8WsL/Jh0zuC0e+R0l5Ph0QScvhwSp1KLhkZBwnjjGjHXR0k BVIgUWOe8adrB+4GqNRhjDhSBuR4Zmyw/P7/2AgHxnofo8EkQ0EcrzrW+aVrRWofpe3H Y00YVkH5LoRgjQQD6ta/fp4iyiXWuBhWyFfSxqCPnCsuMBMFercT2AJvmdnzrYHah2Im XMQqF5oYKpzMDpUREcdtQ8HRO8BlfsZ+nnky7yjuCGmlr5WkAht/EW7D41ZoXJkkHBU5 C2hQ== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:references:in-reply-to: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=BAgtKSmQnaDCno5a4kQm9zw/EvBL71u/8riWn5bZfSQ=; b=HyvOY7OwXIEJw7TqTpym91zlr42YEdkwfsgt+5Q5MULrJkDoaqh2/f44chTwJxvH5z Hq2AB/tL6ZsdaFR7OMR47oGALIvuGS5BN1P9aLP+Tiy1SaZSFf5C6sg3InwYs13LOCBk uHr8s8WMwxQedbYUL0PZtzg+l7YuNq+xhj5ZFG6GDLInilAX8cBdE6g4pOwKwKo6xq+V Fm7NMN6iR+a/M01xq/UswB3O/chNyBf5WSVXPRBW/kkEpQSKsEgt3kcPFyc7GSGkHRG4 2TMmnBP7rsABeYWeTla1riVZl1okrba8hUiO2JVr58fFTVuKiQWRpKqF56Zrnri8UgWt bksQ== 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:references:in-reply-to: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=BAgtKSmQnaDCno5a4kQm9zw/EvBL71u/8riWn5bZfSQ=; b=kS16aJ6mD4J8FJ4ZwXKs5gPoEqcChh+Ld5IBoluEmu4VVwhFd5hl/BzBb1oqQcoE5r 4QKHgAQYQ9KyZrnWnHEOlu6t9j7+NGI6gZK19xcH2FeWDOjrEBnInnXgRhyP7A1du0NZ pXQUq+xJEICID9AQlCZjmZ7zn2tLDgiGbOyvw1FBf/NJ8D37Q+CZFYU5eBfGPIGjfnjO iYl/RGLkmGi/Bx799kwwJi2rF4aDc3y7Av6zvEwj3kT/UjckxSWa6G2WKnE1+D6U7qUf mqq84s91ytIoNs45r2gbHPH5SOLVegT98G+feq0+Ztrc7IiNfSD3g1H6qnwyZLjiNq6r 3rTw== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM532kkgczKH2HNBj3Y0W37R5ooyUic/q3kppWLgzj7PvDuKgZBpHd ERtnol9QJ5TB1KKBjzsw0q4= X-Google-Smtp-Source: ABdhPJxYtnydtsvcsC9raCF11k8NBdIcdsa1yIO8Ky3lj2H1QMiNbEd7ZzRG82eMha6ZpD2wZYVt6Q== X-Received: by 2002:a05:6638:25ce:: with SMTP id u14mr22258883jat.21.1641223187641; Mon, 03 Jan 2022 07:19:47 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:6602:24d5:: with SMTP id h21ls2803877ioe.2.gmail; Mon, 03 Jan 2022 07:19:47 -0800 (PST) X-Received: by 2002:a05:6602:1484:: with SMTP id a4mr20752178iow.35.1641223187017; Mon, 03 Jan 2022 07:19:47 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1641223187; cv=none; d=google.com; s=arc-20160816; b=0j/uC7KvxBkRUncmetGBw+n9gwWWORDnEkeRU4sAwTfzlstiunXn/Ip56S5T5lr4A2 MfYfiKz7hTbhNauvojk1sWxCYcza0wjGw63w/wUspTPtrNdvzD8u2yenhbN86oEobJEb 26tdw32RmiMz/Lo6t2SM4YhLoxKzRV9Fk2/Q0AqCPicGbr9qu+ghswHV0Is7tBQz2zDb IYNaZOZDxJFz3+1y60Nh75khdavtmPw8Otu6Tdkyx6IOV33jigBjU3OzHevy/S6l8snA y24bwweSnjjjs/GJxgw3p7KMKwRh8JVEzntgvraWHMPtvkAtfFP1rvzl2+hRO/NiHSmL u39g== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:subject:message-id:date:from:in-reply-to:references:mime-version :dkim-signature; bh=iDvyaf3LNBv9c4JBFYsWOnmH33nwU8VKKkqNEUp5cx4=; b=XIqh3NMp14ZwJJRj8+W+s0PubK6tr1m8+5nRYGzSc+G5QnP4k746PuxwiKF7TFfRCm wJFRiGq3iP/HogXlxyI3iCb44a8ODk6+jiEYWRjL8zMCpOsiveocsriP5GJmm+NoPF+e /rmDQU3VjtDhqzqAIjFRctyVs0M8t3a1n/4aoPToMHvt4BvKKbU/jC5TI5ocI1kKvEYS A58p+pe08nnV/mCBryf4JA2ofUzVSvvxbWHU57R9hE9LycdjprsieN5YSJd5bcvLrp0C WwvzR6kM0GG0XO3MBUn1bvDzQy4Sq0HarTXu1lZeuxBz+llyuxWUMBCM6Xp5W2i2RJ/d GXKA== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=ROdp+k6K; spf=pass (google.com: domain of kaposi.ambrus@gmail.com designates 2607:f8b0:4864:20::52e 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-x52e.google.com (mail-pg1-x52e.google.com. [2607:f8b0:4864:20::52e]) by gmr-mx.google.com with ESMTPS id d10si2264396iog.4.2022.01.03.07.19.47 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Mon, 03 Jan 2022 07:19:47 -0800 (PST) Received-SPF: pass (google.com: domain of kaposi.ambrus@gmail.com designates 2607:f8b0:4864:20::52e as permitted sender) client-ip=2607:f8b0:4864:20::52e; Received: by mail-pg1-x52e.google.com with SMTP id y9so1835619pgr.11 for ; Mon, 03 Jan 2022 07:19:46 -0800 (PST) X-Received: by 2002:a63:5045:: with SMTP id q5mr40584307pgl.512.1641223186676; Mon, 03 Jan 2022 07:19:46 -0800 (PST) MIME-Version: 1.0 References: In-Reply-To: From: Ambrus Kaposi Date: Mon, 3 Jan 2022 16:19:35 +0100 Message-ID: Subject: [HoTT] Call for STSMs, deadline 16 January 2022 To: 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="0000000000000a010205d4af0d7e" 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=ROdp+k6K; spf=pass (google.com: domain of kaposi.ambrus@gmail.com designates 2607:f8b0:4864:20::52e 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: , --0000000000000a010205d4af0d7e 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 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 ( https://e-services.cost.eu/stsm). The coordinators for STSMs are Danijela Simic (University of Belgrade, Serbia) and Ambrus Kaposi (E=C3=B6tv=C3=B6s Lor=C3=A1nd University, Hungary= ). 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 ). 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=E2=80=99s approval = of the report. 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%3DzOReyWCpk%3DPwOppwTEQRk-OZ-NQR3JyLHkLDQDA_2Yw%= 40mail.gmail.com. --0000000000000a010205d4af0d7e Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
COS= T 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 =C2=A0 February - October 2022
= =C2=A0 =C2=A0(there will be more opportunities to apply, see https://europroofnet.= github.io/grants )

A Short-Term Scientific Mission (STSM) is a r= esearch visit of an individual researcher from a country participating in t= he Action in a different country also participating in the Action. We encou= rage STSMs, as they are an effective way of starting and maintaining collab= orations.

Proposals are made through the e-COST system (https://e-services.cost.e= u/stsm).

The coordinators for STSMs are Danijela Simic (Universi= ty of Belgrade, Serbia) and Ambrus Kaposi (E=C3=B6tv=C3=B6s Lor=C3=A1nd Uni= versity, Hungary).

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-Annota= ted-Rules-for-COST-Actions-Level-C-2021-11-01-1.pdf).


The ma= in points about STSMs are:

=C2=A0* An STSM must be between two diffe= rent countries which are participating in the Action.
=C2=A0* The typica= l duration is one or two weeks. We favor short missions so that more people= can get funded.
=C2=A0* The financial contribution for an STSM is a fix= ed grant based on the applicant's budget request and the evaluation of = the application by the STSM assessment committee. The grant will not necess= arily cover all costs of the visit. The grant only covers travel and subsis= tence and is transferred after the STSM has taken place.
=C2=A0* Recomme= nded grants:
=C2=A0 =C2=A0- up to EUR 120 for daily allowance (depending= on the location)
=C2=A0 =C2=A0- up to EUR 400 for travel.
=C2=A0 =C2= =A0- the total may not exceed EUR 4000 (this is a hard limit)
=C2=A0* As= part of the application form submitted through e-COST, the goals of the mi= ssion have to be described including how it contributes to the objectives o= f the Action (see https://www.cost.eu/actions/CA20111), which working group(s) i= t contributes to, and a confirmation from the host that he or she will rece= ive the applicant.
=C2=A0* Proposals should be submitted by the deadline= s.
=C2=A0* STSMs must end before the end of October.

The criteria= according to which funding will be decided are in order:
=C2=A0* import= ance with regard to the research coordination objectives
=C2=A0* inclusi= veness target countries
=C2=A0* age
=C2=A0* gender
=C2=A0* team wi= th low resources
=C2=A0* balance over the action life time between peopl= e, 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 s= ystem along with the Host=E2=80=99s approval of the report.

Regards,=

Danijela Simic and Ambrus Kaposi

EuroProofNet STSM Coordinat= ors

--
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%3DzOReyWCpk%3DPwOppwT= EQRk-OZ-NQR3JyLHkLDQDA_2Yw%40mail.gmail.com.
--0000000000000a010205d4af0d7e--