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.9 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, URIBL_SBL_A autolearn=ham autolearn_force=no version=3.4.4 Received: from mail-wm1-x339.google.com (mail-wm1-x339.google.com [IPv6:2a00:1450:4864:20::339]) by inbox.vuxu.org (Postfix) with ESMTP id EC73E2212E for ; Tue, 14 Jan 2025 12:36:03 +0100 (CET) Received: by mail-wm1-x339.google.com with SMTP id 5b1f17b1804b1-4362552ce62sf28557365e9.0 for ; Tue, 14 Jan 2025 03:36:03 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1736854562; cv=pass; d=google.com; s=arc-20240605; b=ROr9pUo2WXrbPxgrgOQxfUQTOVq268zaM6weWgiRh4jYXLcbBZUYHHSACv/1RBUnW2 AnimKW/RbGU/laIVKR7hosXb+7t2UIVITSabAczU30SfYfxhHp/UluYzrELcFzGeJ1tM uBJp1TY+AGamhCz1nC7c56a5+eshVdaBJ8gbEtq7QhLX4vSUw3QltIhXBpVqxL1J+Nji czELGzjmegstfNQJDtPSpFwSt+tr6Dyv8sW8rtjblfNjJwlHCuUcMoYnCmeuKvcWxfDr WN2PUIekXQ5Yq2s8sfaOhga9y7DnFZZIaaWg2GGrMwH2GGKvAKN4wiairdoM2PCbGW8v sp4g== 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 :content-language:to:subject:from:user-agent:mime-version:date :message-id:sender:dkim-signature:dkim-signature; bh=uS9OuK+x7zer+bOhwJfSnpMAsKP0h9F3gXBtgAuz7mA=; fh=S80SlxFVjH9LcRZd8lPj0ju5c8iAiXWTnB5lEHbZkbc=; b=OKMJ0f016gj5wGwVgZdf+/Crqf76ocTa3NR689ERrRd2wsRMllKzFIGAa8iRup1XxJ lZk7JKUB++saN53w5elV4IVwmzT4rcgdE6u8op2MKt/4gAeZvc/x4ZUIleHRbq7cVuen R+Sw/ahyW1gVFjItYOurAt/VMCY6CJe1hDiuhXMhA5vo7jG++VwvohUZjqmoh4fRj173 05kvuAt3pK2Y42QBie+0SYJdhOl6/OZJ03oir9p3qD/9AiA7lOsz5tDshBeoc0GcgAnD h8HK1fuKnqnOw86+z3cEpLqCIpMEC7yeUaSU6ckWy1Glgi29XwGj0OJG5Gj8UOdtnEsx zl1Q==; darn=inbox.vuxu.org ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20230601 header.b=SDxCqL5F; spf=pass (google.com: domain of op.emmen@gmail.com designates 2a00:1450:4864:20::32d as permitted sender) smtp.mailfrom=op.emmen@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com; dara=pass header.i=@googlegroups.com DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20230601; t=1736854562; x=1737459362; 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:content-language:to :subject:from:user-agent:mime-version:date:message-id:sender:from:to :cc:subject:date:message-id:reply-to; bh=uS9OuK+x7zer+bOhwJfSnpMAsKP0h9F3gXBtgAuz7mA=; b=YYAGOE2Zo3BpWXx84j2wrzuM3pVep1aw+WmX6Aaj1o3vrokPbR6FKoPZe796qkfALi 4fSEcO38ZILvdoFhVvAS/bbYV8Sgeu3OABa80c3iWoRIcKvF7ejZqUy0HPfewl9qEozS Tmvf45q4CLphfCzaEb0UdIVmseBB49e7NXLBv8nNSDgTyV2QGLn76/DU5VeA4cqulRXK U8Zro2oZrEWFNg7QaoCgSiSlIQV2cRKujLEkqb8DMiGe7tistnJaGNO6OPAeTlkq8hwu 3Ydt3JrO+vC3onnyineez34VfIiFvOfpCGSnc8j/IQH6SljpNTixP+K7NrqXtDk4JU7O IJ9g== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1736854562; x=1737459362; 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:content-language:to :subject:from:user-agent:mime-version:date:message-id:from:to:cc :subject:date:message-id:reply-to; bh=uS9OuK+x7zer+bOhwJfSnpMAsKP0h9F3gXBtgAuz7mA=; b=FKdp8672EJCm8ACB3Ty0hAM3hynKGS7+3oIrOPX5gHD6Z8H2N7fy3wmoSzFgh9/c8s eKb/R+CiX+xePdwyLj4zqPoXHjkzAhEIY+X03ktxiFEPk0PqaMMWnielkXIBJFHlNAlf ZE5UN74QxMviMjgVS01wpmtqiAYWFqlMTifaUMBxpFFrA4Rffm5qK0mB80OsjkSYqmRc nvSH0xt6KfSukTo2WnOxjzWtHRzzbyHXF5FU1v+Gth2y+kT8Bu6c8LewbyrdN+lBZKGb tiVQucezHJL32GaNlOgLWTMTXMyHdQsH2d8DaipIsf7zKryKRaIbkWe+wSQ6zE/nQ4jx WLFw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1736854562; x=1737459362; 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:content-language:to:subject:from :user-agent:mime-version:date:message-id:x-beenthere :x-gm-message-state:sender:from:to:cc:subject:date:message-id :reply-to; bh=uS9OuK+x7zer+bOhwJfSnpMAsKP0h9F3gXBtgAuz7mA=; b=evC3pP4E3rWhoeZ/fczKmmhvoAKgxWW7HRs0AbJE/K8bsfYAcHJNI8SiGuDvAu+3D/ +XrMK+KMBfyvBMY1K6CS5yYuBG9c5LO3I7YEcOVTiOhbvLdbvhBO8338w0McYJ4N9unw 5JBzU6g6gYeDYHMqnI0Fte/UT5q0J5PsjyUSh5bHiTKiEYmHF+wByg0vgIScCgTulotZ RKgSYSjyAGDJ7o/3dw+XXCF3NE7R7W1rZ533HhkZhqtamLm5BQdT/4Saqo9VfvQyiWN7 xBfPq02PEaSL7z7htL8JbUD4sUuNB9QrtbdPp4uU/w2pPnaqAdIdAnzo0q9IXfLPsyav 6dEg== Sender: homotopytypetheory@googlegroups.com X-Forwarded-Encrypted: i=2; AJvYcCWuUtnRJ6w3iJMAYgd5/dCuWFHwgLo/CjCI74YwxK1ZTumGnd+Tu/NN6XoDA2WCc2nMWQ==@inbox.vuxu.org X-Gm-Message-State: AOJu0YyqbRVos9aoOfwsyfR2RHITP1we4YFmCoJStwhCs5o/IvcI4c1s ZbfeVxKxGTrifxcW/g6E6SCpDk4ZHKthDekLfKYTisHQCc3roLT3 X-Google-Smtp-Source: AGHT+IGwif/a78i6YOeW9kXJm8fzSgNt+bu/atfizx5bcv/1/lo7mo1gYnM4wzUS/m6hnV9EUlSrBw== X-Received: by 2002:a05:600c:1c88:b0:434:a350:207c with SMTP id 5b1f17b1804b1-436e26e5533mr200528595e9.23.1736854561262; Tue, 14 Jan 2025 03:36:01 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:600c:4b16:b0:434:f084:eb77 with SMTP id 5b1f17b1804b1-436e8849505ls15243645e9.2.-pod-prod-01-eu; Tue, 14 Jan 2025 03:35:55 -0800 (PST) X-Received: by 2002:adf:a41e:0:b0:385:ec9b:e442 with SMTP id ffacd0b85a97d-38a8733a391mr17693090f8f.40.1736854555094; Tue, 14 Jan 2025 03:35:55 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1736854555; cv=none; d=google.com; s=arc-20240605; b=AYU6s+7EbS0qQ3FcqsuH1yluhwBGQuBe7WMYFpCR6OBJ4f6pt0PTQrACNxmjKPBxiw /5O3ZyaHksVw4ER7eye/v4kTHnYdJE6Z68F6+9pOYU9431aR8VVv1xAyBGyZFWgWEDt+ 3D4WjTaxaW8ah3OwclsXFbcB9qQ+SpJdix0xV50e9TGNXF4JQesS6znRNhyB8/PxJw0U Kt8MmPUR3319Ab4bPXLCOeHc1HXyRokB33VkITksODsowcRm6jTDArWAd1DhSWWRADFE FjDO0EeJg3QM3S6kqwjrBuQxCXiwZi/9rJt5stXKzoR38ROZ5toLr9IFzssiS9idz4fz dT5A== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20240605; h=content-transfer-encoding:content-language:to:subject:from :user-agent:mime-version:date:message-id:dkim-signature; bh=iUHPy1W1CkFiZFsdYgD6NAfaX0bGmXKylXa8m/jgWPg=; fh=vIs9EaftVXuUFg/yNFG+Pzt35i04l536xOy+GLbAuiA=; b=JUNOlomroTcLzwc4Qm8SgptT+XMnZ85px5gFIlUzb1TV+LVe8jIg0P2MXKn5cgKfVS kcbqAp0L9jbIy24AYRWmlP+FVSJEdJdvPywSz6Ar6blP3j/MqNj4X9ON09it6J7QilNA GVB/ag16klJouvN+teh+4h3D8E/HTE5ORV8Zb2MSUZBugE+5NsHUlYYzgfev4xUNjfX/ jD1T8ntE9q1z5wLe+dwnyI7SPPwfL/5rRBSXF3cAdXgZFPPBrMQl4tqKr0hEXgEGBjw4 r/+QGEfZf8Z4U5jzExAEYmgRan/R2unRiInh3ikII0tBQBBRkt2eQAg4NtkhYUVKuS/8 7Iug==; dara=google.com ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20230601 header.b=SDxCqL5F; spf=pass (google.com: domain of op.emmen@gmail.com designates 2a00:1450:4864:20::32d as permitted sender) smtp.mailfrom=op.emmen@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com; dara=pass header.i=@googlegroups.com Received: from mail-wm1-x32d.google.com (mail-wm1-x32d.google.com. [2a00:1450:4864:20::32d]) by gmr-mx.google.com with ESMTPS id 5b1f17b1804b1-436e2c20951si2946005e9.0.2025.01.14.03.35.55 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 14 Jan 2025 03:35:55 -0800 (PST) Received-SPF: pass (google.com: domain of op.emmen@gmail.com designates 2a00:1450:4864:20::32d as permitted sender) client-ip=2a00:1450:4864:20::32d; Received: by mail-wm1-x32d.google.com with SMTP id 5b1f17b1804b1-436345cc17bso38433885e9.0 for ; Tue, 14 Jan 2025 03:35:55 -0800 (PST) X-Gm-Gg: ASbGncvqYaGXGLvC+St7tKUT2TaQgida/B2lZrNdVPDlPx2S+R8tGP89SWNsGi61GEF 0kHmw+VyH0Kr3HpqH1pMmpm53b6rSQY5lmDOY+CWSkqKn518fMZH93USXhZ7KfRo7xkTsRNVtnJ I9+6UCQkG8mjsNHJPhNjcgSZUmPMMWRSiEizbWeuXfnFA/ClqCfO7F1kWONTKqaHaUWQjsagsVC jKdo21mhn8r7BGZg+ZbKBirQzHLPEEm1RBk/j0/DBH18rGGn0T1rysHO8j4wg2FQcBCmXRQM9TW NlllfQ5T7XyAOUKLS7ZvrD6Q X-Received: by 2002:a05:600c:4684:b0:434:f917:2b11 with SMTP id 5b1f17b1804b1-436e26e50c9mr188103065e9.21.1736854554308; Tue, 14 Jan 2025 03:35:54 -0800 (PST) Received: from [192.168.0.100] (mob-109-113-154-104.net.vodafone.it. [109.113.154.104]) by smtp.gmail.com with ESMTPSA id ffacd0b85a97d-38a8e38f176sm14868169f8f.63.2025.01.14.03.35.53 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 14 Jan 2025 03:35:53 -0800 (PST) Message-ID: <6929cb26-a230-4701-adad-58eea9b5cfb3@gmail.com> Date: Tue, 14 Jan 2025 12:35:52 +0100 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird From: Jacopo Emmenegger Subject: [HoTT] 1st Call for Contributions and Participation - 4th meeting of Working Group 6 of the EuroProofNet COST Action - Genoa, Italy, 17-18 April 2025 To: HomotopyTypeTheory@googlegroups.com Content-Language: en-GB, it Content-Type: text/plain; charset="UTF-8"; format=flowed Content-Transfer-Encoding: quoted-printable X-Original-Sender: op.emmen@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20230601 header.b=SDxCqL5F; spf=pass (google.com: domain of op.emmen@gmail.com designates 2a00:1450:4864:20::32d as permitted sender) smtp.mailfrom=op.emmen@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com; dara=pass header.i=@googlegroups.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: , List-Unsubscribe: , ---------------------------------------------------------------------------= ----------------------- 1st Call for Contributions and Participation 4th meeting of Working Group 6 of the EuroProofNet COST Action Genoa, Italy, 17-18 April 2025 ---------------------------------------------------------------------------= ----------------------- The fourth meeting of Working Group 6 of the EuroProofNet COST Action=20 will take place in Genoa, Italy, on 17-18 April 2025. Co-located with the Workshop on Homotopy Type Theory and Univalent=20 Foundations (HoTT/UF), which takes place on 15-16 April 2025. The aim of this meeting series is to bring together researchers working=20 on the topics of WG6. We invite submissions of talk proposals on the syntax and semantics of=20 type theories. This includes, but is not limited, to the goal of WG6: to=20 develop a comprehensive theory of type theories, which (i) accounts for=20 its domain-specific variants and the type theories currently used in=20 proof assistants, and (ii) allows for the modular reasoning about their=20 syntax and semantics. The meeting will be held in person with support for remote participation. Registration is open. To register please follow the link on the event's=20 webpage. A limited amount of funding is available to reimburse expenses. Funding=20 requests can be submitted during registration. Selection will be based=20 on EPN guidelines, please see the website for further information. **Invited speakers** Francesco Gavazzo (Universit=C3=A0 di Padova) Thomas Lamiaux (Nantes Universit=C3=A9) Paige Randall North (Universiteit Utrecht) TBA **Deadlines (AoE)** Submission of talk proposals: Friday 28 February Author notification: Tuesday 4 March Funding request: Friday 7 March Registration: Friday 28 March **Organisers** Francesco Dagnino (Universit=C3=A0 di Genova) Jacopo Emmenegger (Universit=C3=A0 di Genova) --=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/6929cb26-a230-4701-adad-58eea9b5cfb3%40gmail.com.