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-x23f.google.com (mail-lj1-x23f.google.com [IPv6:2a00:1450:4864:20::23f]) by inbox.vuxu.org (Postfix) with ESMTP id 6F0C12BE49 for ; Thu, 22 Feb 2024 12:02:48 +0100 (CET) Received: by mail-lj1-x23f.google.com with SMTP id 38308e7fff4ca-2d264c84b99sf1798611fa.2 for ; Thu, 22 Feb 2024 03:02:48 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1708599767; cv=pass; d=google.com; s=arc-20160816; b=WbXv4Ea5zS4GhHoFnRfB7CUuxP10UIwxeRbz/jWFZ+lQjIqoCIA4Npf5ARQlJ4B17K jr04HjlBMBeU68141t9U2Iouogkc4RMeNQQwcsYiBNUMREIbxWXWVcyYOb4UnjplG105 5aSEMBwqf07Bqb93dMM22ykOhQe0XiNWfjIAJxn88KsQiRhn+86TGDPTGLefpL2r6dz3 81OoGwvx44FmXMmvWqdoyQNY4FSxxCYssuf0Ymn4GawwJOaj8U8AkrmbXTkI7cnpGR0F a88FIjog39ZvNJXZ506858HBNVmv4RfozmOmsxPFufh7Gy88X0e9ZWrdN/muqphct8kC UZyA== 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:cc:subject:to:from:sender:dkim-signature :dkim-signature; bh=BUuqT4U7DTk2NLoIMPxiSiYK3/iXmv67krBtmMy0A8I=; fh=T4hPF+mh1v6ICNCDn4t4sHW+XqVAWPmEQ8cxbZf/SAE=; b=Kc/kCk5oIMoemL5NSOtyZtgHTOIiIWVqOai8MdExF9jDH9jOIkRQOJZuU7LnFM+9pb NzqTzipw7V+DPypw2wQC15VKH20uHhjsmu+4Gsa+iz1tLazyo9IDjyFAo7OCsQPacNAT GGy8NQ54L9G1QEtkJIojiwXkvxoWBhw2T+vlPwKYiZ4T0FIFMww/Olmqte1+t6xnt7Tk 9w7F5dyPrLXtw+DEtN+sAkrTCObMpPADmlDS1VxsZUr0ujdLP8+nyUC4UfDC0nF15nRQ ko8yVaYVFUHhRcgpehCA4QFs0ouboEnWtBSltOCJTlOonkPd1mxu2vt0QquZBe9XmMCS QeYQ==; darn=inbox.vuxu.org ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20230601 header.b=fsWTO85n; spf=pass (google.com: domain of kaposi.ambrus@gmail.com designates 2a00:1450:4864:20::334 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=1708599767; x=1709204567; 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:cc:subject:to:from:sender:from:to:cc:subject:date:message-id :reply-to; bh=BUuqT4U7DTk2NLoIMPxiSiYK3/iXmv67krBtmMy0A8I=; b=XVQqv2ctx66kcuMRyRih2u2bbGyNP9wbepYym6yJUK22m9A/2yikdAEgYAkit/hhM7 TIYhi5w570CuHqsfQBEgKxfbI7BxHzGklK5Av+KkDlacseiDydOx7p11zdhKA9RFwKsm h/LWmyIGbXDSJoQciJIF5fUB5wjyEr5JalVeVdMhzjgwURJMBp4RfyaS7CZEbnHF5rIH rtvkmptp8z3fjvM+/YjAp29ByImV6vV7B9mVHPcFDp5ZpVhyvf+ARfmye1T1SFrTUwb5 XQivXbgPzkA8AC2ttMlyKl5w4emll5jyoSjWXNQJAfAoVTj6A2FOX5Su49c492rnaCiS wSdw== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1708599767; x=1709204567; 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:cc:subject:to:from:from:to:cc:subject:date:message-id:reply-to; bh=BUuqT4U7DTk2NLoIMPxiSiYK3/iXmv67krBtmMy0A8I=; b=e7feZ5GFNKXwFDRdXPYzsKM6CniK1jh1V0wPb4nx7GEXS650NvCcAhfKdXBY3Yy+yI Vj5HgTJfdD2VDn6q3MAJ2vWYNh4TT/rrl9Wru4yI8HE5Hde1l65KTDWwU9HRt2Thwpo8 LKuX9lvMEhWgOER8gLtO3dGUn4Vqstmx2gD+zQb2TyX52p6W8iYSRPKyXH0SoQoLkD74 dvqCUbE6k6vAUwGWLrL+IOfITXf90kktPeuALOI+Uc29eFBlylnf2reAtkq5lIDJgAiC Otq+AB7UvQEDABQRApYqidkEVUI0zizZy29qssf2+4NsATIreDbHhykCr8RSrGS3B2Ki cABg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1708599767; x=1709204567; 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:cc:subject :to:from:x-beenthere:x-gm-message-state:sender:from:to:cc:subject :date:message-id:reply-to; bh=BUuqT4U7DTk2NLoIMPxiSiYK3/iXmv67krBtmMy0A8I=; b=LDPgAL/mbBntyAx0SfLPFivUDXplpcdZ/NNfFrLewpWwBdxCSwMJJwyYirBW0EC+gi 8otFUNDsQhmjQdcr995J5jwJZJ441PlBChgwIGgob+XkGU/wfH0xRerlS+QNikoLCp9J PrOD5P/yZXUM/aOxTs6ACk8ljcXB8XzUlVhWVtuCW2BHf7BQjh6lpFABZl9V0qAKtTb5 kiDNWkUEm3z6XZRr/mHHLCV3VdMmJ2JxhbM04bZBTxv9ySfgZ1SJ5XhSTKkVa9koZIsI q5RjOJoFo2F1MzckwsYzmy5MW6yiBWekHeHIaznf7bFw9IYysfa0KXBChBlriNhm0kmV u/eg== Sender: homotopytypetheory@googlegroups.com X-Forwarded-Encrypted: i=2; AJvYcCW25DGdul69naVhBJuBPev5/fdMIZYpUU8wmTnI3UqfhaZd5S6qWeOlxUXRcDWBZ9NEQuZKvKXsmdt9r9Hlp/xPMQ== X-Gm-Message-State: AOJu0YzhPqP1TSflr6dKVelQ+FC3RmqD7ALo5UEG9rAP727EjI0Iefkv mOHI6/iqzhwoGYACWFMCNCfn9y2L+mhUbb7H3ZgmDj1D9JP5X/jb X-Google-Smtp-Source: AGHT+IFCTQZxD6tFtlETjxGE7WHrbfXTN7qOW7a8CIup/0xEkAwqkAJDHoZbo8uTQd09lFfjxKLlyg== X-Received: by 2002:a05:6512:3bb:b0:512:b694:27be with SMTP id v27-20020a05651203bb00b00512b69427bemr5603488lfp.45.1708599765605; Thu, 22 Feb 2024 03:02:45 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:ac2:4c4a:0:b0:512:dd1c:9617 with SMTP id o10-20020ac24c4a000000b00512dd1c9617ls19211lfk.1.-pod-prod-08-eu; Thu, 22 Feb 2024 03:02:42 -0800 (PST) X-Forwarded-Encrypted: i=2; AJvYcCXOdOadnZrvjiXZqh4QrG9at7lHWby0gROL3H+qocF7m6sO9lgowB5qebKa4OWnFx3wgTAJa3KVvoXaDZ3PUaSRXpu1p3Tton0CH9Pl2Y54zubc0w== X-Received: by 2002:a05:6512:4027:b0:512:a52f:468a with SMTP id br39-20020a056512402700b00512a52f468amr11526683lfb.46.1708599761972; Thu, 22 Feb 2024 03:02:41 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1708599761; cv=none; d=google.com; s=arc-20160816; b=YXURAagT3LP+CdZcqmj5e4dP9ixahXc7W7TLooRf9N9o6HbH3MO4CEDZT43jt3bSup VAtme0MpPwi4xH2O5/sSurHR3BhNQeiY2JJgC5CfLRFvb9Rw3+BelZxMv8blhAv+JL29 Rfs1QNavky4xpq2E4yzgUSNw5XUvKR10unPqD249rXmRqoDd0QDCU4FTSnZPZyPwUQFy mME/WgwtgUr52ICMJJJJ08cJD8Ne/MGBru8PIrHS/CLe1yE1DRoKos8darHR6YLDOCmI gxy1PajUXM9IzK77MAcXkJQHvrJ8RSftKarbHr8IiyZ6qmsPnIwW37X+oCmkmbLEa1KH Spxg== 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:cc:subject :to:from:dkim-signature; bh=6eweHRtH8RyllS/OPJNv41lA4JN8L0Z5YKokL/jLeUE=; fh=cw2QnpEDAjbB/v339XTzN9GHU+IftYb9jPf8luUyfWc=; b=a98mqBspvbdOi5oDTXct5en5JzrtBnHtcsVV94//oZDquwWyvuOz76t+xuWlrk2psg NvGzJDKC5nxUtypHNQwBLxPVagt0lzJxs37eZoEre/Q5pbTWF+74c2twlLHKx3ISAOm8 igs0t4VtAYNPz4+1LST9wDI4k1db29VvFJPvS6ZZMH6TIFCabfETugyUil9jjrcg4x95 IoDQbktovkNz8z2QkGvjZddA+CQn4O7nx1gR0nhQH7wRv2RMOoy90qFs1skYUL8E1mWZ cwPqp0dQqHW1PKFjdPt2qlD2mJY+heyzSlOS2lptmoPvg2uCUiY6ezJvDADOvBSJUxR1 sOjQ==; dara=google.com ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20230601 header.b=fsWTO85n; spf=pass (google.com: domain of kaposi.ambrus@gmail.com designates 2a00:1450:4864:20::334 as permitted sender) smtp.mailfrom=kaposi.ambrus@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-wm1-x334.google.com (mail-wm1-x334.google.com. [2a00:1450:4864:20::334]) by gmr-mx.google.com with ESMTPS id o15-20020ac24bcf000000b00512e13b539dsi14871lfq.8.2024.02.22.03.02.41 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Thu, 22 Feb 2024 03:02:41 -0800 (PST) Received-SPF: pass (google.com: domain of kaposi.ambrus@gmail.com designates 2a00:1450:4864:20::334 as permitted sender) client-ip=2a00:1450:4864:20::334; Received: by mail-wm1-x334.google.com with SMTP id 5b1f17b1804b1-4128e15d5e5so253095e9.2 for ; Thu, 22 Feb 2024 03:02:41 -0800 (PST) X-Forwarded-Encrypted: i=1; AJvYcCXm7EvRrTHzNYOnZxjCV/jXOaDAxQmjKjtV9jrMVSYzgncICH8nHMFz3sHxN9b87qeB6uwnC+ZwKM/g/3TMft9dityORUfCeYrGZ0+7oOpdiRDYog== X-Received: by 2002:adf:ec4a:0:b0:33d:82aa:534 with SMTP id w10-20020adfec4a000000b0033d82aa0534mr2967985wrn.50.1708599761037; Thu, 22 Feb 2024 03:02:41 -0800 (PST) Received: from localhost (okdhcp.inf.elte.hu. [157.181.167.251]) by smtp.gmail.com with ESMTPSA id r6-20020adff706000000b0033cf7eb4a85sm19909323wrp.65.2024.02.22.03.02.40 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 22 Feb 2024 03:02:40 -0800 (PST) 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 Subject: [HoTT] Call for STSMs and ITC conference grants, deadline 17 March 2024 CC: simona.k@uns.ac.rs Date: Thu, 22 Feb 2024 12:02:41 +0100 Message-ID: <87v86gvk1a.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=fsWTO85n; spf=pass (google.com: domain of kaposi.ambrus@gmail.com designates 2a00:1450:4864:20::334 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 Short-Term Scientific Missions (STSMs) and Inclusive Target Conference Grants (ITCGs) Dear Action members, The next deadline for STSM and ITCG proposals is: 17 March 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 from inclusive-target countries and women. STSM and ITCG proposals should be between April and September 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/87v86gvk1a.fsf%40neumann.mail-host-address-is-not-set.