From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: from mail-lj1-x238.google.com (mail-lj1-x238.google.com [IPv6:2a00:1450:4864:20::238]) by inbox.vuxu.org (Postfix) with ESMTP id 2E78D229A6 for ; Wed, 20 Mar 2024 16:24:03 +0100 (CET) Received: by mail-lj1-x238.google.com with SMTP id 38308e7fff4ca-2d6899e934esf15279051fa.3 for ; Wed, 20 Mar 2024 08:24:03 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1710948243; cv=pass; d=google.com; s=arc-20160816; b=FKmF3cBM+FDjKemOeXKixgAEiKhxwiChTHzhnQEoREQPnFKeWa7O9oTIoMwW7ok548 Eo4kBtG0ODi5IIqtbTyIyR3Clp+zwLgERU3G68hEUvpBpvbiWJwodEHaVrPQ7akVaXV/ vzzn/l9SmIeIwPABJ0DJSE6fD1Uyozk3mlCgdyxgziETfCXZ9fcBrCmNpOYnrr0cRPGM YSEa1uJuV21k4SQzYiy26ZW4bBUKHOFOgq8UWMmIhTYf6EoPp/6DAGSwsdb9BFaJNHCu ZFffAYPTq6OyFYV0zFZEsRiEMRg2LXjme2LME8WTKXWF8Sp2YPF71tJtE/X4pYoV/i0q 2V7g== 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 :message-id:date:subject:cc:to:from:sender:dkim-signature :dkim-signature; bh=5Kzrwfwl27TMmT9VYExNfH/aHgK9XkQ/90sSPyUqPUA=; fh=Sfb3NtkfCN5SuUaz1fOoQkNgl5qcjd1cn23/8dEfWY0=; b=ZHIpaFInKfkdx8DaJjJlQdaDQGH0zrSby6xTL2rfYyQb5uT/IAS0nzC555mTAz0N4R cduIFEKziTqfmJIEC8wL2tk/mTbPsLU8qA7fHDn5k255R+5MIclhNflcwiz6R0KktshG ca8q/GQJ+WHpNLcGIQNkVp+74pE0fJp+H8oJXHskGuJgvoLwk1n55sOACvRBGrDgOVUW wijOYv8K95Rm61Unj+phBel28mnNWvKCQyoeKnX69xUIh4UIyK2YX7BWaeGQseiyrndB g32vOyOoGq3eX2GEcdACYUFnoyEsVlyO1ljXnRVQAkWu1/2s2jik/YwVCVIxd8Osbb/k yhVw==; darn=inbox.vuxu.org ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20230601 header.b="f2/R4hcd"; spf=pass (google.com: domain of kaposi.ambrus@gmail.com designates 2a00:1450:4864:20::433 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=20230601; t=1710948242; x=1711553042; 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:message-id :date:subject:cc:to:from:sender:from:to:cc:subject:date:message-id :reply-to; bh=5Kzrwfwl27TMmT9VYExNfH/aHgK9XkQ/90sSPyUqPUA=; b=htzRYWvAtr/kqIaUE1pmbE8iW9hs3uj66FLIWVr2MxIwWu6P5mXxcmPCDJL+Yc5ftK RX9YrrzjGLo7+Z4VnsC+3e0zvoXvkKTM28eBwGyrWBonEfJXkxC4fqkSYw0VXLWZijzR LBF5BmkyYFdkYVGejY2mBdgnKB509cOyM678IuFrTbHurvmN8eAqHIfoDbk+hksGg3ue RtAAMghyiLA71kCHKNsstH8YnNHmr1UnmzHq010T7YVBwQJQ0YA9nqsCKxqV6MMH2AAX 7y7wGsWhhltHBXHjzEYMaolEIFsWsOMLG+YzOj/JVBuOGZA4CaLF3ZeO88l/D7+olVGp gs1Q== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1710948242; x=1711553042; 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:message-id :date:subject:cc:to:from:from:to:cc:subject:date:message-id:reply-to; bh=5Kzrwfwl27TMmT9VYExNfH/aHgK9XkQ/90sSPyUqPUA=; b=iVxRoWMoJ1ibfePXYd76CrYU0EuqkfHQ99/XCzrxftaaO9Ij9MX3Yakbdw1aDtrkwq fOPHS5H6xvJCjWthMfEIP3TFb3GhD0QtOJlWaS9O9wtQOd67alK/W4m+621PcQH25K3D 12ulnxsauiDBDUhd/OknV1PsP1DwqfQyCTtrxS9CuXloPqZjnjNAhkyPtb07VDunc1mN 9d9R0vDuIL0ICGpIfX6ye3q//7UtYaLCP7cf8gLvL9ZP1pB1LiCLSA+3oehbZAPp2kLO ytW8hPWq9+St4nAzvxNAPP3GL0VUjNZuwWMcFGtH91YnhIiOXqiqUXHHOsguVt2SR6AT dt2g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1710948243; x=1711553043; h=list-unsubscribe:list-archive:list-help:list-post :x-spam-checked-in-group:list-id:mailing-list:precedence :x-original-authentication-results:x-original-sender :content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:x-beenthere:x-gm-message-state:sender:from:to:cc:subject :date:message-id:reply-to; bh=5Kzrwfwl27TMmT9VYExNfH/aHgK9XkQ/90sSPyUqPUA=; b=Y8PS4W3BD4FeJbVyrLyCqOp5vtThZJCg7lwMlu8C4vO8zOMd+eVA+hHHzP9wKrhXNb m8e99cP96Euhjxibbt6hoJVB+ldqStkuOc44WGZ6w5ZjTL7+ME4B0GkL+xPBGEQ7W4I8 pJ9Co/ikcIJMJS9DNQQkgsaQ5C22Dq3w+1tMZEFZqGxY6zyRr4pavkv7pLlGYFMw83ws v9WMMAVhiUSrmKdQjgiVufyeUEjWxs4Sf19kBLluVq5NtXBznreJahxR2IRhZY+OuCwm cPWOAPtywu265J2ZrsnHLDaZiWUifMd0Fi78l2H1v/iy7kKUZnbRfgMHmt53FGH/iHQl lxKw== Sender: homotopytypetheory@googlegroups.com X-Forwarded-Encrypted: i=2; AJvYcCXTUIxAM7t4pCnpwCi7qGHd2jQQctXazVs4kPjT9g79LzgnWCKQmGVpQpzzqMNRZMWO4DMRlBO1Y5Cup3irht3lxw== X-Gm-Message-State: AOJu0Yxa8ZND8Hp5Rz4cpSDdPKxcjyWg/1Ra8OcqW8QHZumwGgGInUGY Cc3tE1QNdKoSnWmQEWFMMpfPGie6G+pJrxI4jwHkkrpfsnB2TY1w X-Google-Smtp-Source: AGHT+IHSkL+rNmKbv9xsYpDFztZNqIHPTJsIfSAH67M16ctBEUA/PtNmIHaRZoFd0eV6nKAzPNwKpg== X-Received: by 2002:a2e:800e:0:b0:2d4:842:dabe with SMTP id j14-20020a2e800e000000b002d40842dabemr11913920ljg.36.1710948241963; Wed, 20 Mar 2024 08:24:01 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:600c:1d03:b0:414:381:6004 with SMTP id l3-20020a05600c1d0300b0041403816004ls25702wms.0.-pod-prod-01-eu; Wed, 20 Mar 2024 08:23:59 -0700 (PDT) X-Forwarded-Encrypted: i=2; AJvYcCWG5dUdrJFPl++ytHd1sDxQE8oyIDO3QcRTKnzYmcfXG9rBAoLQ4fuB+7sMihnSMIa87FkR4+iXZskiB1b/BLBxzaPua61jJSKQUJircBQRSJQPKg== X-Received: by 2002:a05:600c:46d1:b0:413:3906:d906 with SMTP id q17-20020a05600c46d100b004133906d906mr14539254wmo.17.1710948237434; Wed, 20 Mar 2024 08:23:57 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1710948237; cv=none; d=google.com; s=arc-20160816; b=PrMzph1kO1thE5SiKCnTu9KPwr1BzJVridMcBeRsnWixfczTBCfl/eoW9HkA5b3QDm wu3wDE+18L2pQbNdBv1xR9D4UrrIBuES1tzqvFLYHl3aL4gG3ebrAOvHu7SunFr8++vr JgF9ewUHRG/bUfPAmPxCO9E2cRtMkt/4dN/oE7Ce/7L0LPWdkhM8fYtRmgk8RAwPycQz JDTD3+OQWfry9YrQPR1T2oJuuhAREeye9Q8UaqiOsmecBn5Dg6ptr+Z6x5QZ/vXbDRUv vFbE+96KI8Gv9/9EfNvzOUv/Av9p0drzeZyhVLD3rFTE0nVZvuLO9Tr5zw7hYIXYGaiP i1ow== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:dkim-signature; bh=crnnlb61rZzNX2Awlm1NtdQFALlb3VoCNA30nqSvTFo=; fh=UFCuq1TIcOWc6l1TLoGQiVlqZIa5c8t/3ak66EbV58U=; b=Rz1sdu7CF9fADjtI5IKdb4y2M4k10PXuqeeha6sQt9O0ufRybxcrlg9GDawJNE6sUE 9dJL3HhLeQmQP6q0YelIgnnmpPIiJlL/S1OKkpGDRoEaX9v6GqNs5DduiXorhVIXSzVD IaRB+Lx9u4TtKyqbRL4XG2L3IusQbVq2ppnHPXJYCo9GchTMQ9gIZZKWRgb3wIv9aLqo QI3SewX22rgPirw5cumeGTvy88QlPIcgNWDSDt9nfQSeUcfjk486qxqq8rsIbziEui0C NWpFxoyCfMQ2kN2K6t302SMrbpVekH9ZlT15a+QDAj9YSdquAqoFSmZhg1wLu2Ltd2Gy AY1A==; dara=google.com ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20230601 header.b="f2/R4hcd"; spf=pass (google.com: domain of kaposi.ambrus@gmail.com designates 2a00:1450:4864:20::433 as permitted sender) smtp.mailfrom=kaposi.ambrus@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-wr1-x433.google.com (mail-wr1-x433.google.com. [2a00:1450:4864:20::433]) by gmr-mx.google.com with ESMTPS id g1-20020a056000118100b0033da6ecf671si743678wrx.2.2024.03.20.08.23.57 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Wed, 20 Mar 2024 08:23:57 -0700 (PDT) Received-SPF: pass (google.com: domain of kaposi.ambrus@gmail.com designates 2a00:1450:4864:20::433 as permitted sender) client-ip=2a00:1450:4864:20::433; Received: by mail-wr1-x433.google.com with SMTP id ffacd0b85a97d-33e570ef661so3222716f8f.1 for ; Wed, 20 Mar 2024 08:23:57 -0700 (PDT) X-Forwarded-Encrypted: i=1; AJvYcCVU92rUg0rPGJdUdb/QR6vMpUuOi+wL9c/wqtslkJU1xdoRUwvOxTOFqTBlUOSYWwfvyftnBpnjOk7/XZSjLExw4/DaWkBTy3ebygpCDthDIpaX0Q== X-Received: by 2002:adf:e88c:0:b0:33e:a1e3:87b3 with SMTP id d12-20020adfe88c000000b0033ea1e387b3mr15195439wrm.41.1710948236651; Wed, 20 Mar 2024 08:23:56 -0700 (PDT) Received: from localhost (okdhcp.inf.elte.hu. [157.181.167.251]) by smtp.gmail.com with ESMTPSA id m14-20020adfe94e000000b0033cf60e268fsm14853801wrn.116.2024.03.20.08.23.54 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 20 Mar 2024 08:23:55 -0700 (PDT) From: Ambrus Kaposi To: moca-announce@list.it.uu.se, eutypes@cs.ru.nl, agda , coq-club@inria.fr, types-announce@lists.seas.upenn.edu, homotopytypetheory@googlegroups.com Cc: simona.k@uns.ac.rs Subject: [HoTT] Call for ITC conference grants, deadline 1 May 2024 Date: Wed, 20 Mar 2024 16:23:53 +0100 Message-ID: <87a5mtexkm.fsf@neumann.mail-host-address-is-not-set> MIME-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Original-Sender: kaposi.ambrus@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20230601 header.b="f2/R4hcd"; spf=pass (google.com: domain of kaposi.ambrus@gmail.com designates 2a00:1450:4864:20::433 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: , COST Action CA20111 EuroProofNet Open call for Inclusive Target Conference Grants (ITCGs) Dear Action members, The next deadline for ITCG proposals is: 1 May 2024 *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 Short Term Scientific Missions (STSMs). The conference should be between June and September 2024. The list of ITC countries is available at https://europroofnet.github.io/eligibility/ 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/87a5mtexkm.fsf%40neumann.mail-host-address-is-not-set.