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=-0.8 required=5.0 tests=DKIMWL_WL_MED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_EF,HEADER_FROM_DIFFERENT_DOMAINS, MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE,URIBL_SBL_A autolearn=ham autolearn_force=no version=3.4.4 Received: from mail-ed1-x53b.google.com (mail-ed1-x53b.google.com [IPv6:2a00:1450:4864:20::53b]) by inbox.vuxu.org (Postfix) with ESMTP id 0EE503086D for ; Mon, 28 Oct 2024 15:22:51 +0100 (CET) Received: by mail-ed1-x53b.google.com with SMTP id 4fb4d7f45d1cf-5c9496833b9sf1440593a12.3 for ; Mon, 28 Oct 2024 07:22:51 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1730125371; cv=pass; d=google.com; s=arc-20240605; b=Jc+KXcA6/O/eolNrb1Zd9T+AtcmD9Tz9Zl3WB0ldtd+urCrws9GQ7l/LOfICObKdpI yptbGFqQuBFuc8Y5fYf6OyYU0vlRWJEbAi8URjcxcsSDWafED6AW1lIseMhNhIDLtl+1 +SDb6p7HNIVkH+7ijCB4TsmTS0JJmvjbYtFXWxbBaSMHuMdzCygG3mxUbRunv6iuigH3 4izraXBqd/AAkoYjVXbKDK3eqlQtOKLeUGjLZeN9AVx0eWXJy7qy3G1QCFNTg/zyHviX /Tvv+LOZZoIv0Fn9NLaoN6ETMTyxed5gHVwo8OR6DlP/FbRxgwDl5t07b5M5SxzNakAS JioA== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20240605; 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=s5+FHswgLMUfdjLmHxzbnSR+Eq6iv/14NGwADGsV78s=; fh=/c36tad7cU3kngVm26GbS7zFamfR1hxAxMvbtT5cJo0=; b=TL4+0lOI3jgOzKxPLTZ9qgtzsPUpH/6YWae37Dn+rgVDjZ3JDxxP8ma6lyqodTXzEm 0zZejsQgijWLZRn6Tv6Jc4Mfjvh6g3OR6UhmyYseaO87cDPrHIQt+N78f3BgQ3axNZ2y 15mR3KVokivokM+Un0nEwmLvm4sW0T86snNJM6nuy4ETAdRXtpL1V9q2F335mOor1aII i1mc5vC4JTXPxQVDbesA20rfEkl/ozcVGAc+FsQCTgjt0TpUTEPoWOtkwD9YVcbIFnf2 mN98OsT/VjprFf4iFu4Dv/ZB5CKLunnrnVxPjKoXh0zrseR9fVWjzE9GFYHxkBrE/YWk Kvaw==; darn=inbox.vuxu.org 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; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=uns.ac.rs DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20230601; t=1730125371; x=1730730171; 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=s5+FHswgLMUfdjLmHxzbnSR+Eq6iv/14NGwADGsV78s=; b=SjHb+j5ElAppj79HqvZ9LvLXzL5E6l40143eKQwpKuaW3CYRmuMT/EnFsOZAu6p+H9 Q/TqfptpLZLgh0rwwxt4QqJ97V5lxkF7mchCF6SdiJFduWgkVK0uJ0V/dqOX/cHSei0i 5Onb+361kYKuvELzeNAFnwrirvtp1am3fAB2iUZhj/zyXcjP8WHtj2MYBgZQwy202yyX LPzxYRZSXv3nPWXwmw4nHNhK8W6GQTQj6sB/sVCV5eq775dl22fRNsoEu5XJDb9CpvJM /EM0GOxqcuzuLnQpiGyqbFh06iuG6FYzuI6RcAfpbD3MrPyjhZQszBO1dnHwHe/EV8Uh 2dVw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1730125371; x=1730730171; 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: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=s5+FHswgLMUfdjLmHxzbnSR+Eq6iv/14NGwADGsV78s=; b=A8hhMoQGJUwNpFDadj9t2d/Yca5aP5pVTF3QBq52MKqOJizec8hrycvliBCF9DI7HP RfrPs6hWwuQ10X/OJSsuGTRjhKB0hsMw6ODISP4cDb+XYZSNfKeV3wWV/BaqPnu0yLB/ IYqAX9ahERufyrSWnPeyIQ2amydnhZrIqilpKKyhzS4YUn5th9gwJkCzsBwVxVuUugzD F/tD5q1YiyXNs25PvCTlkMNQQuRqJpPNeC8eV/AeFZO2GWk93CfG5TLh8qsUlJ3O540S NQMRSV7p0/xXqOsXV29ZTJ0vKhbFKBDLHlUu7YRctCVR9utvwWV5e7MGh6DqtTUgN4rm dzpQ== Sender: homotopytypetheory@googlegroups.com X-Forwarded-Encrypted: i=2; AJvYcCWEofwlVFsrHzAVMrExAMywKWLpHVOBqKnNWdNj7PXgOye7vDg68XnwZnQ51E4SCAjozg==@inbox.vuxu.org X-Gm-Message-State: AOJu0Yxph7kSHFDD9nI/o8sdM8ITidlHQ0aK2iIELqw/SditMQki7tnb Gd2cWB3RonhoT4yu1myCOyODxajA8YLbDaoInHyF6LNsw6eQ2V34 X-Google-Smtp-Source: AGHT+IEJ5Hx9EB2ZYunNHvB2wx4yGTTYL3KauswxpLuMSYedQLEQzQ20vm5NpvX504tpsvjt+39W6Q== X-Received: by 2002:a05:6402:26c9:b0:5cb:7318:aa2a with SMTP id 4fb4d7f45d1cf-5cbbf8897c5mr8412423a12.7.1730125368618; Mon, 28 Oct 2024 07:22:48 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:6402:5204:b0:5c9:1b7b:be95 with SMTP id 4fb4d7f45d1cf-5cb999d9ba8ls515798a12.1.-pod-prod-05-eu; Mon, 28 Oct 2024 07:22:42 -0700 (PDT) X-Forwarded-Encrypted: i=2; AJvYcCWxkh2TZiQhVzszHZBuECr37RKeYLh15u1d/pmGDb+DuM0B7G09qa5Q1EIiduI0z9InuFWYWL1D71s0/QzdCFSbgCY=@googlegroups.com X-Received: by 2002:a05:6402:3506:b0:5c9:21aa:b145 with SMTP id 4fb4d7f45d1cf-5cbbfafc789mr9331328a12.36.1730125361437; Mon, 28 Oct 2024 07:22:41 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1730125361; cv=none; d=google.com; s=arc-20240605; b=YwTQUrpR+Mp1L1MgOnG5I7LsJxct+BdkJNPAhtGDHle5/RbeRTbRq5lXDEhc4OtEnU 3Ob4VhxJwkPzoajjck5yVJ/L7SbqiMhxAhH8n5++qlZsGCLq+fB6evc/Eq3bTZZzGjdQ CALBr1aoYzW3zYEhFFcgMhkmEb2hJfKhnM37Sj27OI+Kw650nF2/nI2A+mbgcnUqxYMC d9k4Ko46qjtOFncx22mA4J96R6luRT23vVy/Dg3/79EyJsd7zS/hwIN0uKqCMnUEBGwv okKQkUC36v6/fcugQE4l41XAyZkDQCP9lGTSJYt0WDs4HvKd/jhVLdhfT/kQ/RlPvb53 tUbw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20240605; h=content-transfer-encoding:mime-version:user-agent:cc:to:from :subject:date:message-id; bh=EXysrp8HyeupFtmd64DY1Bh5729xQaJltD+0JJhbI+0=; fh=knHCrpuFfp88ySYYJoBfLN5uC0TjBQpfS/Cg1a8Cugs=; b=Zz+myOZp3ftmGHvHx1KdO9k9gcusModNaFl0o49ZI+XG/kGC7N/pQMmw11nR9mtj/L MDNkqoEnNtLGQ/EgQZaQaA18rT7UJ147rmOgq4U2J46sZ+9VIegsr4I7cOoGGHtT/r/G ihk4z4yKCPTdQYv+vTX5MFzpxy5pAw5laEQfm/DtgcSzzO3KI5qjYSdtrkgtfyp/M4F2 7YREFjYdisgJjlTUnWoPyI/FcDgPu14te6k/TRzC37HNqZQOtzfrhyy5gI7ckptgUdOe s2hpJsf2UdluWGthibdyXVelLtEAYp713CnGDIEV7Nzh/4wiu6I4jpV8fYiT55qKqtlg u0OQ==; dara=google.com 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; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=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 4fb4d7f45d1cf-5cbb614417dsi117915a12.0.2024.10.28.07.22.41 for ; Mon, 28 Oct 2024 07:22:41 -0700 (PDT) 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 B92C3259C2B; Mon, 28 Oct 2024 15:22:40 +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 44B7C259C26; Mon, 28 Oct 2024 15:22:40 +0100 (CET) Received: from 127.0.0.1 (SquirrelMail authenticated user simona.k@uns.ac.rs) by 127.0.0.1 with HTTP; Mon, 28 Oct 2024 15:22:40 +0100 (CET) Message-ID: <60234.127.0.0.1.1730125360.squirrel@127.0.0.1> Date: Mon, 28 Oct 2024 15:22:40 +0100 (CET) Subject: [HoTT] Call for STSMs and ITC conference grants, deadline 24 November 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; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=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: 24th November 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. STSM and ITCG proposals should be between December 2024 and May 2025. 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 visit https://groups.google.com/d/msgid/HomotopyTyp= eTheory/60234.127.0.0.1.1730125360.squirrel%40127.0.0.1.