From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-0.7 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, HEADER_FROM_DIFFERENT_DOMAINS,HTML_MESSAGE,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.2 Received: from mail-vk1-xa40.google.com (mail-vk1-xa40.google.com [IPv6:2607:f8b0:4864:20::a40]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 4eb1eee1 for ; Fri, 17 Jan 2020 14:54:30 +0000 (UTC) Received: by mail-vk1-xa40.google.com with SMTP id y28sf9768637vkl.23 for ; Fri, 17 Jan 2020 06:54:29 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1579272868; cv=pass; d=google.com; s=arc-20160816; b=nXgZ+zNv5rKHPdWoduO0YybEFjXOgURyDvNsZsMNqnsMiFVhDWQeSwyyA4hJh15PPs r+UIbJvE1Zi2i6UW3H9A4RegYyGpsitfGd710vDMJqhEi3f74trpj2EOIxDfcWGSBWF/ iOQ4wka9bM01woX/MeslBnvDuOXU6APSVpBp9fIVMoHkoV7Zkj11oE8pRFuEW9vrbJ5T VLL8D388SlUBosTCegi9ZmC4aJbCwgBWBQtY46b9wwf8IF65N+iGOkB166Q3X9NReFXz UphoHuAgVHTQQ2e4Tq9rddFCoUXa+jxQG9GEDCkWQKRgS5ezuPw/DkXQk3MF9wzhgy8l Yxtw== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:to:subject:message-id:date:from :mime-version:sender:dkim-signature:dkim-signature; bh=b88AJaK0WwTe4du209oYGw5V2HruIZWZTqRbOfdd+9s=; b=Tiej/1uVUIlmm0Nn+weEOe6YilBSHUZ/eFs8KbDB7RArovd+1glm9Gx9Noo9lC51qJ TIyyacNFt79ZcBkHhAoSEKrnFToGWRYOe4AneG8FYOqDnbZ3aEQ+z1r8umHo81S3CIxZ yzxPiOyeSlRIxg4G/4BaqeQUbSvZjuMlWq6JWGd+gARpg95X2nfnXOetJDtVgn2PczXZ b1NCMJQWDng6G+Zm2hQjRvwVnJzPi7DRUj0+fgNweCZ/5/35Kb7F0hqXzN5vpQMM51BO 4N7+GCScnBrYrjVzz7wbu2ZBVuL1fn5rBDBZ36xgEu3m8I92TgnIGeAhWWQtznETBzfa wKgQ== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b="AitB/iX7"; spf=pass (google.com: domain of e.m.rijke@gmail.com designates 2607:f8b0:4864:20::e33 as permitted sender) smtp.mailfrom=e.m.rijke@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=20161025; h=sender:mime-version:from:date:message-id:subject:to :x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:list-post:list-help:list-archive :list-unsubscribe; bh=b88AJaK0WwTe4du209oYGw5V2HruIZWZTqRbOfdd+9s=; b=GbBc2yCEPfiON7n90hlJ/F2t2GExpBew1Nuc2XokCyfzovV8tDqbWOcWKvMtIIuip6 eCPtGoBTQX/y2TJGGcEniJ1NefY4fxYBgbRoS/zhuQD40QUS14ihNsh8sEnqbFAa86Pe Vws6/bgyq4qzHZck3u0svqZuVvalY+ci/6HIuGF5Dm1iTOMfngeOW022tcngtojj8zsz Emepkr6cq7GBo6KvioXg06GKqbcSL2dT7tAG23CBISYRZoMvQRyx4kXo87FkauVoHxfR Vplw0ofIBGhRsYnGQGCekDoqqc38YATS3Mc81AjhdsPRhGz+ixsvCNVWAoo/zM/BXTi6 2VmA== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=b88AJaK0WwTe4du209oYGw5V2HruIZWZTqRbOfdd+9s=; b=J2eS0pDp8/ZBasXdDxJLFc1lAaxIEgQaJ9t/iSDXdJVIs01VxonY+GySvFuRDFx8cN mQRhvc1lhMQ6wFEk38MZqcDgAdz9rWhKzS5J2Uecmypb5rCE8L38Bu3ZmGhNwzcvOn0e MxwxjB9zR0MRfTv/uQ0DLw4a/coE5lvfd4DYVzkCHcy5kgEwGguJV09A2rkT7Bbjq2f5 QwkTE92xGo0eUvvy1IpgSLeInjhyPNelenol9c9tdKj6MiSt+RNus7npvze93wsoL3Ve BET6eQSLg9Il9QBzXogaJIaoTofP9a4m4Jy0c+kdEzuOsBAcPd78qFa1+txycKXdADFn kbjw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:mime-version:from:date:message-id:subject :to:x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:x-spam-checked-in-group:list-post:list-help :list-archive:list-unsubscribe; bh=b88AJaK0WwTe4du209oYGw5V2HruIZWZTqRbOfdd+9s=; b=hlzrwqDNMLt6cQ+nWpt/3d8HuDuiXP+IBts6E6ykCX8DTvQDcah4l+Zs1Nx2GfsVy1 ECrqSWRLE8sd4roVl4GyKctWSbgsavTIxLQAlrjVKZqWEqx1j9oJUa1qU+alQSF2WDbA 1JjcglPuPQ6ckTtDQIFC3QyBS/qOQWq0BhDUiZ8iiFc2lxThltW8jymK0APzCWVJrcy0 GwoSMPOxH7niEwpZQw6VrMLsk6hHmKHrkYjhpBwPVpRxsaZ1HaDOlfRQWtUky5JW3xJm VfWA5bmBfihL+JYujcDs0MtV5TSZ3jdjlEI2PjhVP/SD1J7XbyS5jlmKqRGyyrx1mLGC jN9g== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAUollGlWPaCow2EheIjNxdpS7zHXoAhq8o6T6h5rRAR7R7DBc8l Y+rrupXFrDv5dxJOvqT7n2s= X-Google-Smtp-Source: APXvYqwfLSxNd1MAoftlvcVM/Y+xqN+zHKZ2ZcI8lnvBWM3Q9vaUUVB0lpyOoymv/DplkG6KL8Ly4Q== X-Received: by 2002:a67:c482:: with SMTP id d2mr5243712vsk.231.1579272868060; Fri, 17 Jan 2020 06:54:28 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a67:c20c:: with SMTP id i12ls2242604vsj.14.gmail; Fri, 17 Jan 2020 06:54:27 -0800 (PST) X-Received: by 2002:a05:6102:143:: with SMTP id a3mr5357952vsr.151.1579272867471; Fri, 17 Jan 2020 06:54:27 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1579272867; cv=none; d=google.com; s=arc-20160816; b=lePg94flrBK481f2OBJmaQ9pqRKhm9/5M30ymqkkE4WH4HqT8L3N9OTc7VUkXr04xi y4rMetXNW1bp9YOKMBqyIRwIQxuvzDUlnipp5e99z5rwSTPSnwQhddd1ApXQ2d+KgjQZ zrCfDNMJub41Id1Vl2WyZ9XWg7XVBrEx5qc7CjoZxFNxf4/dsZL/KR+/c8uv3tCkWvG0 GHsXUForL/u3ulDVser5oqqoXVq+XP7V1JavQ3o/mbNOHIjhHO5gX3kwTNL2Z76ATSUL mDwoWUdxDh2zFggRvJBa6Y1nMuhtZaKrngTX2mYpWfH3Kbte25al/tywjL0gNzpazvL7 n/DA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:subject:message-id:date:from:mime-version:dkim-signature; bh=hCoFoaudg7xj2ioJ9u7LeJgL/jQwFGF0eix/y+oBpDY=; b=ztHtoHLL49w8tiVsR/+GZ7qwnunOljgXIywCfnCGeHQPKr8WzvRVGXNcjk35oxJ1+d dUfDDcUVkrniLh3Gmr0nkR0pZLhL4UgtIY/iH8qegpNDN+qqd0tWimJi8vp6NAMwX9Hz 63eBstmzCMhATi1QyiP2NsdTt5grhbPumU5aZThqR8vns8dWTFobMOnZoO7Ve7PQai/M PeSvdzWLYNoAcCfjFuj5KChmMqaBAkwvjqKQVFXbFmuFPmkylzZEAHEHSpMzdSM3/2KQ HiyMqLMujoVErKgaMtTRP4udhUklFolcs5IAb58HHAgnGqqcsJDzBbRmNYiaxACSg16P DAGQ== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b="AitB/iX7"; spf=pass (google.com: domain of e.m.rijke@gmail.com designates 2607:f8b0:4864:20::e33 as permitted sender) smtp.mailfrom=e.m.rijke@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-vs1-xe33.google.com (mail-vs1-xe33.google.com. [2607:f8b0:4864:20::e33]) by gmr-mx.google.com with ESMTPS id t76si1107910vkb.1.2020.01.17.06.54.27 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 17 Jan 2020 06:54:27 -0800 (PST) Received-SPF: pass (google.com: domain of e.m.rijke@gmail.com designates 2607:f8b0:4864:20::e33 as permitted sender) client-ip=2607:f8b0:4864:20::e33; Received: by mail-vs1-xe33.google.com with SMTP id x123so14995629vsc.2 for ; Fri, 17 Jan 2020 06:54:27 -0800 (PST) X-Received: by 2002:a67:fd4e:: with SMTP id g14mr4905702vsr.182.1579272866914; Fri, 17 Jan 2020 06:54:26 -0800 (PST) MIME-Version: 1.0 From: Egbert Rijke Date: Fri, 17 Jan 2020 15:54:16 +0100 Message-ID: Subject: [HoTT] HoTT/UF mini-symposium at European Congress of Mathematics To: Homotopy Type Theory Content-Type: multipart/alternative; boundary="0000000000003c6370059c571e19" X-Original-Sender: E.M.Rijke@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b="AitB/iX7"; spf=pass (google.com: domain of e.m.rijke@gmail.com designates 2607:f8b0:4864:20::e33 as permitted sender) smtp.mailfrom=e.m.rijke@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: , --0000000000003c6370059c571e19 Content-Type: text/plain; charset="UTF-8" Dear friends, This summer the 8th European Congress of Mathematics (https://www.8ecm.si) is taking place in Slovenia between July 5-11, 2020. There is a possibility to have a two-day mini-symposium on homotopy type theory, univalent foundations, higher category theory, formalization, and related topics. The ECM is a large meeting, so such a mini-symposium will likely be attended by people from outside the community. This, I think, will be a very good outreach opportunity for our field. The congress requires at least 20 presentations in a two-day mini-symposium, where I should add that participants can only register for the entire congress. Please see the website for the fees. If you are interested in speaking at the mini-symposium, could you please provide me by FRIDAY JANUARY 24TH with - your name, - your affiliation, - a tentative title or the topic of something you might want to talk about at this symposium. Abstracts are not required at this point. I hope to hear from you. Best wishes, Egbert Rijke -- 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/CAGqv1OBBC-6N3Ho4mK8Rb7YPMAh%2B%3DAUSSDPBO4M7mMz0LoaJpQ%40mail.gmail.com. --0000000000003c6370059c571e19 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable

Dear friends,


This summer the 8th European Congress of Mathematics= (ht= tps://www.8ecm.si) is taking place in Slovenia between July 5-11= , 2020. There is a possibility to have a two-day mini-symposium on homotopy= type theory, univalent foundations, higher category theory, formalization,= and related topics. The ECM is a large meeting, so such a mini-symposium w= ill likely be attended by people from outside the community. This, I think,= will be a very good outreach opportunity=C2=A0for our field.


The = congress requires at least 20 presentations in a two-day mini-symposium, wh= ere I should add that participants can only register for the entire congres= s. Please see the website for the fees.


If you ar= e interested in speaking at the mini-symposium, could you please provide me= by FRIDAY JANUARY 24TH with=C2=A0

- your name,

- your= affiliation,

- a tentative= title or the topic of something you might want to talk about at this sympo= sium.

Abstracts are not req= uired at this point.


I hope to hear from you.


Best wishes,

Egbert Rijke




--
You received this message because you are subscribed to the Google Groups &= quot;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 on the web visit https:/= /groups.google.com/d/msgid/HomotopyTypeTheory/CAGqv1OBBC-6N3Ho4mK8Rb7YPMAh%= 2B%3DAUSSDPBO4M7mMz0LoaJpQ%40mail.gmail.com.
--0000000000003c6370059c571e19--