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=0.1 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,FREEMAIL_FROM,HTML_MESSAGE,HTML_OBFUSCATE_10_20, MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 27741 invoked from network); 13 Feb 2023 10:26:35 -0000 Received: from mail-pj1-x103c.google.com (2607:f8b0:4864:20::103c) by inbox.vuxu.org with ESMTPUTF8; 13 Feb 2023 10:26:35 -0000 Received: by mail-pj1-x103c.google.com with SMTP id oo13-20020a17090b1c8d00b0022936a63a22sf8540350pjb.8 for ; Mon, 13 Feb 2023 02:26:35 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1676283993; cv=pass; d=google.com; s=arc-20160816; b=0oB/j5MiDkkVgzGBOS8A7fu20e5kALJo1nJLxav4vNs8gbLHCeqP5ZYsC2Tj6vqT31 6Yu8Y0MCdhDOPWSm6wR8tsZ0oRmzNYuhxfBDluGJ0d6oBLpPSzRnPi0/qOkj6GR944cJ Oa95N8y41WZCagVqn6opgzXZKnJN1WY0/Dh29uaE59LCTcodZHieCMQ8W9+p8fRR+EPz K4bSxOgayf02QkniVBT2rWqxYgTbLDA1V4tNgDYVvpLaznH9bVH13/BlKawGUhvyMVv/ 9/bQOQTAJcKVP4mw6XrwPatKeLphIN/Qs+fW1coN4ByuEMvuK3WQkPyY19LFPLn7WVXm K94Q== 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=KjO82w+cHKjqKoG0W81ZbPoNCmod8H2Yg9WXnReHkFg=; b=FUPJv4Kl6tPNlyMZ0fFaVXCGi8A33Xv2PNGWJP8PNOMsRPjjEIGgqoAozn33e0yl1D ttVxO9/o6wWX5FbG5QGrUAOwJVGUogS4C7xialW20MXppvrF8j4ID0JFPBcwGeSU8hts iJjOxnXZUv/XdQYp6dTz87IsaSNEh0XuPPE6HNh4H5K+Xka1yuYOVR78XeJxNbiNR2Of HoPHU6R/6lTEhjevsYmhlpjRyTJ+96KLsdKdfKAjKG5SEJzZnbpWgMijGvUXcSSVVTbZ QTwHtMjaAW4L63Q/IvsIHI8ScBRvPDvylpOhUdgz2JccKXoWIF/46yTdO+KEkdBmZBtm yi+w== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=KxcgOPMg; spf=pass (google.com: domain of kaposi.ambrus@gmail.com designates 2607:f8b0:4864:20::102f 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=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-authentication-results :x-original-sender:cc:to:subject:message-id:date:from:in-reply-to :references:mime-version:sender:from:to:cc:subject:date:message-id :reply-to; bh=KjO82w+cHKjqKoG0W81ZbPoNCmod8H2Yg9WXnReHkFg=; b=eYfFV0cOngImDGfYlDQXGqXo9+lwal0RB8GdnIWv+dA8m2PjrJUMqwuUHtSD20aC8V T/h8/+0Tu2cxO2A9uEK4AVxqOSe2ZTTeEau6lbgh3GXmdsEurgwLae595pIx4Uoo0hDd HPZaFJAb7skTaH/Iqj1CtJIRWmTMkoo/t37vtgXWXr7LA/SqsOYwHOmoGznf0yVPKu/n 2h8gxGkO67UBQusTL0AXmHvH1sz4tRF7ZMRtX2X141veOHEb3Qfk/RZeLzEHy26M5tKJ 0n/tobiuPp19+QLMXkhJsu3muio3ONVTAMZIgldRuKVXszOqZRkkmPRYauS25RSOTQDF WJuQ== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-authentication-results :x-original-sender:cc:to:subject:message-id:date:from:in-reply-to :references:mime-version:from:to:cc:subject:date:message-id:reply-to; bh=KjO82w+cHKjqKoG0W81ZbPoNCmod8H2Yg9WXnReHkFg=; b=KbTUMTrMqSgO8glWeTa8dNv/vteL+NaO9xPYM/tnb+HT7i+K9TiQxCZ8jeRDfL/zJB E/pbrhQ7g8s42PxeR6DGNXXCLK2qRbXhooAfa33Y7YkVBXoq5tR8/DV8ddDnBv2kMvsA 3HQ1b1czK2cVgXMTy3s0owM+z3/UnphJOzL0g4egHzG27CqrHXnDmAMTdwwsuRV0gAwK m15FuIMEwU4fvninGsrOnIUcaf/QJ56YrfVKFwwjv8Yvo1NyAK0AhOUELrdZvlDe+YG7 tdnd3FMorZxw8JJ1hjGUYoTXnzGn5rbweYOeMpRa7R6BmkeRt4iHSyjY2M5yjsclDSqg Dw0Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :x-spam-checked-in-group:list-id:mailing-list:precedence :x-original-authentication-results:x-original-sender:cc:to:subject :message-id:date:from:in-reply-to:references:mime-version :x-gm-message-state:sender:from:to:cc:subject:date:message-id :reply-to; bh=KjO82w+cHKjqKoG0W81ZbPoNCmod8H2Yg9WXnReHkFg=; b=0G/yjbZIfG4HP8O9XxUbqvmv38R7c0mXLPLo+jv03YhT4AMbhjvlJtzP+E4DOHGc74 eUFZLiubbpTmzp+m9dgeEd0FM2ZW9PPvBFQBJuQHO3DtrmR5BJ+d3ARoef7pBBxRpCs0 KvMwyRedpi4f5m0gu1hiapkQ+XyOSJzcRXyyQ0y6iNjS5a6VKloAYmKn2U4aMbmneRP/ s/VeDTJrttsBhvI9OOxbP9b8vKu1qo+NSJM+RjaSj7DnObMOvCfqZfNs/DrWBJpDh6Co MjdGWi7CRmLnLEsQ879Mi9FH7bg7vENTrwpWmX0sAIuMdv+GidPIooDrpog316L1iHx3 lf0w== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AO0yUKV6Ra/dxqzZQkvD52Xnkc8mo1cMkYxBH8ymfk3m0JcnlAzUoLIq kB6soeitZEW3v/jVjEVFhDI= X-Google-Smtp-Source: AK7set8X5wopyJfl//hjjzzeLlB4VHQ2l1TIr+6I56sZaxlBY0gQ8YIF8uP4gbhx+5+/BYjDsNxYgQ== X-Received: by 2002:a63:7d12:0:b0:4cf:7ba0:dd5a with SMTP id y18-20020a637d12000000b004cf7ba0dd5amr4371909pgc.119.1676283993118; Mon, 13 Feb 2023 02:26:33 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a17:90b:883:b0:210:6f33:e22d with SMTP id bj3-20020a17090b088300b002106f33e22dls4619355pjb.2.-pod-control-gmail; Mon, 13 Feb 2023 02:26:31 -0800 (PST) X-Received: by 2002:a17:90a:1ce:b0:234:c85:9bab with SMTP id 14-20020a17090a01ce00b002340c859babmr1564709pjd.14.1676283991378; Mon, 13 Feb 2023 02:26:31 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1676283991; cv=none; d=google.com; s=arc-20160816; b=nvd5DsxJLIQ2qrL7VvdGr+QYAGUMlePZXRXC48GpYZCO3dkS9gw7gnJA0ak39l0G0L BPzk8zYAUGVA/nCxa6h1hwqdBxyaOeLRTGuaea0BaCb5HytK4OfRpKRPMBt5Uj/2wDfD h2E35QmO9VPxZUx0q2yLeTlj7sT+4JGt7Ue+lPrNdPETDIirep/biyaMBSZI0E6Onv7U EqrrSUDxKk3qVh3aeH+11pbjTaMuEnlN2SkIp8iuG/ZSCWFKcYqhrTkNyaGjZdtGivFP 1eHQLPSdtpuuFitt0iaP/UFbwtDQNd9PPXmAKLe23rZX80+iRP9JVsRE2fRgPAxvmDQO NZHQ== 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=zsB6RDxyJKlqJEhpw7OovDt7uTNrvLZt9nmSIxCwagc=; b=PA6T+6C4ppvsXa8Wpyj1kty/LbgAKbgHt/KyFRCC0uLBLmxf+Y9hScxrjKDYMVZy0K kwBVcK6+BLvYtAJV/L1bor8lVIHt6X2NtMbYe5hOZig0XQTwIxI+yaETyN2Nn9PKp8if rsyaDj2lGc/oytUagMpWgEo7mCqOjDOQHIHoWIEvw3N0N9mETqWgPoBys6hyMNzYVrER mlyYNHd8Bjz7sj9qivGPKhbym7IV+Bpw2XcPC4DpMae9lY7lotPVihEhLxSFwkVqGHb3 2KsBquu6L/SVUYHU5F+Q99YjLb45w3i+9Rprt5VfRmKGi8sqT1A7VJwPPhUqrZ40Sl/U 6Efg== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=KxcgOPMg; spf=pass (google.com: domain of kaposi.ambrus@gmail.com designates 2607:f8b0:4864:20::102f as permitted sender) smtp.mailfrom=kaposi.ambrus@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-pj1-x102f.google.com (mail-pj1-x102f.google.com. [2607:f8b0:4864:20::102f]) by gmr-mx.google.com with ESMTPS id w2-20020a17090aad4200b0022c4c6f4b8dsi345436pjv.0.2023.02.13.02.26.31 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Mon, 13 Feb 2023 02:26:31 -0800 (PST) Received-SPF: pass (google.com: domain of kaposi.ambrus@gmail.com designates 2607:f8b0:4864:20::102f as permitted sender) client-ip=2607:f8b0:4864:20::102f; Received: by mail-pj1-x102f.google.com with SMTP id d2so11441724pjd.5 for ; Mon, 13 Feb 2023 02:26:31 -0800 (PST) X-Received: by 2002:a17:902:be18:b0:196:6b0d:752b with SMTP id r24-20020a170902be1800b001966b0d752bmr5507427pls.19.1676283990983; Mon, 13 Feb 2023 02:26:30 -0800 (PST) MIME-Version: 1.0 References: In-Reply-To: From: Ambrus Kaposi Date: Mon, 13 Feb 2023 11:26:19 +0100 Message-ID: Subject: [HoTT] Call for STSMs and ITC conference grants, deadline 1 January 2023 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 Cc: Danijela Simic Content-Type: multipart/alternative; boundary="000000000000d3486605f492477c" 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=KxcgOPMg; spf=pass (google.com: domain of kaposi.ambrus@gmail.com designates 2607:f8b0:4864:20::102f 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: , --000000000000d3486605f492477c Content-Type: text/plain; charset="UTF-8" COST Action CA20111 EuroProofNet Open call for Short-Term Scientific Missions (STSMs) and ITC conference grants Dear Action members, The next grant application deadline is: 1st March 2023 *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 research collaborations. *What is an ITC conference grant?* An ITC conference grant allows a young (<=40) researcher who is from an ITC or near neighbour country (*) to present a work related to EuroProofNet in a high-level conference fully organised by a third party, i.e. not organised nor co-organised by EuroProofNet. Reimbursement rules are the same as for STSMs. Find all the details concerning application on https://europroofnet.github.io/grants Do not hesitate to contact us if you have any questions. Best wishes, Danijela Simic and Ambrus Kaposi EuroProofNet STSM Coordinators (*) Inclusive Target Countries (ITC): Albania, Bosnia and Herzegovina, Bulgaria, Croatia, Cyprus, Czech Republic, Estonia, Georgia, Greece, Hungary, Latvia, Lithuania, Malta, Moldova, Montenegro, North Macedonia, Poland, Portugal, Romania, Serbia, Slovakia, Slovenia, Turkey and Ukraine. COST Near Neighbour Countries: Algeria, Armenia, Azerbaijan, Belarus, Egypt, Jordan, Kosovo, Lebanon, Libya, Morocco, Palestine, Syria, and Tunisia. -- 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/CACSS4jm22khVnPVN6pf824L%2BuVFH-h1FYR%3DbFWm0C0BU6cSk%2Bw%40mail.gmail.com. --000000000000d3486605f492477c 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) and ITC conference grants

Dear Action= members,

The next grant application deadline is:

=C2=A0 =C2= =A0 =C2=A01st March 2023

*What is an STSM?* A Short-Term Scientific = Mission (STSM) is a research visit of an individual researcher from a count= ry participating in the Action in a different country also participating in= the Action. We encourage STSMs, as they are an effective way of starting a= nd maintaining research collaborations.

*What is an ITC conference g= rant?* An ITC conference grant allows a young (<=3D40) researcher who is= from an ITC or near neighbour country (*) to present a work related to EuroProofNet in= a high-level conference fully organised by a third party, i.e. not organised nor co-organised by EuroProofNe= t. Reimbursement rules are the same as for STSMs.

Find all the detai= ls concerning application on https://europroofnet.github.io/grants

Do not hesitate to con= tact us if you have any questions.

Best wishes,

Danijela Simi= c and Ambrus Kaposi

EuroProofNet STSM Coordinators



(*= ) Inclusive = Target Countries (ITC): Albania, Bosnia and Herzegovina, Bulgaria, Croatia,= Cyprus, Czech Republic, Estonia, Georgia, Greece, Hungary, Latvia, Lithuan= ia, Malta, Moldova, Montenegro, North Macedonia, Poland, Portugal, Romania,= Serbia, Slovakia, Slovenia, Turkey and Ukraine.
C= OST Near Neighbour Countries: Algeria, Armenia, Azerbaijan, Belarus, Egypt,= Jordan, Kosovo, Lebanon, Libya, Morocco, Palestine, Syria, and Tunisia.

--
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/CACSS4jm22khVnPVN6pf824L%2B= uVFH-h1FYR%3DbFWm0C0BU6cSk%2Bw%40mail.gmail.com.
--000000000000d3486605f492477c--