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,HTML_OBFUSCATE_05_10, MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 21624 invoked from network); 7 Dec 2022 09:11:23 -0000 Received: from mail-io1-xd37.google.com (2607:f8b0:4864:20::d37) by inbox.vuxu.org with ESMTPUTF8; 7 Dec 2022 09:11:23 -0000 Received: by mail-io1-xd37.google.com with SMTP id c20-20020a5d9754000000b006dbd4e6a5absf13326778ioo.17 for ; Wed, 07 Dec 2022 01:11:23 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1670404281; cv=pass; d=google.com; s=arc-20160816; b=DvtAe96bLKhXn7fNEvm3vserzAZAF4sYlOv+GdvAZozi73xm/S93JDUocwXpKWVteL oTCLAQLGMCqeaRc1cZf2qOiHabpZMZ9zPxei73ygCGrBpSFadTzhgRw18OFyg7n2JOxY RhcDlUa1Y3q/8zht6GBCBg7HpSVS4T8zTX/1Tf/dZ/3Qe6tah5hYt5POw9rSvrNdRzGv fYsnwq2FudcHvQPlN+wY2XqAhlxrXMWylxIKp9y4qJQxjwiR+U2joWdQvSwB8m/hx/v+ FdGWZpYhCjkczAX5FPdZ4x09+1uS3Xt3PK8jXYYYHm8fDirhmyMq9Iu71xEqXgm6t9+T bQrw== 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=razm/zlauvZYgcMt93p+a/fJ7iUtaFH8TinEKmjicTU=; b=EJeDSonddeYnikxCYQonnjplvdLZUle4U1I/xhq1+GmROz0KAG32BpJNOgcBioOrN6 UDndKXUIeSgD9myszwSVvjQLm6s6XzLS1N5O3S7mct65qygsBTSnAQTMQF6rXn16EaOB IOAH9wFJFKd9qaTc5OBZdzCg/qCel8dpYHYGsskHJpvQe/h68sjO0qLjXBWORMM/Olp3 HgiMvl6IdbNCB7NQnV1/0AQ+RZUvopuWaGPaOA+K5Jy7QLFmfnRk6AJi0iJRIXkfUGiY r85oGgcxWzVq5PYw6gp3XxqFscijiicJr0twvniZnjutrQkZzpCUqSXammNsWC+f9Aqp ZVqw== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=IJqRsuG3; spf=pass (google.com: domain of kaposi.ambrus@gmail.com designates 2607:f8b0:4864:20::62a 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=razm/zlauvZYgcMt93p+a/fJ7iUtaFH8TinEKmjicTU=; b=oc/TwpfkOZAV2qi5OOIn+A/0ZVTZilhHbJlsIO/emprM8ntWcdU5eCY08sVER1hKFB wUidMCLrvveTbVlb97kV0hauFZ9qJNrMH1hSN5nTJnC/DvReQt5qhToX8XH2CWzwmD5H ZvTaqMd8I9kKpVajPxCS9ZS2xBXNFUbaLJRvvaNq/96tCs3TLoUgHcn8hzz6AZd333xp CLG2fGDhozoOeSZ8KC2s5xHUyW0n5A4yc7xBKl4g7BAeN9lnDLCr6xToXRFOGxoXqmwv t32+sWfbPP4OH18BY6N+0KEyYZeUCK14rTin+EE1XQhtp1c6K9hofF7c25B6cVPYk3wz gA6Q== 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=razm/zlauvZYgcMt93p+a/fJ7iUtaFH8TinEKmjicTU=; b=j4IzTh1dsXC9GSFWQ7zZ/f+8Nk2ztjcuQjuawxNNgfXYN1Gj7BK7JZ8lw1lJ6om4f8 8mOvqWFCNspkWEgrudOlgsUcnEZa8dgKGGsplVGsloCzSEeAFnp8dRKfThqJ4tpw4wi4 WKI0DgdWSba0x3LEioBExvt4PviyB7PTttvT+wvogTQCfOeu16io06iXiESjCAcFu4iC 4HZe5Ksh3xCqajSEb/mCkbBlWv9JcguK4UPKTaLwgReXT6JhYxCjPKjnEDvyLF48UOme 7+Oy6OyglFIL6GK0ecTyM9GQInVP9RyBnDVRhMQramzjrS0Ag5GIXU7PQPmm/zGUtDfu OBRg== 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=razm/zlauvZYgcMt93p+a/fJ7iUtaFH8TinEKmjicTU=; b=sVRK6RWL0miBav4rVNulsgl91t2DUjCfXETlJ59hi8pRrpNfYvTRcU+rNDc8NEzM8r Yr2WaXm1q+Rh8YDd+t+vqnZi5fW5qf/ysCOecA3owjm8PdTFzl8wXTDQ9ErE66nr2aKK ZCrxDSuYAhYKuia1Rlz2Y36TqektdSUvnVHikVvUuDZaG1s9sKoj946R321v1EF/ra7I 7zCpurUry5TRvOVNIT86pP198RAZygYuT6zrNJPUNlLax1AynjaOWyBUfSpJluGj0InO mbvYNbkZhRfv9gV3Pq6s3qXzjp2v5LYZhlrS8ALs1kOu749mjQTHmEs/xeeYbBKXsfES zTZw== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: ANoB5pm1CBPLr7tjO9uqOZkRJflHswWfRcp0JQYgrxaKp5T5G5wvzNsQ wpWAr0bFifpOhbz6geGVzS8= X-Google-Smtp-Source: AA0mqf6QhXIbvSBBoTM7La6c9KW3ZDFuedXJshKMjwUj0uNr6xt6nMhLIrIUfDL9looNWRbsnsm7aQ== X-Received: by 2002:a02:a815:0:b0:38a:4b1f:f69b with SMTP id f21-20020a02a815000000b0038a4b1ff69bmr5642662jaj.4.1670404281287; Wed, 07 Dec 2022 01:11:21 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:6e02:1284:b0:302:b56a:ce1f with SMTP id y4-20020a056e02128400b00302b56ace1fls285987ilq.9.-pod-prod-gmail; Wed, 07 Dec 2022 01:11:20 -0800 (PST) X-Received: by 2002:a05:6e02:219d:b0:302:cbad:e98b with SMTP id j29-20020a056e02219d00b00302cbade98bmr34186590ila.186.1670404280196; Wed, 07 Dec 2022 01:11:20 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1670404280; cv=none; d=google.com; s=arc-20160816; b=dDybWf7UUFRR8b0L4zOTZRfhaBaKx1lIeisQlkXldZQvJMxisMPBpk6cTb1TZ618pe t/DnP9vK1dIelKkfj4PhGP5U3aHMOX0FHU/p0scO4H93xtjGLJo97p0SIHG67S6gAgyp xukiA9RV8YYNC1YOh/8yxKiN8CZYvjENWowIKhXL2lMrR/UJdbq5l7dkW9J8R2NXnJgp vsrTn3k0qc9h2D7+4Lwc625RJFvqBxLeoOoioGHqPccre+r3fDHEyxTXkFy2ku3jj+tY zlUKPFxWgkFcgTtdMVHXLK3tkoR/6ClZmC6Hc1Gn6kIO+9RMuX800mLcADSLxx9RHizk RDDQ== 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=2+dqRRsYuctrbb+gEOli8hYgmYBW4sNmYih7KqF8urE=; b=Ymp7n7thFeQaMBR9Tarvy4ezDPSobOik4JsS1AsghbBS4Ppju4eEMA0lSoOyJLaqMu cd87c+0nzmqc9Ou7ia8utB3LHHqT2W8UN37vMCLmO7TUF3hR9k1gRH6rGrxvn8MC3cgj bCuTOKPuN1OdiBslDyMXA0BAuR3a5llB+b58BMRHaYKtsuYlNkbQXOTmCH1FyVQu77OD 91EkAGSP8HtRmwql7ID/aG4JMZqBWfAjbZ26l2ltmpEKkzMe24Kv3jHf+xZMbfFy0cEc sfzbZqEb8VAdeCCayMvWc52EAj/xer/I8eyy5VR1vtmWKBKvIoWlAevgOVglV5VxSsqC 84eg== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=IJqRsuG3; spf=pass (google.com: domain of kaposi.ambrus@gmail.com designates 2607:f8b0:4864:20::62a as permitted sender) smtp.mailfrom=kaposi.ambrus@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-pl1-x62a.google.com (mail-pl1-x62a.google.com. [2607:f8b0:4864:20::62a]) by gmr-mx.google.com with ESMTPS id g22-20020a02b716000000b0038a6bbe1e21si74297jam.1.2022.12.07.01.11.20 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Wed, 07 Dec 2022 01:11:20 -0800 (PST) Received-SPF: pass (google.com: domain of kaposi.ambrus@gmail.com designates 2607:f8b0:4864:20::62a as permitted sender) client-ip=2607:f8b0:4864:20::62a; Received: by mail-pl1-x62a.google.com with SMTP id d7so166717pll.9 for ; Wed, 07 Dec 2022 01:11:20 -0800 (PST) X-Received: by 2002:a17:90a:2b88:b0:219:a1e4:20e2 with SMTP id u8-20020a17090a2b8800b00219a1e420e2mr21280657pjd.182.1670404279497; Wed, 07 Dec 2022 01:11:19 -0800 (PST) MIME-Version: 1.0 References: In-Reply-To: From: Ambrus Kaposi Date: Wed, 7 Dec 2022 10:11:08 +0100 Message-ID: Subject: [HoTT] Call for STSMs, 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="000000000000b5f99605ef394d09" 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=IJqRsuG3; spf=pass (google.com: domain of kaposi.ambrus@gmail.com designates 2607:f8b0:4864:20::62a 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: , --000000000000b5f99605ef394d09 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 January 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. 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 > -- 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/CACSS4jn%3DdfBAR_O2c9pO77zQVes7L7obOO__ju4-9RoZqA-s-w%40mail.gmail.com. --000000000000b5f99605ef394d09 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 January=C2=A02023

*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 part= icipating in the Action. We encourage STSMs, as they are an effective way o= f starting and maintaining research collaborations.

Find all the details concern= ing application on = https://europroofnet= .github.io/grants/

=
D= o not hesitate to contact=C2=A0us if you have any questions.
Best wishes,

Danijela Simic and Ambrus Kaposi

Eur= oProofNet 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/CACSS4jn%3DdfBAR_O2c9pO77zQVes7= L7obOO__ju4-9RoZqA-s-w%40mail.gmail.com.
--000000000000b5f99605ef394d09--