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.0 required=5.0 tests=DKIMWL_WL_MED,DKIM_SIGNED, DKIM_VALID,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 15269 invoked from network); 9 Dec 2023 15:28:37 -0000 Received: from mail-oo1-xc3f.google.com (2607:f8b0:4864:20::c3f) by inbox.vuxu.org with ESMTPUTF8; 9 Dec 2023 15:28:37 -0000 Received: by mail-oo1-xc3f.google.com with SMTP id 006d021491bc7-58a8142a7a7sf3562149eaf.3 for ; Sat, 09 Dec 2023 07:28:37 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1702135715; cv=pass; d=google.com; s=arc-20160816; b=dybxFbSEYaGVqyCXsStAN6sUMPiakkOff5yVzUCBvZfIF8T3txHA9pf2Zgj2FnFUwI z2CKOQuSDeOymei3vuL8h2SoDiIIJDjRPuiHnnPeQ/c8B6Z9CfwkxgMG36mhcdX1m/1D JQR3wGwVY6ouUdXfNze/oJ10uyuzbewyiqcpZZ0hLqmqZMR6S/PJm4+tqb8Kk9F1DZze 0Qcta/8dtwjN09vwFoBlA5edgjtlTPZ8J2FyP6E3i1oR8Ku7MkseUWIBUi4ompMeLX/5 0/EKc94YkwVNpHEhFoAFH5Gwtt7dUJHXu8zasMoiPxth8yPMyOsP0Sm5m60LHNYcskXY 4XPA== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:content-transfer-encoding:mime-version :user-agent:cc:to:from:subject:date:message-id:sender:dkim-signature; bh=J3S260TJRuKuJTnINEwR/NKMW3HTRbB+L4DRyPQ3owY=; fh=knHCrpuFfp88ySYYJoBfLN5uC0TjBQpfS/Cg1a8Cugs=; b=MkO3H6bzGn1f8BOOKy5/w1xKvZ0YP3XNbvaUN7pMBJMA+MaGEntWACinCaWkZFbsZS ATL8YhhsSY8fdm//JE0qEuU76jXX/YC15m/eQ/q49lmUoWNJGsopZw34cdzH/w6uKO/n tE36+TiDoLX1WAWmTIcKlJK7D+FZE51hIQyH/WNocz8AdxwsdXbS6GgGH9rtqiIVeSr6 AaP8Y3KHrGBHTpBZPf524R2mHhxiU0KcevTDkt+AzqERiJThsCguWmzgORc3OZJWN/MC CC4QZvhbs5CoEBwB4Yybjf0G1SlnUNErkN3g0mSGbmVqb/geqldIKS0HH94IUwG1zW6T BA1w== ARC-Authentication-Results: i=2; gmr-mx.google.com; spf=pass (google.com: domain of simona.k@uns.ac.rs designates 2001:4170:2000:1::6 as permitted sender) smtp.mailfrom=simona.k@uns.ac.rs DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20230601; t=1702135715; x=1702740515; darn=inbox.vuxu.org; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:x-original-authentication-results :x-original-sender:content-transfer-encoding:mime-version:user-agent :cc:to:from:subject:date:message-id:sender:from:to:cc:subject:date :message-id:reply-to; bh=J3S260TJRuKuJTnINEwR/NKMW3HTRbB+L4DRyPQ3owY=; b=ldzFROxx/JO/Q+l2+jCpxMwlzps8EKjF7gDh3JYMLbIcGIaCKgBq+zvbrcfpizTIGZ pmktSOwfZ0IoHw85L35vcpJL/XM0W6eA67kOGiBDthTzgcDdC6bjTSVI0XqjS0J16v8L OT+cRbeO+Gn2QXMqwm3uBeM57NTrdRbkMprJKrs/I7IKMi90Pa1yteYazJCKnhf6ibnJ f8FEPyv6Jce+Kny9nenQtdjeeHhJbigEKNr5WOLkuN537Iif4G7xIG0N4GhY2kI7kaON d7NsNfVWCnmyhl39Sw8q50fJ+B9kV3n6vbG+4YoQVGXMVQrgwxRaTkE6JziMGEQzh/vT a8gw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1702135715; x=1702740515; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:x-original-authentication-results :x-original-sender:content-transfer-encoding:mime-version:user-agent :cc:to:from:subject:date:message-id:x-beenthere:x-gm-message-state :sender:from:to:cc:subject:date:message-id:reply-to; bh=J3S260TJRuKuJTnINEwR/NKMW3HTRbB+L4DRyPQ3owY=; b=Kde4Mf1XAZTl/wQU5N9UMLr9Q+yL6cldUY38wT0lLyV2eLAbPNLT3l+pPr9aLFRYkT TrCoQmCy4lm0n0FGa/XkX9rVlnKnM3Qj9yqPRnt17M9mPVAdGR117zA2nu9l1gZjHRHT In3JMoPON++a3cQvnUuvbajQRGlg4lTq2lCrXLsBqqsaGmfDh0jigPZv1zDfE8LpUjz1 GO+mOFj430JKp13TYYHU8AcRr5yZV/ttrO7NyRVA7eS9CWVLANfIMhFJ5KmQbqx1MJa+ KlY/hKPvh0OQbxBvQMVVWb+3QMMAKLle7IYNty9p0TWOWz7LZlXr3d+ME+LtwNxKPA34 UwtQ== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOJu0YyYZF0e6RTMoZlFs0u8LTZvI6bNjEZgn7BBw+gw6l+bxELtiNfD G04g5BdjAyKpZw+fnJDDqQE= X-Google-Smtp-Source: AGHT+IFqUweNDe6xRh25l+ov8EznjLZ7I3NFIWVjsd4Tsx0WfMbryA8xzZQqKP98oAIG2MlaVx2Z4w== X-Received: by 2002:a05:6870:332b:b0:1fa:fd1e:75ce with SMTP id x43-20020a056870332b00b001fafd1e75cemr2056782oae.6.1702135714949; Sat, 09 Dec 2023 07:28:34 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:6871:4a0c:b0:1fa:1371:29a1 with SMTP id tz12-20020a0568714a0c00b001fa137129a1ls2115318oab.2.-pod-prod-07-us; Sat, 09 Dec 2023 07:28:33 -0800 (PST) X-Received: by 2002:a05:6870:350d:b0:1fa:fadc:4d27 with SMTP id k13-20020a056870350d00b001fafadc4d27mr1635351oah.2.1702135713480; Sat, 09 Dec 2023 07:28:33 -0800 (PST) Received: by 2002:a05:620a:19a3:b0:778:a9dc:3cb2 with SMTP id af79cd13be357-77f4c777ac2ms85a; Sat, 9 Dec 2023 07:27:27 -0800 (PST) X-Received: by 2002:a05:600c:21c7:b0:40c:31ec:eaf with SMTP id x7-20020a05600c21c700b0040c31ec0eafmr825522wmj.205.1702135645386; Sat, 09 Dec 2023 07:27:25 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1702135645; cv=none; d=google.com; s=arc-20160816; b=O3UPonv0Zr5HPAKeoke+AITOAE3fuWAqHUjnjhSgU1pHM7RCmhjRx78QdepUwzlnFP RFxUeSjZGjO9lFvCwybkkEzOVODGoCjff/QslxzyeYNrvpkBd5AgLmUH1An0iRpwa2f6 Wh53nX4uNPxNCaaTP2BwRy58dGmCBjNM3nPeyCdn2MAQwr/E2Bel3JYfdl6k43GUgsmX 3rSPs4YvHnem3jDwInIcWIxMZsFZWVcWH9eQiNnpqCG7N6jVxU0J7mHJd2kISwCwSXuf m/SkNJlSNLsnkxQ4ORZ4LLlNqbh0APjck1OtXQqtqAaBrRUTJ0O+TvosQLaKMpivMU0E U1OA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=content-transfer-encoding:mime-version:user-agent:cc:to:from :subject:date:message-id; bh=rTqkkZ8FlVcmC/vP5UcSRVlr+wWAfP3AsNGoJc9JJgM=; fh=knHCrpuFfp88ySYYJoBfLN5uC0TjBQpfS/Cg1a8Cugs=; b=qUzsTAXSurVOVAOAhj66sBpxYfc7QE1mEx38+VaDL26ZrvbpEHlOlA0vRe6+ntIjbS oIiHP+vbvVCcA/zVZo6i/zu9oHQy0iDsVgNc7Ay/nrF5dgTGXclWdZm2QAOQgEYBfc0x kkcZv4r5JI1VsBf0FeRarKClv/E9khNuXAqoS80T7HgazzXbziJn2ybq2DK+bN+0Latk uAOGtnnBTbpEAi5wl6vobv8sXIN5UYYiKziDqvD1UWzXV0W6LGBpZdTNTMhzAJAio/9U 2CRyEP4l1W3Pga5EHBgAQXGDNSJv4LOUe5HDZaCL/b2YkEsapPRHMnZ9r+yjxFynJiGi YUwA== ARC-Authentication-Results: i=1; gmr-mx.google.com; spf=pass (google.com: domain of simona.k@uns.ac.rs designates 2001:4170:2000:1::6 as permitted sender) smtp.mailfrom=simona.k@uns.ac.rs Received: from newsmtp.uns.ac.rs (smtp.uns.ac.rs. [2001:4170:2000:1::6]) by gmr-mx.google.com with ESMTP id b13-20020adfe64d000000b00333504001b3si169807wrn.1.2023.12.09.07.27.25 for ; Sat, 09 Dec 2023 07:27:25 -0800 (PST) Received-SPF: pass (google.com: domain of simona.k@uns.ac.rs designates 2001:4170:2000:1::6 as permitted sender) client-ip=2001:4170:2000:1::6; Received: from newsmtp.uns.ac.rs (localhost.localdomain [127.0.0.1]) by localhost (Postfix) with ESMTP id 6DAAE259B72; Sat, 9 Dec 2023 16:27:24 +0100 (CET) Received: from 127.0.0.1 (portal.uns.ac.rs [IPv6:2001:4170:2000:1:216:3eff:fe5d:94df]) by smtp.uns.ac.rs (Postfix) with ESMTP id E4956259B86; Sat, 9 Dec 2023 16:27:23 +0100 (CET) Received: from 127.0.0.1 (SquirrelMail authenticated user simona.k@uns.ac.rs) by 127.0.0.1 with HTTP; Sat, 9 Dec 2023 16:27:24 +0100 (CET) Message-ID: <53970.127.0.0.1.1702135644.squirrel@127.0.0.1> Date: Sat, 9 Dec 2023 16:27:24 +0100 (CET) Subject: [HoTT] Call for STSMs and ITC conference grants, deadline 7 January 2024 From: simona.k@uns.ac.rs To: moca-announce@list.it.uu.se, eutypes@cs.ru.nl, agda@lists.chalmers.se, coq-club@inria.fr, types-announce@lists.seas.upenn.edu, haskell@haskell.org, homotopytypetheory@googlegroups.com Cc: kaposi.ambrus@gmail.com User-Agent: SquirrelMail/1.4.8-5.el5.centos.3 MIME-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Virus-Scanned: ClamAV using ClamSMTP X-Original-Sender: simona.k@uns.ac.rs X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of simona.k@uns.ac.rs designates 2001:4170:2000:1::6 as permitted sender) smtp.mailfrom=simona.k@uns.ac.rs 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: , COST Action CA20111 EuroProofNet Open call for Short-Term Scientific Missions (STSMs) and Inclusive Target Conference Grants (ITCGs) Dear Action members, The next deadline for STSM and ITCG proposals is: 7th January 2024 *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?* ITC Conference Grants are given to young (<=3D 40 years old) researchers affiliated in an Inclusiveness Target Country or Near Neighbour Country to present a work related to EuroProofNet in a high-level conference fully organized by a third party, i.e. not organized nor co-organized by EuroProofNet. Reimbursement rules are the same as for STSMs. We especially welcome proposals from the working groups 4 and 3, and from inclusive-target countries and women. STSM and ITCG proposals should be between February and August 2024. 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, Simona Proki=C4=87 and Ambrus Kaposi EuroProofNet Grant Awarding 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/53970.127.0.0.1.1702135644.squirrel%40127.0.0.1.