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 4126 invoked from network); 8 Mar 2022 08:44:33 -0000 Received: from mail-qt1-x837.google.com (2607:f8b0:4864:20::837) by inbox.vuxu.org with ESMTPUTF8; 8 Mar 2022 08:44:33 -0000 Received: by mail-qt1-x837.google.com with SMTP id f13-20020ac8014d000000b002ddae786fb0sf14686809qtg.19 for ; Tue, 08 Mar 2022 00:44:33 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1646729070; cv=pass; d=google.com; s=arc-20160816; b=P2By79x9LmeAAti5Jtg3Cn/QciMLgrB2epjJsLlEXTi8I9bYeMXKr3ZDlaNhcmMMCm PK3e+RXJmfmrKOjruPRyDX/EdYnaLzq+SnBbR/tRDPPW/gjMA4P9LmHvzv20WkEUegaZ LUlOXQnJlTYaAprDNYLJb/Tia+T93KUpb4Cncf10wDlw6gZY9wnKqWcpedxsnQZlxT/p 3HJen/Q8Y0UK7p1fqM7ooUMwNjQCTRWOZ6pFYg5vx/nP1WjsTfUM6lvPAWYH+2Tjz/oN WXx+IUXK7G344yG62oaDdJR02sMYI64V5q9y6m78OfTS/1kp/LomIPuxiKOC6rSA+XH7 xcBw== 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:cc:to:subject:message-id:date:from :in-reply-to:references:mime-version:sender:dkim-signature :dkim-signature; bh=xAT5K8h2aAvdicWTpUxLLocRgZLGb+VOUx51Sag2hyc=; b=rAWQVu76u7n2lOXXD9+5My1nsSTvAo0GZb93KgiGjlPIpQyigsUMt5+VhuIbxAgEub PS/UfpDcGUbPj4K1pAZFRrhrFvwCv8QQsccsz3Busq9qUuZ+VUB+nqV85VDTK1gaxm6y CdSA/np9LWTUkvBajsHMraqg95lapYteDN+iUaXejrtIYLFnunvfRrXx9+hKkzHVtD1H b+8yUS115gqNbcXKSEfgSDkVUvO6B94xeo7dwEaZjdcXBgrRqgSIhFJSVkzkuALkptrh zW3vIXgR/QZ6sPA0vSzyZ4hvIRcbxL7jW9panRrGelHJq2gUb/LdNTmeGluNTuiUAppv R07g== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=XEIxxFBU; spf=pass (google.com: domain of kaposi.ambrus@gmail.com designates 2607:f8b0:4864:20::52d 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:cc:x-original-sender:x-original-authentication-results :precedence:mailing-list:list-id:list-post:list-help:list-archive :list-subscribe:list-unsubscribe; bh=xAT5K8h2aAvdicWTpUxLLocRgZLGb+VOUx51Sag2hyc=; b=LQAtl8JrUhhkX4/JIs4DL0yHujubk+GHlp7sMBH0kKaU9wdXYnEazGaVtT1JqSmdY+ JVy3MfxeRAeGeQok1ru2cwqxIOIvpyoKn8AXUcN7/E6G3rqYlizINQ+Ra7rOkihBIsm+ xqiSxRKEpmjIfPq6UKskSvnXDE73KCy0/1h3a/2tdDPOVXR0berFRHDp6BWGaBHardz1 0Td+Oa2atQHi5mztDYwLKfoyBscFlCG8t39CQmaS2e9hFlW+mUlZ9fMzw7FAb+dCe75/ IHPtjf1ixAfsQ4GpjciIT2aiSWmxScPFalpROvpMs6LAhfnFtNasfucApSYrqpuQro5z uuMw== 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 :cc:x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:list-post:list-help:list-archive :list-subscribe:list-unsubscribe; bh=xAT5K8h2aAvdicWTpUxLLocRgZLGb+VOUx51Sag2hyc=; b=EuIiOoVFtIJ/UgPKCwCGz8a4/eiHpiRGO64JEcuFcvV9tHJp+uMPsT/kMbVYtfoYb3 GIZnzGgpw+5gf9efZMx79CRmhPoF5LYc+6GmNC2dCG8i2vnEjY3AJ5MHwCOdN36OKGJ6 Aoxy6ZG0rL7yDu2RtiwHrnrMizGkZ3TvhWL52rTf3s3aJa7yrsOde+6UMWHVwWF9asSZ B2AG77mhIvyA+4mj+Dzirb2DuQuzkGzmyzOlWhD9MRRwj5Jm/x6OTnCCzowkDEkIexBK MAUhYlLjzDVLIC9+hguzH1GJ7buUbCGoPLUiIA5qMITdRNh8LSNxYOU3F3HhT3HkVDbH xZEw== 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:cc: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=xAT5K8h2aAvdicWTpUxLLocRgZLGb+VOUx51Sag2hyc=; b=CE7aB6y6SWNxVsnoahcpEK9qZUh01lAVIDTUeCxghzv06FkApM1IKZakGFgqgzODcu UPSbnQUcRZ2LZRYmknSu64Narqz02DJTgsTk+w9Do5a8TK7fE9L0iT1i6bb3jgjfhyE8 skqj8ywgpqZvVOqllFJYewctdeiDP/ej9LY7jj04VqO4tJ8E60ncjvjGAQ9Xb2bWdzN2 wpD+rxni57z6vqaPG5j6l/LQp0K5GpZ5UodB9VojXKjqHRn7d0FLzCYOaIWtrKlXer2e fUuvlZGCs0XSyK4FBkZ0u14zxdxaWMIV92MMdsgf2gisPlivjt4s4znGLyXyyl6DBCxv iCFw== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM531Awe3zhiIIP51THzWW49ohPcOotmw9GTmyAKLZACLDnX1rIHLe ZSYembeCJQQgSJfMGHYVMpk= X-Google-Smtp-Source: ABdhPJxMqZjvwvYEDsqXlc7OYrnq6HM5PonbxECdTozBJRDo6qjfd6g/oMHFa8JJFwy2RzfeNjCNzg== X-Received: by 2002:a05:620a:13fa:b0:67b:13a0:c238 with SMTP id h26-20020a05620a13fa00b0067b13a0c238mr6836650qkl.138.1646729070504; Tue, 08 Mar 2022 00:44:30 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:6214:a45:b0:435:7c50:5a27 with SMTP id ee5-20020a0562140a4500b004357c505a27ls2886430qvb.0.gmail; Tue, 08 Mar 2022 00:44:29 -0800 (PST) X-Received: by 2002:a05:6214:23c6:b0:433:8a2:c244 with SMTP id hr6-20020a05621423c600b0043308a2c244mr11738742qvb.88.1646729069347; Tue, 08 Mar 2022 00:44:29 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1646729069; cv=none; d=google.com; s=arc-20160816; b=D6j5p0ELbaiGu5cdKSaTTVA5jWzIMoB+aBI9qbcyKIvCLqFejRufeBKLTrFT7KkQCb jigoKCNuQOW6rPccFz7oNVBxBhelo0fiiG64p6aAGQtXfnDZfq2PzvwLRIjO3HDaASd/ 2WIFxuLjFd4ltpgcajAXug7b/TZtEwJ/Rmx6tZOTdF64GjM5CxTHcB0ki/cy0OU/6w9e eY4dJTD9wJx+Zg9aLc8ycepmoPJkCsLyjf14m3cWCxn67MBDjskm7WpsOlDwUbH+m2xd wOy/YtoJ5sAN5raQdH2eqGeMBPPgTq5E8JiD+1HQJYFoj5DXk1RjFnAhlG3453AmZAEC omZQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:dkim-signature; bh=08cNlRXc4vjNDzVn46r/lznBcTD7tvO0EXRwqEbwQsE=; b=eJIxEDn7rT6fI9GVXkc6ss26a+h0bMQLbdDDoOhvHgVNTXQaVhLgaEqvaI1I4RhBaE PQ+1PukPZ1bv97g3dE9hBafq2+fOn8Rt2nPrtdAI68tZ9rj6s7hifr9f9M/EkUo2Cnl1 9u/o20cvCBwJArU7R2/ZhS/WLisWv7R5M94dUDMh4q7Jq9OrQqJvRIOxACQfRcw7KXaU UwKpHGsuV+/6mizhHBO2drG1+ACmj4z9dfpBTz5df/a3m4GO972xNFcbe0JAXRXgf5fS bk5E6I7N5RIr0F2o3zXGIk8Czt7oo3MGs+aTlGBQ14nDMmOs2D858EtTuGxC2mqa1KPC Mtfg== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=XEIxxFBU; spf=pass (google.com: domain of kaposi.ambrus@gmail.com designates 2607:f8b0:4864:20::52d 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-x52d.google.com (mail-pg1-x52d.google.com. [2607:f8b0:4864:20::52d]) by gmr-mx.google.com with ESMTPS id x17-20020a05620a099100b0060dead337e7si826534qkx.3.2022.03.08.00.44.29 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 08 Mar 2022 00:44:29 -0800 (PST) Received-SPF: pass (google.com: domain of kaposi.ambrus@gmail.com designates 2607:f8b0:4864:20::52d as permitted sender) client-ip=2607:f8b0:4864:20::52d; Received: by mail-pg1-x52d.google.com with SMTP id o23so15815988pgk.13 for ; Tue, 08 Mar 2022 00:44:29 -0800 (PST) X-Received: by 2002:a63:6888:0:b0:380:7412:25e7 with SMTP id d130-20020a636888000000b00380741225e7mr4755779pgc.512.1646729068442; Tue, 08 Mar 2022 00:44:28 -0800 (PST) MIME-Version: 1.0 References: <9b720e84-5623-2a46-8b1e-83a765fb3765@inria.fr> <8791d66d-d475-1573-79bc-d07c81674fe3@inria.fr> In-Reply-To: From: Ambrus Kaposi Date: Tue, 8 Mar 2022 09:44:18 +0100 Message-ID: Subject: [HoTT] Call for STSMs, deadline 3 April 2022 To: eutypes@cs.ru.nl, agda , coq-club@inria.fr, types-announce@lists.seas.upenn.edu, haskell@haskell.org, homotopytypetheory@googlegroups.com Cc: Ornela Dardha Content-Type: multipart/alternative; boundary="0000000000002a7f1605d9b0fde5" 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=XEIxxFBU; spf=pass (google.com: domain of kaposi.ambrus@gmail.com designates 2607:f8b0:4864:20::52d 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: , --0000000000002a7f1605d9b0fde5 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, Proposals have to be submitted on https://e-services.cost.eu/activity/grants/add?type=3DSTSM (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-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. After acceptance, to get reimbursed, a short scientific report must be submitted 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. 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%3D8qVvZVfJ-4aQk9WBD-NPs6nV1ckDQ6Dv-P1WdmO3MjA%40= mail.gmail.com. --0000000000002a7f1605d9b0fde5 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
CO= ST Action CA20111 EuroProofNet
Open=C2=A0call=C2=A0for Short-Term Scientific Missions (STS= Ms)

Dear A= ction members,

Proposals have to be submitted on
https://e-s= ervices.cost.eu/activity/grants/add?type=3DSTSM (you need to
add a b= ank account on your e-cost profile first).

The deadline is 3 April <= span class=3D"gmail_default" style=3D"font-size:small">2022 (AoE).
We are especially looking for applications from women and from
wor= king groups other than WG3.

A Short-Term Scientific Mission (STSM) i= s a research visit of an
individual researcher from a country participat= ing in the Action in a
different country also participating in the Actio= n. We encourage STSMs,
as they are an effective way of starting and main= taining collaborations.

The procedure for proposing an STSM is descr= ibed 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:

=C2=A0 * An STSM must be between two d= ifferent countries which are
participating in the Action.
=C2=A0 * Th= e typical duration is one or two weeks. We favor short missions so
that = more people can get funded.
=C2=A0 * The financial contribution for an S= TSM is a fixed grant based on the
applicant's budget request and the= evaluation of the application by the
STSM assessment committee. The gra= nt will not necessarily cover all
costs of the visit. The grant only cov= ers travel and subsistence and is
transferred after the STSM has taken p= lace.
=C2=A0 * Recommended grants:
=C2=A0 =C2=A0 - up to EUR 120 for = daily allowance (depending on the location)
=C2=A0 =C2=A0 - up to EUR 40= 0 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 throug= h 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),
whic= h working group(s) it contributes to, and a confirmation from the
host t= hat he or she will receive the applicant.
=C2=A0 * Proposals should be s= ubmitted by the deadlines.
=C2=A0 * STSMs must end before the end of Oct= ober.

The criteria according to which funding will be decided are in= order:
=C2=A0 * importance with regard to the research coordination obj= ectives
=C2=A0 * inclusiveness target countries
=C2=A0 * age
=C2= =A0 * gender
=C2=A0 * team with low resources
=C2=A0 * balance over t= he 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=E2=80=99s ap= proval of
the report, within 15 days after the end of the STSM.

F= or more information, see the website of the action https://europroofnet.github.io.

Regards,
<= br>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://g= roups.google.com/d/msgid/HomotopyTypeTheory/CACSS4j%3D8qVvZVfJ-4aQk9WBD-NPs= 6nV1ckDQ6Dv-P1WdmO3MjA%40mail.gmail.com.
--0000000000002a7f1605d9b0fde5--