From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.1 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,FREEMAIL_FROM,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 11379 invoked from network); 1 Feb 2023 18:54:56 -0000 Received: from mail-wm1-x340.google.com (2a00:1450:4864:20::340) by inbox.vuxu.org with ESMTPUTF8; 1 Feb 2023 18:54:56 -0000 Received: by mail-wm1-x340.google.com with SMTP id o31-20020a05600c511f00b003dc53da325dsf1548596wms.8 for ; Wed, 01 Feb 2023 10:54:56 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1675277695; cv=pass; d=google.com; s=arc-20160816; b=Ngu9sc6zefWPHI3uXn1Np/gzmhUvbLoJYWvvbog3rZxdhRX5ifmrC9oXjRu2ef8rgl ZNE89CObXAro3FsEEIQN7hLAyKAlJnYx44FZRAAPAYCVxGyR9owfxvgKFuBGXfKe896k L+JNnKROCI3LMUoU6+NMsHwtXDt+TCK3NyuJwo6gHv5yBDn2nZUGC9VcjwTnH/79aSGc 05Elo4gIKp2CPZBkuQC0P3tVehYxxAqlqs9CavBWHn7QWfn25RMTJIACHVDvy7f2Kc2J tsl1JEJ/EU1ql4uV0rmtNdKgPyFTf20Sx2yF0Rfen4rmEphiu5uwVzwCJRHLWo1N5aDC FaiQ== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:subject:from:to:content-language :user-agent:mime-version:date:message-id:sender:dkim-signature :dkim-signature; bh=bIdZdGadqhbe3KmXpTdgM4d4Y0NcGFmKMSxGrkX1Tgg=; b=mx10PbijlKliZTCChoPTgsqtEyzoG6r5OUybebQwfbfO/lgqDVDA4JYmcijxhNqiVt zYm0URnaPyEdFPHNiR9OTKw02/zejgeCOMiKs47pfqLdIEqbzLiUl1pt15dqJV5mevne t70uY3j9TMq1jPEh30qp/ajzWUmOczKlXWL1V1Dq2VoiAnRY1mbLthQRqAIVie18ZrSr Ud86nSQSPWcvku/lJzOYVH3G+r1nJBwUVi4b/gUuhgJw9G9rZbCbL8fnvNcAzRb8EG4A HcC0PGwcaaDaerl9jQ5Fx6cRwNzhUBoMW18X9TaERMF/+YiVLZwtH/X+DGvHfpRgB9O2 YElQ== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=O3q8z0al; spf=pass (google.com: domain of felix.wellen@gmail.com designates 2a00:1450:4864:20::52d as permitted sender) smtp.mailfrom=felix.wellen@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=20210112; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-authentication-results :x-original-sender:subject:from:to:content-language:user-agent :mime-version:date:message-id:sender:from:to:cc:subject:date :message-id:reply-to; bh=bIdZdGadqhbe3KmXpTdgM4d4Y0NcGFmKMSxGrkX1Tgg=; b=c2Fe6LqG9RyHJCoXzp+X6P3f4imx9mZdZBbltY8QwkUpTufTTNRacxYtAKgopMA3nP sREYDtgFO19IqsFaNX0+v55YBvGn4OOijNM1rXGIRqUOLR315L1tbtNJM2Jij+l5OAp8 MnSpcWQTBtYooGK3xF1pxsRIPMmC4Xbl0Prz56gX7ByxbpyNWgHcuZ2z3OiQfWJc+V2l nEqItKccPeLMUjcaed2D0SaEx6uzZAAm5X5Mt2JVHyMdmpwg2gH4ZuLE7Fg5B/SamYVR uGbYwzU3eh/IgZYIcbleDiXGDBMkOCVyUZx86jX1FEsL5vEk5YVFc6C7jnAOAO58j1cB YdPw== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-authentication-results :x-original-sender:subject:from:to:content-language:user-agent :mime-version:date:message-id:from:to:cc:subject:date:message-id :reply-to; bh=bIdZdGadqhbe3KmXpTdgM4d4Y0NcGFmKMSxGrkX1Tgg=; b=M66vgLt0vmJtjnYkuEbWX5qlU1/NgpclMjQN8s9siuLhVLkEMZM/eYK8tttu5AgOdd cxaxSZpEmTFyR7RfDYr2YolhsedbC4yhWkIIHVnqJ9MSDhZMKk1GHNz+2T/5ccGbahkh mO8JLQ6dlHgyCv4+9gV2WZasFuVSpRQhYqtlwqF/HfnlyCJpZhn9N4uFpEB8nxuzt05V CqZPaI1ZytK4cu4ZomPflWmraVENHuMtN/Yr2LY4MXzWXgvQ1Q2M7/UT5aMVJU51j3so b8xkR7K6MhqqoXZTanskpCRNSUt85yEL6UesqVNFZlwBWbFgsq07NaNJd4FX1lE0J+Hv 3Q8A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; 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:subject:from:to :content-language:user-agent:mime-version:date:message-id :x-gm-message-state:sender:from:to:cc:subject:date:message-id :reply-to; bh=bIdZdGadqhbe3KmXpTdgM4d4Y0NcGFmKMSxGrkX1Tgg=; b=nRr7qgv04eNDVgoNS/6KHKmoTfdkPPDaukImz3TgSTZJQ9Q8VUiqa3WJRVhCDk4z9V c1OSTB0ujMgHh/cnvpCF9pnS0kZlSDm3rFHExX5suWzI38bW1Jo9AdvxpvKbZ8rabcW+ IE6LImmtrWAlXngTc2NWNFYTLnTBXOm3JBK8AzjtK3VJRvRjPj8DwKobH3oZhohigcRc jkXaCrI03XKYYIoXgxVLj8xE+F8ZXa61uYeiFpHLy4IJq10BN2wNPFmWSCtvOhUr94rE bx1W9ytR8EszjTfoCa7iOZHwQjUsd77S9DNNedqz8Gi3j2miZUoTTw+tzCynxlujCSFO NTcQ== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AO0yUKWAun+3BukngDIADbxz1L2Wn5Ub5mWX6V3dIDfWRH8X+wyU3bqT 8inJsmrygoyBrfwhN/NUKxY= X-Google-Smtp-Source: AK7set/BRFZHovfqAS9kV8in3XWw0lj5X8RZ1k4otP4kjpddnzZG70HO55d2QXaqwUMvn8h2DFPbFg== X-Received: by 2002:adf:f14b:0:b0:2c1:2a15:9dcd with SMTP id y11-20020adff14b000000b002c12a159dcdmr172540wro.566.1675277694978; Wed, 01 Feb 2023 10:54:54 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:adf:ce90:0:b0:2bf:ae0c:669b with SMTP id r16-20020adfce90000000b002bfae0c669bls2066165wrn.2.-pod-prod-gmail; Wed, 01 Feb 2023 10:54:52 -0800 (PST) X-Received: by 2002:a5d:6a03:0:b0:2bf:94c3:19ac with SMTP id m3-20020a5d6a03000000b002bf94c319acmr3546034wru.31.1675277692612; Wed, 01 Feb 2023 10:54:52 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1675277692; cv=none; d=google.com; s=arc-20160816; b=eerrRzCeRG719s2WKrn0dNoLPCgWpKqkb5ZeSh9suQFny3axhg75k02L+aEAD8mtT/ 3xNf/6k6l8F0HHGdRVne2mJIgPBa3kDn+NjgvyNc5tghsX9lD4tJHiOezOhHyT2jVlIn ERB4CPIv2XBn/iF37GTe0N817DciiEWUVUlfHhnypfVPG96cRFdLtngEf+H8hdbV+0dJ GSGN/6+co6IlTlYXhOTRa4hQ7o4L4xR1Ut1HESGiFOC3TeZKjbegVoXxgiokRSl2rj5W LOrOV42zfsGncVsFP6H3sqZjywQgC9E+wbTUTgrqhiDgY434eqhbF2gsu9DVsiHRexpo oZsg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=content-transfer-encoding:subject:from:to:content-language :user-agent:mime-version:date:message-id:dkim-signature; bh=onbB4V6kkC+hYeLMMT88UGlc1d2ZA16km8QQEkChpVw=; b=Ctrl8RkYBd4tSd3OidDBgAF8xsuHZ4bYzkfhkekDdKQ7PnmLDOhxj/4a0Vd5/p2dBC ehmzL6FwAaX+WbvKdvS0Hc9dCApxbQF6/XI41b4n0MMUbiPuiFOcn1Vfe85gzJXznHDY nJ70xBnc17+M6OfzJvRsw3SIT5whKma4awaXofq1bWrLFeh14zUz7Eo6X9XbEOOz7VZ7 QcN07OmUpP/fWt/g1WQUgbtmSHr1AuCf3iNdk+1Iufx1L74zW8PD6zXtnWy3ru9lU03h aqP5gaMLil+cV9MXb6GAS6UArk2RrL/WkGG01Y9pg4tnOuxoeSsUbL6ZYxwDeU7iRTq1 QUUg== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=O3q8z0al; spf=pass (google.com: domain of felix.wellen@gmail.com designates 2a00:1450:4864:20::52d as permitted sender) smtp.mailfrom=felix.wellen@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-ed1-x52d.google.com (mail-ed1-x52d.google.com. [2a00:1450:4864:20::52d]) by gmr-mx.google.com with ESMTPS id bt1-20020a056000080100b0024222ed1370si982813wrb.3.2023.02.01.10.54.52 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Wed, 01 Feb 2023 10:54:52 -0800 (PST) Received-SPF: pass (google.com: domain of felix.wellen@gmail.com designates 2a00:1450:4864:20::52d as permitted sender) client-ip=2a00:1450:4864:20::52d; Received: by mail-ed1-x52d.google.com with SMTP id be12so7447973edb.4 for ; Wed, 01 Feb 2023 10:54:52 -0800 (PST) X-Received: by 2002:a05:6402:1d86:b0:47f:6531:dee9 with SMTP id dk6-20020a0564021d8600b0047f6531dee9mr3181406edb.20.1675277692102; Wed, 01 Feb 2023 10:54:52 -0800 (PST) Received: from [192.168.0.52] (m90-132-250-55.cust.tele2.se. [90.132.250.55]) by smtp.gmail.com with ESMTPSA id s9-20020a1709066c8900b008838b040454sm7264902ejr.95.2023.02.01.10.54.51 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Wed, 01 Feb 2023 10:54:51 -0800 (PST) Message-ID: Date: Wed, 1 Feb 2023 19:54:51 +0100 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.6.0 Content-Language: en-US To: HomotopyTypeTheory@googlegroups.com From: Felix Wellen Subject: [HoTT] Workshop: Internal Methods in Algebraic Geometry Content-Type: text/plain; charset="UTF-8"; format=flowed X-Original-Sender: felix.wellen@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=O3q8z0al; spf=pass (google.com: domain of felix.wellen@gmail.com designates 2a00:1450:4864:20::52d as permitted sender) smtp.mailfrom=felix.wellen@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: , List-Unsubscribe: , Hello everyone, I am happy to announce a workshop on Internal Methods in Algebraic Geometry from 17th to 20th April, 2023, in Gothenburg, Sweden. Note that this is fairly close to HoTT/UF '23 - if you want to have both, you have one day, the 21st of April, to travel from Gothenburg to Vienna. The two topics of the workshop are presentation and discussion of recent results internal to the Zariski topos and models of homotopy type theory together with the axioms for synthetic algebraic geometry we use. More information is available here: https://felix-cherubini.de/internal-workshop-2.html Some familiarity with HoTT, the Zariski topos and algebraic geometry will be assumed. If you would like to participate, write an email to felix.cherubini@posteo.de All the best, Felix Cherubini -- 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 email to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/e1b35cc4-5cf1-68d1-3e21-38335abc77c2%40gmail.com.