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=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-lf1-x13a.google.com (mail-lf1-x13a.google.com [IPv6:2a00:1450:4864:20::13a]) by inbox.vuxu.org (Postfix) with ESMTP id A01F32EC76 for ; Mon, 17 Feb 2025 17:38:11 +0100 (CET) Received: by mail-lf1-x13a.google.com with SMTP id 2adb3069b0e04-542b0b12995sf2410403e87.3 for ; Mon, 17 Feb 2025 08:38:11 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1739810290; cv=pass; d=google.com; s=arc-20240605; b=i1W97XdRB4yCboYUEzlxZ58o3p2nKTLiZhYra2wHGDNqFP0c32u3JBY51hIKvwvx1j OfzoWqNyx9LPPcOUr9nlFuAnmGWqD94fHG+XMPw2NSvRYMV8Y4QXtlBzyuUWlsgmuiAG JOf0Y+PQSpHcVzaUrhsuQ3NDu78uoFMJ0bx2ShguCLL98XGqJ7BbvKcVcHZS1dZg+rwX ffWdU7dyKkoMjdOjo01wzUWYsuyqsQhFPHVx27FdT6jHEVjTtiCa+D8bq5m+rqYIVEfX Nsdxm6ob76DV6EYiImk/sEJi4f5clxJBLyDr7+2GdmCKkmMV09JA5mQN3sR1j24/fKt0 Rilg== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20240605; h=list-unsubscribe:list-subscribe: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=gTYnvz1vRkeaqE/F22k56Tr1nIZW4scUVcIzVpMSyWA=; fh=C4+ffiMWkMWfHEvVcfoD4Q4CE6IEmXbSCxql49SC3Jg=; b=Pb8dM5LxTmHz0/X/ur/aAa0Neg7IdZvGu9SQV5+srzs2/XTHpUTvoiuYts6qU58eJF styL6fi1ifZlVz5DvCVy8LWiRZfcHZz5Z9ZplQv5Pb8WSZ+mJgOJ7aatX8zxpDCLG82a ZUfvg8WYA9jI0ffRxtJC5UCao+uMitAoYlNv5OS0Ax1pibKUVFpJ8BgjcmmRpzp+H9IP Ds+05hXv5GLjPeRzEacS0bMgqCWqk8pvUkDJTV225vWgwVtKgTXZSwh9q3hp9CyurKYN YWMjnbal3c3k0fmBSAEA2fpxL5H+bjy7stawpMXL7AEoU0UJlbHXMj5cuiyRNCipE3Bv 1tXQ==; 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=1739810290; x=1740415090; darn=inbox.vuxu.org; h=list-unsubscribe:list-subscribe: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=gTYnvz1vRkeaqE/F22k56Tr1nIZW4scUVcIzVpMSyWA=; b=taFgl2XtYv3I1cDhkvVAiHFi9j1y66PYN8kiQH3vA0QOnh7xkONA5i+4ZhlV1wg0UF 6ZXMw78qMU2JZoN6erg5OMOCUr6YdmeK/h7Fw0FmEHwqthnYdbMgm/U2SsPpCNkQN6b5 NsBQHvs8i8S7lu4kxtJc+6COc/pv7Gmmz1NmX8+ITeATPfdn4dnKIw7wTco7Vxa2T5Wc kFgMRqj6D5e/ALwuZEJi4CpZKD/Oc17nfGwiK2YwoE6uwgZQOjVoHJiJwPCUBHfa2GZz QOnGbLUFfSuc412i0GSPO3BtUFzGu1MP6YERihUmJx3/+jKk/PELlSUv3BrRRBeomeM8 NZNw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1739810290; x=1740415090; 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 :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=gTYnvz1vRkeaqE/F22k56Tr1nIZW4scUVcIzVpMSyWA=; b=Ch/7EJHkbDLk4/bRI2cNKjMXV4weesnuPVLcgYhm5UYIYSUf5vYGLdBsbpew5ymo/p XwzEQukiOBblMv3vSerG3IJ4CJQU3GFEiEFyC6vhZ/Nsps0dytesEqyFgsz6hfVtAS5C /PDfY0NrnVfdt+uGDZfTPYqyOSk+cQ1qcta30y3muN9ztidht4TWgN2gFJ1XJUFkYMVM 2l+3AvNHR3uppbr8qJf29EQkFiZSC/T+MlT+AaS6re+OPJIehkcWYTctSvY8pavxSHG3 R5aRJQhcGT61H3FJ7VX914Cc6F8vPi0QmLojcl4MHsYs5xMKtjV0LxQr+4qsGZ6sxngv yr7A== Sender: homotopytypetheory@googlegroups.com X-Forwarded-Encrypted: i=2; AJvYcCU9lWjq5vlO3IwcK37k895IaW7cW/xdFIno7BdN50W46X2Q56tFAEr39wLb9rQZoKYdsg==@inbox.vuxu.org X-Gm-Message-State: AOJu0YyOqxSWlw2W0y4C6y7mruih+G6ZHnawXHshc+X/rwIn1jqx+k0o FQB93FkjMt8sPwfFs39A4ne5I/KdTW+/iF/ncXOnUoXwWqCoyt1+ X-Google-Smtp-Source: AGHT+IEJh+nDIVXB6JOYcJvaRhJkL1LZkSy2pu846uZE1Osg/874h0WzPrU3cbiTneVrarjqruPl4g== X-Received: by 2002:a05:6512:1194:b0:545:a89:4dc7 with SMTP id 2adb3069b0e04-5452feab102mr2983081e87.52.1739810289552; Mon, 17 Feb 2025 08:38:09 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com; h=Adn5yVGSpZxM9OnruK96MtSI/mBkN5WbD0WndlR9xykLnCJbWg== Received: by 2002:a19:381c:0:b0:545:9f7:b1e4 with SMTP id 2adb3069b0e04-5452a1f3a5fls2388e87.1.-pod-prod-08-eu; Mon, 17 Feb 2025 08:38:04 -0800 (PST) X-Forwarded-Encrypted: i=2; AJvYcCUTz1kGXEebu1Pa7QcRSAlSU3gvIH0j5TD3OnUIeL2oyEVP/k6sb0h88eh13zUaCTjuePI7kZzj/hcZ//lKTKAYJlM=@googlegroups.com X-Received: by 2002:a05:6512:1092:b0:542:6d01:f55c with SMTP id 2adb3069b0e04-5452fe2ba2bmr3560668e87.3.1739810283611; Mon, 17 Feb 2025 08:38:03 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1739810283; cv=none; d=google.com; s=arc-20240605; b=geCUWmb/HOAmcufxzD4ojC+vNzRkP4IMtR0KSs64xNJu6b5GzYQR/9k9Uq757QBWYV 0XveUEpNAfCGQI8/dgpbENNpvqZK9wQaB45+tyo9LcVqP1zBFlC5we9N7mge1wBoQdir 7M7TOEQZC8HvKKDAmJDawiyhGXcBWZAqWQFd9Qu6PAT4oib4bhpEkjYOHUn7F+rIW5X/ 7Psc/iom/Xfbl6Z/Wq/ujuD3T7KXvv2ynajo3N0bBKUn1eeRLKlFFlzXb/EeDvUFQbKH NaSHd0xdlsTxNPXtnlZuGnuh991S+Wnx3VR3md3tiFTFPPXFVz2J1KF4oUuYjqFL9nLE 5z+Q== 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=FlGiFvx9FoA0OFKt+90/HmhRWhQltfSC7rS9Mu6Dx5Y=; fh=knHCrpuFfp88ySYYJoBfLN5uC0TjBQpfS/Cg1a8Cugs=; b=PooBRoOHQNQGyR1sVakcgakvEnaf7WsO6p4MpiR5FUpeTMaVahjq8yPX+lC/1xdskZ oP9NZIEtN6Mpob3lKODWzMA+4NiOQ8ahVPdanbcNOe8o4AQd7fOmz/9ES0qClqElABCp iwA/+6NVYHi3oEEUcXxw5d5U9G0BrZl0szf+UVdDjVwjUUe5TzHZOJywvXKPwUgD2wWo IjatK2hZIiThShctLqndZO2+yR7hzb7jZ8egPIiHHCavRirmdBy8Mj73jOsqM/nQjc+O J/hO5OiCXux0XlOlTJLHRTB6esJpQrAR4ToXB3Din4RSPwPkWAY7sUwJkOvFTy1L0Ifg svBQ==; 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 2adb3069b0e04-5451f0b1bfasi305458e87.1.2025.02.17.08.38.03 for ; Mon, 17 Feb 2025 08:38:03 -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 723AB259C2D; Mon, 17 Feb 2025 17:38:02 +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 B2447259C29; Mon, 17 Feb 2025 17:38:01 +0100 (CET) Received: from 127.0.0.1 (SquirrelMail authenticated user simona.k@uns.ac.rs) by 127.0.0.1 with HTTP; Mon, 17 Feb 2025 17:38:02 +0100 (CET) Message-ID: <48114.127.0.0.1.1739810282.squirrel@127.0.0.1> Date: Mon, 17 Feb 2025 17:38:02 +0100 (CET) Subject: [HoTT] Call for STSMs and ITC conference grants 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: , List-Unsubscribe: , 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 is: 16th March 2025 The next deadline for ITCG is: 4th May 2025 *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. STSM proposals should be between the beginning of April and the end of August. ITCG proposals should be between the end of May and the end of August. 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/48114.127.0.0.1.1739810282.squirrel%40127.0.0.1.