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 19799 invoked from network); 6 Jun 2022 06:23:15 -0000 Received: from mail-ot1-x33b.google.com (2607:f8b0:4864:20::33b) by inbox.vuxu.org with ESMTPUTF8; 6 Jun 2022 06:23:15 -0000 Received: by mail-ot1-x33b.google.com with SMTP id y12-20020a0568301d8c00b0060b7d457645sf4390028oti.1 for ; Sun, 05 Jun 2022 23:23:15 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1654496594; cv=pass; d=google.com; s=arc-20160816; b=GHzhRgDyb2PgtFSlcGWxld7HDpIylUtf4Tp1AUSGxJCSKo2l0zxB2D3pNPnEEsmW9J /ysGTT6nIZqdnFf3osSlWhodLrN4eEHkMgeReSq3I7DT2L5oYsh6kurtbxGVUzRhATi5 QUe4hzH+YEblENzHpKqxkXOdyJWPByGff7HQ+ls19NeCGmwgeIubGCoBn452u3K2twTY 9xaxASQRfgEPHFGZ5aKOX845tKnrqYEK0Xzbk/5BmMxuMUtafKblg/ankItjtNASGff+ g0r2nQYeAlovVXJ75oETKXC5KphU0Waumq+aa/+TaBj/rcpg6K426UoT+8jZf8v1/VIw nz9g== 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 :mime-version:sender:dkim-signature:dkim-signature; bh=R1G+RF0CQfC0S7JU6Q042EH0JK2xYqrH2uqri0vMLAA=; b=h9RQs4JD1B3qhEEL5Y3vL5qDcXprZ5M65jH412Rn5SOAbhqLs7WgKVWCoP2s80hO6P HRuS6ZN/GrHKva0J+nBq9lS/YbzQCeZQLxR1j8AoFFN9BEfFJGX1pjAj9w9ikJGEJtAi 3MaPtmv3CgiKMzHkl/tL5oVGv0dYBOQ5pZNFKXi4g0On4Q25rNZ8ijVqXoOAyLK98Lyh M34usZ+Zv5U3B9hCM5AD1OxOUGBL4FOdMtNXVeaqlbEGzxjtHpBrVISr8fTO1tjKnUUi hnrJoryNVmogoZPlCbOn5lAybhioVlR/K57Jwk+zdapQRXS4E0dRsi6qymsvwGkB8Kgq czbw== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=XBGCET4P; spf=pass (google.com: domain of kaposi.ambrus@gmail.com designates 2607:f8b0:4864:20::b32 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: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=R1G+RF0CQfC0S7JU6Q042EH0JK2xYqrH2uqri0vMLAA=; b=bh+7nI4FAzdw9pMc2W1Dlepr8Ri2W2DUl/SgphQg+Tm8WMTcf6mIIYONai1aAEk/Lf Yep89ddD+F6j/meH52UTidEKy4vrC5zeIWPEm8yJj0WDVJesPA++lOQGUz/mux0wD67k JwsUpNSY3PC/HBTObq6W0jbuEHGlIhuk1Ll+1Z0rgpm1WGMd9HkoOlCVWEOCGBINb49M 2yXRi9KLCtPMIsw9fZ5Eh9/YcihE3YPHswytv3fbcMvis2ZPQlLqNn+GKYiMGP9paSiA spi96xtTvk1i3sx0Mj2CqDZW4OjkYrJuBJGQ/SpKqvUncf8wutCduSzuvUuh2o5A/v2/ L06w== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version: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=R1G+RF0CQfC0S7JU6Q042EH0JK2xYqrH2uqri0vMLAA=; b=EKuWaZUmIuXabLAw9Ap0hgkRNdJulD7XUAtAGtEWn9BVJwTVzL7ndTgwXaGWmIPh3w 3psdIe514eMuI9nrRqlf5EOPXuWK8GLhJbXYgmHkUFrbNqvgb201p+q0IjOgXZSQLb/G pL9kcp214LRjbEgFj8sainqEZEkJa0pEteZJ38WcwwNJ5QKKQlm7NxE944AsssCEvTwt yzbUqHcrJ2nU2J/y8qUg5THeZ2KRRvID4jHGWPr2QGrVYHZY/DbAxtJTRTqB1IdjugNL SsIfsvz/6FApLGJ/T8auzRYi/qjHxHrTY8Bbjj2NRa8Xf9+awdTN2a/OXC1+htvcQRQ8 EkGA== 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: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=R1G+RF0CQfC0S7JU6Q042EH0JK2xYqrH2uqri0vMLAA=; b=tGKlAU0gAQ4Z4j9EPMY2GYaoMLtBJrbS0mskYKj0wvf1SuxGvwmMLo8alOs+LwS3Yu A1ZgDYec8XNktsCMiBTywBN4ERlVmieyApOQk78WqPr62k49RDH3CfSsQvLW2YWh3W28 MKqab38eqlRG7gr3pk7+bzAFn8sYVyQ1sfR7GLXXnQG36rYpvIWosGfbiTzTpnwj2DDE RcTw6UkkBl3U6aEbU7QOdLKjRFw2oJXwDXZ+ZMLVV9mbddlx5wDHm/5iOGBTQ1eRNloc DpXZJMddTya55Li7DPmC26kJJ77GIbr1VvUa2ucQFT+rBjrks5R9eJOge9KbtvE8mPH4 mceQ== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM530vFhi6zEnp/sU90mjSBOzlfr9XLEkt0MC3UkwhnwNzxZC1Qodz ePMuwReGX0Dl1BbkCkDDACA= X-Google-Smtp-Source: ABdhPJw+s5etoOTbk3y8lvsrT5LfOcmTaMOg+Z6I2VLvfhlFRIvXQm85OwMVxgfjMd4zhvqWuJH5DA== X-Received: by 2002:a05:6870:d349:b0:f5:e9ea:5200 with SMTP id h9-20020a056870d34900b000f5e9ea5200mr14403425oag.235.1654496591667; Sun, 05 Jun 2022 23:23:11 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a4a:c895:0:b0:41b:85e5:4d57 with SMTP id t21-20020a4ac895000000b0041b85e54d57ls33082ooq.6.gmail; Sun, 05 Jun 2022 23:23:07 -0700 (PDT) X-Received: by 2002:a4a:6c7:0:b0:418:cad0:ed47 with SMTP id 190-20020a4a06c7000000b00418cad0ed47mr9315299ooj.40.1654496587331; Sun, 05 Jun 2022 23:23:07 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1654496587; cv=none; d=google.com; s=arc-20160816; b=n9+fjGRgq28f3Q7B/4JJlsRng5IMio8FOFi7wNIuv05fNwhVhQ/ThdOzX+Wmss+st7 c2TWfVBXYIOVaww3tj9dAQr7Cl//HRfvLco3Faqfk8oeBlVlswja4V8SfxXhsXLnJleO T0gnp1t/G2KKKHYcMhkxZm+UHvsRLNe6gv4QjWs4jwX96dJ7XCBi2qRw1dHbBKvw9Rkk vRYoNGJ9zhXunpQuI+TuCsciZ7gb6aLmMNrEi4MOrskX7xeWkdRxFrxV2gZj9Y4swBtS PY6h0A5+A+1pj5MviTBnjmq1pdOrAQVTCE2q+0TXKxu7RKLDwxMxmeIPsPRoezLuSBEC 9VVA== 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:mime-version:dkim-signature; bh=nxZTJNTlk+5WYMZHXpwdBbtjau/z+L3cMt8UE7Ie6Rk=; b=MqVmCG8WDIX7bWQSO4XbUyW+SCL1kpo4KGr1Ij7bFU20Nwyy5maxQHTmo+QnjN4CnW anad4jtLwasz61ta2WLGxhSbCvnij2lxKJhWP9Y4Tp6fFqcwQrfVMDAFgfZMJQgPygyK kOVRFaHLzKCtP3/qrvwHxLW9lBwptZRKMxO5LOCbbjBYjnqbFRuiB8Osuncfn0ZCWels QdlIMPz9wupHs9rT6OBaNsIt4UUoh2J1DzH80wPF8dKbLZYOxj8ayrV2WbBAXVpvxuL1 v7gxyOPyH3Xq6RJT2KLmkDMN4I6TckI4kiYp7wKPyXvoF8F/RgMqu/oUpYLgteVszBsM 4yLA== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=XBGCET4P; spf=pass (google.com: domain of kaposi.ambrus@gmail.com designates 2607:f8b0:4864:20::b32 as permitted sender) smtp.mailfrom=kaposi.ambrus@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-yb1-xb32.google.com (mail-yb1-xb32.google.com. [2607:f8b0:4864:20::b32]) by gmr-mx.google.com with ESMTPS id z23-20020a9d65d7000000b0060bade020f3si793496oth.5.2022.06.05.23.23.07 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Sun, 05 Jun 2022 23:23:07 -0700 (PDT) Received-SPF: pass (google.com: domain of kaposi.ambrus@gmail.com designates 2607:f8b0:4864:20::b32 as permitted sender) client-ip=2607:f8b0:4864:20::b32; Received: by mail-yb1-xb32.google.com with SMTP id g4so23908674ybf.12 for ; Sun, 05 Jun 2022 23:23:07 -0700 (PDT) X-Received: by 2002:a05:6902:50e:b0:65c:b6d0:7ff1 with SMTP id x14-20020a056902050e00b0065cb6d07ff1mr22545187ybs.527.1654496587091; Sun, 05 Jun 2022 23:23:07 -0700 (PDT) MIME-Version: 1.0 From: Ambrus Kaposi Date: Mon, 6 Jun 2022 08:22:56 +0200 Message-ID: Subject: [HoTT] Call for STSMs, deadline 1 July 2022 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="0000000000005b156f05e0c18161" 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=XBGCET4P; spf=pass (google.com: domain of kaposi.ambrus@gmail.com designates 2607:f8b0:4864:20::b32 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: , --0000000000005b156f05e0c18161 Content-Type: text/plain; charset="UTF-8" COST Action CA20111 EuroProofNet Open call for Short-Term Scientific Missions (STSMs) Dear Action members, The next STSM deadline is: 1st July 2022 Notification: 8th July. We are especially looking for applications from WG4 on the construction, management and (re)use of big libraries of formal proofs *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. Find all the details concerning application on https://europroofnet.github.io/grants . Write an email to us if you have any questions.Best wishes, 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/CACSS4jnhWV9OoK-o2hYKEHNaf4OTAGrh-PrjPMKT8B6Rac%2B-rA%40mail.gmail.com. --0000000000005b156f05e0c18161 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)

Dear Action members,

The next = STSM deadline is:

=C2=A0 =C2=A0 1st July 2022

Notification: 8= th July. We are especially looking for applications from WG4 on the constru= ction, management and (re)use of big libraries of formal proofs

*Wha= t is an STSM?* A Short-Term Scientific Mission (STSM) is a research visit o= f 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.
Find all the details concerning application on https://europroofnet.github.io/grants . Write a= n email to us if you have any questions.Best wishes,

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/CACSS4jnhWV9OoK-o2hYKEHNaf4OTAG= rh-PrjPMKT8B6Rac%2B-rA%40mail.gmail.com.
--0000000000005b156f05e0c18161--