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 27825 invoked from network); 13 Dec 2022 18:24:36 -0000 Received: from mail-wm1-x33c.google.com (2a00:1450:4864:20::33c) by inbox.vuxu.org with ESMTPUTF8; 13 Dec 2022 18:24:36 -0000 Received: by mail-wm1-x33c.google.com with SMTP id bi19-20020a05600c3d9300b003cf9d6c4016sf5969794wmb.8 for ; Tue, 13 Dec 2022 10:24:36 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1670955875; cv=pass; d=google.com; s=arc-20160816; b=bggepLL62FWS05koSyHasp+imBHPjBW/s+1xd0yfZk0ujdvpcSXfHmv4cfD8gD3yuH 9FIg4PbhTmKIOw4S9GLBMvSfpjABNeDDeAg4e7WI9ZD+kDu4qRay4cCPcU5Bdff0US81 HaftYny3wG2HZmYjrQkldYhPKG0LNbbO1fhYi+OPiYMQ4VmHKfdeNSZ1UNYkRb6qMYmz vHQmrPUKcjVTOIXCM+4u1PmaVeJI3m8oHHFGNVOAL4uw1TQq6KEBtkCtC1edqxoj1BsH zHZgRx6VaZfQ8LLx8QrOmLCK2XRiKS6tl33xBirawXMy1s+2ozKvSTCPBaHboVOFll+0 WfNw== 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:content-language:to :user-agent:mime-version:date:message-id:sender:dkim-signature :dkim-signature; bh=pvYTSQ4XvezbkMlORoeJW7NWKnyToISADi128t0Y/qY=; b=a7IVFa4R8/6NXL9wTJUqab8erzNtj/h6EjeLQLyMCURmogsBhx/tyP6O+2DmmFo1O/ KFWAs39qz2DAzb5DPatlR7FobxL++PxTEKafoCtjnN5SdxvF+4Jzpk4uROYOlQoOLl1F 8uv7MRi2OoNxNKlG3nazKXMSmMfbuzwprFCMXck1IhPHmGTPzDL41w+hmAJNXbSEjIKE nuEXpSyA8C84XV7/TwJVwVZbg+TBCdvKmeY7FBDvtlM5ax3One43GIyne56o7xGVLK/9 QO4OMLdxbBO/9/cTzYAZ1a7OCWRcjvFXVNLyqdWEt2VGkPEshpDv4Ur9bwaKGxQxpmgh XSiQ== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b="l8Sm/Quy"; spf=pass (google.com: domain of escardo.martin@gmail.com designates 2a00:1450:4864:20::331 as permitted sender) smtp.mailfrom=escardo.martin@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:content-language:to:user-agent :mime-version:date:message-id:sender:from:to:cc:subject:date :message-id:reply-to; bh=pvYTSQ4XvezbkMlORoeJW7NWKnyToISADi128t0Y/qY=; b=Gir2MvO5Wj6Vs5LS9BfQgRKVao7nCs80hpb80hktWbfAkPliMtkbifLMiMdBgkT4yq +L5LraWrnnKqRApjLLIoemHcgexKZ443SqS/TNhN01C/yeOPYH6ibWWQDXmfbh0pljaO ZyNMb99EUxpjyxo5VZkzC7R4HfPBkAnePp1PAATktpEOrmDUYiJlLyDPLJEtDAJYBa2p Xevae3qqevIplG/9VT8shD2NPjb8fPOorltvcG3UMCdrqwx1ORzy2SjPPwkq+Tg1sTNK y29gwWmunpsSgiORZE237KKLeF+hg3DVFmbRgzrQ7QvQwu9yQcS+WtPBfF/176RnKD7M 3nJQ== 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:content-language:to:user-agent :mime-version:date:message-id:from:to:cc:subject:date:message-id :reply-to; bh=pvYTSQ4XvezbkMlORoeJW7NWKnyToISADi128t0Y/qY=; b=Sz/4HdNG5VG2g9nA4hQDDrfS+qllQaz5v6xbKJx1rwdeaHacAKsJplYIOFICIDNCfy WHBPwxuBjwA6d9mxAT/hGFFtHd99JYTh2CKPensAxm3GHAd78PWVLNo1uMQ3YXc1e7X7 Ct/T8CrN6DGfqyhHX0dmdUvj2ABS4CxPmcebfsZGnqmvUn4pLUrVdXm1Ov9bZ0IyLJPZ KqvaMm/dibKD5jLOkBLWH+PxVNLe/2mHf0OYH2tHUEhZa4hc1jVAoxJW6n96HgROPFVW VA7VCLBUtKrkGiXFb0jctenm6NZQDnA5EISReh/WxQVbWCqynARo9d3gSQ8K9N0rjmbq bc3w== 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 :content-language:to:user-agent:mime-version:date:message-id :x-gm-message-state:sender:from:to:cc:subject:date:message-id :reply-to; bh=pvYTSQ4XvezbkMlORoeJW7NWKnyToISADi128t0Y/qY=; b=Rw/F+gldVvFY7fGuKYnPtONwccrZDUK7fxbTL6jFr0zqwDaFhfKne8FRLTpanBj5Ca kB+f2Xuj3cjyqEhzRYDmzLTsEdCg6o7uDws4t7qAZCaZ8JOKd+cVmCjrZDoOIalXDUOB Uoh+0QzsPqZbf2bOuhk6vdGLKklD75NYGUqRPB/ZM7XPEWOjbDvdsralAwpBqfsj8uPO NaYYvisAGZtzTTVzzXyOxCcp0ZNnGVvDN+CCgqaot7DDGYRbLpoUv9hcfymD0Ftlhysi c2flDVqNNF3Leee2KMI4zaahkVUOdkwTkfDbAWbpa8RlrLoYcMdyqvrUuHN+YF4lqV1a quZQ== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: ANoB5plxBiKihiv5QYiK6j071W1q9nT+m9GUOhltyqD/vdKK5cQlwRBg QSe8ECQsgwUkiwtnm02JVF0= X-Google-Smtp-Source: AA0mqf5k0qQwv6e9RA4YIEP4hTPYHSsIr4oquJYg6y5B1xYOJzHOCrJhESnXaBiX0RcumrVw+JJxCw== X-Received: by 2002:a5d:58c6:0:b0:242:da2:7f50 with SMTP id o6-20020a5d58c6000000b002420da27f50mr31436663wrf.507.1670955875058; Tue, 13 Dec 2022 10:24:35 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:adf:d231:0:b0:228:ddd7:f40e with SMTP id k17-20020adfd231000000b00228ddd7f40els12565848wrh.3.-pod-prod-gmail; Tue, 13 Dec 2022 10:24:32 -0800 (PST) X-Received: by 2002:adf:e550:0:b0:242:1f22:df19 with SMTP id z16-20020adfe550000000b002421f22df19mr13951567wrm.51.1670955872891; Tue, 13 Dec 2022 10:24:32 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1670955872; cv=none; d=google.com; s=arc-20160816; b=WVHWELLwgwbDSyig/V/3Tuvku2SXe8jfKgS7V1eb+JfTEzw+xQfF7ou1nSR+Bt3FPu 7SRZvOoMrevlglK0Ig3tev/h5V+KeWyQutLK/9rqwXMt+DkLLlM2xTBF2BP6wBTX1NV4 hEIq7Y8fjVzo6P1bH58vn4hzY71Q+8LaRpuAPj6sAp21Ggt7nuNt6kmGnjEEB2ftrAtK f6COHtpJibL+qNjrJIRnpouM3UkmLdlp6lLz/WsERqIe+NvcI+WTiv+6Me/r/vj/pQVX ZoM2TF89+4vyZ6NFo3/MpN4myzkWBObDXwd8+a7wpGwNCBEg4Wm0V0hgZ4koMd1TF7/4 Bl3A== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=content-transfer-encoding:subject:from:content-language:to :user-agent:mime-version:date:message-id:dkim-signature; bh=uoUu5EqUdCw0r8IYO2Bc5kfIxy7osDT0rL5VPY1sjzM=; b=bXa1KbIuyne4pPxanKjU/56FwtKjYLdWqXG2msKkwic2GDGWLfnmlBQQ9Gq3Nyye2z PKOENAGV7Hn0lmCZ0YJrKV/0BCTPU4Mct1AP86t3HVzYanJNhqsn5cPeDpNm6UeKyHXc GGwUKLHxL7B65cTRr/ZFVa3sP7Ln2pPlHeo9sQNaQiSx3Aa77KrM+OLCYrhns/MimQAy NFvrmIUbwUaf6Lq0Zb6vBawNs2CCdAPfa1DhI7LOLkrRFpEk3GU/Hi8kRSQ3sVh1iche y+nnZ8dvKGrZAPcxwbtz3YWPSMkHvfhO37WZ9OGG3okYPmdkWYuouzBHAwmU2/0/GsoF AOHQ== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b="l8Sm/Quy"; spf=pass (google.com: domain of escardo.martin@gmail.com designates 2a00:1450:4864:20::331 as permitted sender) smtp.mailfrom=escardo.martin@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-wm1-x331.google.com (mail-wm1-x331.google.com. [2a00:1450:4864:20::331]) by gmr-mx.google.com with ESMTPS id j20-20020adfd214000000b00236e8baff63si26264wrh.0.2022.12.13.10.24.32 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 13 Dec 2022 10:24:32 -0800 (PST) Received-SPF: pass (google.com: domain of escardo.martin@gmail.com designates 2a00:1450:4864:20::331 as permitted sender) client-ip=2a00:1450:4864:20::331; Received: by mail-wm1-x331.google.com with SMTP id f13-20020a1cc90d000000b003d08c4cf679so8682748wmb.5 for ; Tue, 13 Dec 2022 10:24:32 -0800 (PST) X-Received: by 2002:a05:600c:4f45:b0:3cf:615e:480e with SMTP id m5-20020a05600c4f4500b003cf615e480emr20436575wmq.12.1670955872173; Tue, 13 Dec 2022 10:24:32 -0800 (PST) Received: from [192.168.0.38] (cpc1-king14-2-0-cust212.19-1.cable.virginm.net. [77.101.206.213]) by smtp.gmail.com with ESMTPSA id j41-20020a05600c1c2900b003b4ff30e566sm4317817wms.3.2022.12.13.10.24.31 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 13 Dec 2022 10:24:31 -0800 (PST) Message-ID: <75e09f56-914f-61a8-3d51-0d165f0bb1c6@gmail.com> Date: Tue, 13 Dec 2022 18:24:26 +0000 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:102.0) Gecko/20100101 Thunderbird/102.5.1 To: Homotopy Type Theory Content-Language: en-GB From: Martin Escardo Subject: [HoTT] Positions at Birmingham, UK, Computer Science Content-Type: text/plain; charset="UTF-8"; format=flowed X-Original-Sender: escardo.martin@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b="l8Sm/Quy"; spf=pass (google.com: domain of escardo.martin@gmail.com designates 2a00:1450:4864:20::331 as permitted sender) smtp.mailfrom=escardo.martin@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: , Computer science and maths friends: We are hiring associate and assistant professors at Birmingham, Computer Science Department, in particular in our vibrant Theory Group: https://www.birmingham.ac.uk/research/activity/computer-science/theory-of-computation/people.aspx The two adverts are here: https://www.jobs.ac.uk/job/CVL993/associate-professor-research-and-education https://www.jobs.ac.uk/job/CVR578/assistant-professor-research-and-education Feel free to contact me or anybody in the theory group. Martin -- 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/75e09f56-914f-61a8-3d51-0d165f0bb1c6%40gmail.com.