From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: homotopytypetheory+bncBC7NZUPX2QPBBTG3RLOAKGQE7NJPELI@googlegroups.com X-Spam-Checker-Version: SpamAssassin 3.4.1 (2015-04-28) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-0.8 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.1 Received: from mail-qt0-x239.google.com (mail-qt0-x239.google.com [IPv6:2607:f8b0:400d:c0d::239]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 59a96d49 for ; Sun, 26 Aug 2018 13:40:29 +0000 (UTC) Received: by mail-qt0-x239.google.com with SMTP id y46-v6sf13112366qth.9 for ; Sun, 26 Aug 2018 06:40:29 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1535290828; cv=pass; d=google.com; s=arc-20160816; b=DZF96+0F2SzR0hwazhEd/a78pzJ5RfOIst8qND3xXdWBCtHySo1No7bb+tY8J44o4B GL90LrK8rB+wpQAtj+urYYM9DdkcxzoOFnIlOIV26fjJer/FSQThirlLQ/YzHp8wfrGM PB2IRNMuVAazIbuNAISMRm0Il4t8kGikprXOqdxPhxYWSrfuwIeCgAt4szJcdC4ZN7jI ddVh7DgMpmJxUbLfpebW+u79DCZY1AJu3u0fK/j8AnfqWVBJrut7yAxvY6A+nTGiPh4N ezYhVoHJ+7IGQNkv/4WMCrIDn/GmclPRxZKVMMkMSza9wOCrCyi4qmrVz3aasSGETrOW Jg2A== 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:content-transfer-encoding:to:subject :message-id:date:from:mime-version:arc-authentication-results :arc-message-signature:sender:dkim-signature:dkim-signature :arc-authentication-results; bh=QcPfHxJA8yUBaRzYMFn+PGBcwF7TXQieLVbJU5XLf40=; b=IKblhm5MXZ6jgrZRnnHULy++YRnwPFE1dnlsT5lVfezl8P1zmeGP0jt2y+TCopx/L+ juw4GZOvN+efOFCCq21BM+Zu/sSRxHOFYQEHhrwMLWt1QglJv2f5JmkLutcsSwZMGu3e zyOg2ZDt2z/lIwhYSg+WH6oqY7Nqxygvx9+mDZBE55Dspy95y8VG8K8gr08wwHVR7aGl HUJda3M/Egl/6isfITKbIgPcLaVbmQwIc4lUTH5J9k7Rsb3wYKM7BWZ08Zjuf1obSNZa 2sTUjYOYXya2eGnjoGujp0YjOR3AGR6k3pcCJWwLLXsaivkuSfhR9kh0hVrtC+BvVAkq mPJA== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=ASmDSV6X; spf=pass (google.com: domain of b.a.w.spitters@gmail.com designates 2607:f8b0:4864:20::c36 as permitted sender) smtp.mailfrom=b.a.w.spitters@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 :content-transfer-encoding:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=QcPfHxJA8yUBaRzYMFn+PGBcwF7TXQieLVbJU5XLf40=; b=rAH42gK30PQEumHfiATcfvL2/lynk7yArMUN8q6KP3FTr3ZblfaekEZnyEFsJoLW3c WFqBE/oAQ36wKpeNLp7a0Mi1Hz+XTo6EobtG8hYHkulHxLTvVw2WJvxkxAzrVMAP+opa jfe0hsIbbNMeWKeVj7LnkQQK3DFQbWqrJ+n1LQQKEIrNlTHlFiRMjp57DHSrOYX2Q3w2 7nFGD7DDw33GoLSdXGjbBjE5MzHDrNFoUVSza9ogeh5nW2OKkPRl6h6hovSCklhzJkBk zVDJrD7RtZDPp0A+2NqfmvFbKgMnrmhLaJ5A9yVABJ4/A0Wn3AepZO5MjnYILR4wN4Iy 9xyQ== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to :content-transfer-encoding:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=QcPfHxJA8yUBaRzYMFn+PGBcwF7TXQieLVbJU5XLf40=; b=B1gwk4uEmfgW84LvW2S5C2ExTHXU4TfdGgDjRoOB1WZPix8nUNhY8D/c7lf8BLiUni Yn2cdGZ2QQ50mMfHNZvDtjGx1STpFdcZcvpWj+DZiBKLdc4co4shPUKHmMHqrvtyetim 7Vd65R7xQQz2owiSmpzG8ED6fsVBmSY1Dz5QZT09QwxCEHh47dYxX18J08aLYDntfFSE hAAIoamuUE2UdM7HliWsUUHsxtMEJuTwv0yU/0o9dRz6qCC5Lt0ZiDNoqJeEUEwkiISO nulF9cPQPJM27b9dT8AlUwrNjjJuikoYZXymDbnebN84ShDeCExkLR4NRVhXIfhmPUjX zFRg== 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:content-transfer-encoding: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=QcPfHxJA8yUBaRzYMFn+PGBcwF7TXQieLVbJU5XLf40=; b=b2/BS9kPZVUW0JKIXf2tp4OddvcHqzkAaZYMQGcWbyFKBGHZR+9DFrwN+UbjmzxpPP ryBVM7+C4pCV07UT//q+ezQ9VhkEArp3nUxHgh9hGYGvrkPei9QnaWBNRPxYgl/nke4t 7AJru1Y/Qxe8K2wwlHH+Lsp31f9WWiWdImTLjiPIaKFZscemNTkFFbnBU1mE0d03P2UT qX/mw0hK1CXrFVe3PgRygSEvpLukZxxsrpfZeJPQP72Ygx7/njaQmVOgvW4q2KU8YoPk WE3I+Gc6BzMqvOhNu7dHELpA9OpA5/ynOxENMRR1i0/Ln79qhM4nJzK9Ffyc/EmdTtCx 994g== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APzg51DMrlUrBvWBotGtMIRvgSs2sSzRyKwZpgoMzpdi33hb77RJWG6E pV0flwlsWYn7H1tvx6siezA= X-Google-Smtp-Source: ANB0VdbMYumf0lKKKzcdI0TrCaYuvSoHC2lCeG1QvCPd2fSpFv881Wc713m/Nvmlaq45aONJDhj+pA== X-Received: by 2002:a0c:d844:: with SMTP id i4-v6mr79591qvj.6.1535290828559; Sun, 26 Aug 2018 06:40:28 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a0c:b920:: with SMTP id u32-v6ls1314563qvf.2.gmail; Sun, 26 Aug 2018 06:40:28 -0700 (PDT) X-Received: by 2002:a0c:9454:: with SMTP id i20-v6mr5388007qvi.55.1535290828304; Sun, 26 Aug 2018 06:40:28 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1535290828; cv=none; d=google.com; s=arc-20160816; b=Zaseu18u6Cxiacu4VhY3b4iuzlq9Q9ERSak4HNGnLFxkxIgvT09yzBowxqfjMn9CYr A4WPK9jiJGvxPgv2l8/PNpNrZUVJldZmjzTaOEnWWcGss3v9cTY1u0K+VOepZn/QQvkb SaSVpVDbGTJamMeWlAOU4QVCHaAJ+A0G4ZPpCNCvmKkMoMS9UFuHMM1xJSvcoqwX441C Uu3Xrj3M6/ZuOFW1XSeYzPQGPEPYY+qQAu38mLr2tyDS30pfVCBoVmV6xSPzJ/oxMQts Jy440C8w5CRJ50aV4nQc2YPLQdTg2zdDdn55If50n8oZKYb7tGTmliI157pRUzZkx1Xm 9j/Q== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=content-transfer-encoding:to:subject:message-id:date:from :mime-version:dkim-signature:arc-authentication-results; bh=/cysKnOA+7RrCVfUcwaEhtxKBHBgDuTiM6rk36AAYko=; b=sxKxs/aYhfgmyvk32+ZxhceQhLDfqW0HqsH6qeUe+UYuSJG9UYAcLKuM5mdvEZIsED ECcX+8e0NH7pa/RDVytZiKieDwJRpOWDNKs3ZmLYxpNfC7dNW4VL5Oo5SaHjC2IcXu7c ylRfi1HEYh7aAWXajuy8jySjNWBCyw1EqkJipOCnplLvxES5mRULAUR0PLDJMgdqOFDQ +MAHtRB+8w6yaZELYuZO6RX7nsq7/J5fEeUiSaeHGLTpmgsgyGAlPvE2nMDP5YbDhqhO fSbhwL0O7oN9qLoUbnryR8mddQzIYfmlSXVXEVtxJmTIme0eewPPy3NBRaWVMndGc9me 7/fA== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=ASmDSV6X; spf=pass (google.com: domain of b.a.w.spitters@gmail.com designates 2607:f8b0:4864:20::c36 as permitted sender) smtp.mailfrom=b.a.w.spitters@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-yw1-xc36.google.com (mail-yw1-xc36.google.com. [2607:f8b0:4864:20::c36]) by gmr-mx.google.com with ESMTPS id 5-v6si715710qkp.5.2018.08.26.06.40.28 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sun, 26 Aug 2018 06:40:28 -0700 (PDT) Received-SPF: pass (google.com: domain of b.a.w.spitters@gmail.com designates 2607:f8b0:4864:20::c36 as permitted sender) client-ip=2607:f8b0:4864:20::c36; Received: by mail-yw1-xc36.google.com with SMTP id n21-v6so4584613ywh.5 for ; Sun, 26 Aug 2018 06:40:28 -0700 (PDT) X-Received: by 2002:a81:7404:: with SMTP id p4-v6mr4939723ywc.401.1535290827856; Sun, 26 Aug 2018 06:40:27 -0700 (PDT) MIME-Version: 1.0 From: Bas Spitters Date: Sun, 26 Aug 2018 15:40:16 +0200 Message-ID: Subject: [HoTT] 8,9 Oct: EUTypes meeting in Aarhus To: homotopytypetheory Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Original-Sender: b.a.w.spitters@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=ASmDSV6X; spf=pass (google.com: domain of b.a.w.spitters@gmail.com designates 2607:f8b0:4864:20::c36 as permitted sender) smtp.mailfrom=b.a.w.spitters@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: , 8,9 Oct: EUTypes meeting in Aarhus (DK) http://cs.au.dk/research/logic-and-semantics/eutypes2018/ Topics include: Homotopy type theory Types and security Concurrent separation logic ... Invited speakers: - Nick Benton - Ales Bizjak - Johannes H=C3=B6lzl - Robbert Krebbers - Peter Lumsdaine - Anders Mortberg - Arnaud Spiwack - P-Y Strub Registrations & financial support If you are planning to participate, please send an email to sofia@cs.au.dk and indicate: - Dates of arrival and departure - Would you like to speak ? If so, send a title and an abstract (and optionally a picture) before Sun Sept 9 23:59 CEST - Would you like apply for financial support from EUTypes COST network? Deadline: Sun Sept 9 23:59 CEST. --=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. For more options, visit https://groups.google.com/d/optout.