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.9 required=5.0 tests=DKIMWL_WL_MED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_EF,HEADER_FROM_DIFFERENT_DOMAINS, MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.2 Received: from mail-wr1-x43c.google.com (mail-wr1-x43c.google.com [IPv6:2a00:1450:4864:20::43c]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 18e81faf for ; Sun, 14 Jul 2019 18:59:06 +0000 (UTC) Received: by mail-wr1-x43c.google.com with SMTP id y2sf7818978wru.3 for ; Sun, 14 Jul 2019 11:59:06 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1563130746; cv=pass; d=google.com; s=arc-20160816; b=s1A3CmxE/LEWtPrO4Om120l0n4pJg+LE/1mgZL+xsBIy3Z/5BxiLVA7+sK5/0RDNBL KUt/jckxzZgeXZO9ot9VXtLvwVx7dnX2F1HRoclU9Z7FRLXYAiLyMurGjuwfzBleH4JZ nAeWJa8QoZmilLnEFvX+bD02oGT6TSdGAaJyoHv3mjt9VUeDl6mAAyc4IzeEGhp9F5r4 RXdyNpGpbcFDCFPip0wQG0vIFBvTjjyUQubXh2mOkvBug2n6RtaMbLxw53KNeUlBXygc ouZdyVsdzY1/Lnx/Tqk3Hj8mzL1/wtH3GoaIbU/nKaKTgknkbIXUN+VlbmzGILl/9ZKY JLSA== 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:mime-version:to:date:message-id:subject :from:sender:dkim-signature; bh=/W1ZQj8Bq9JZY9XXpP/N2rsJhzM0pdNvqmEIayl7fVA=; b=yId/9mo7DECNBzCP6QbiZ1VX9PrtSGi33grNQ88eZ3nexRajx6sHJ7UxRV9AALAgX2 9cCMkzXRMK5fl11QwQ6vYkSKwzKx30GadTjlRejQ3+zZakVZOR9cMy236AJ4xyf3s4vI Zy9c30wA76A9qLRvUFXKa5JYx1Uqlp04SJKhhj8vt5IWdW0elNaAEEzm+2a8QLDkzK9L +zaqBd9gsjTffvwh9N8omxr2RU3jfEQCmMo6CChpQqqyZzkPhsmL5MIigT7s7faGNmgd wmN5SzEP0zD3wUGizdwqqwg0HC7Rw32HARLdX/Eda57nn60BDC3uY/EFcWSkaUKco0GG i/Fw== ARC-Authentication-Results: i=2; gmr-mx.google.com; spf=pass (google.com: domain of klin@mimuw.edu.pl designates 2001:6a0:5001::4 as permitted sender) smtp.mailfrom=klin@mimuw.edu.pl DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:from:subject:message-id:date:to:mime-version :x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:list-post:list-help:list-archive :list-unsubscribe; bh=/W1ZQj8Bq9JZY9XXpP/N2rsJhzM0pdNvqmEIayl7fVA=; b=UQCFtHL8p71651gewwxixwwcwTtLpuJWjL0DAvd4Y6lH8Oloyh5d4bZQP8w6NYw7jt S7TBfKSnt3VHxY+mwTTSEp2UcgZUprWs33vY5KwXGw93bakvvxBAUcHBhxpdArbLESfH AFNaW0XiGCZTU88GiRQAai+ZTomq6H0JsNYQZn/aYAO/RMzL6TQFCCqzV47GvpEtHedK 0UKksdsPPPW00TiUwVPN0F8xLGkmVS7JEOo3B14uZ65D9a6h2hvCxclrba3G/hnlcckK JKsAD6R6WtvZFR6rNxLXOUOcU3dcFDXrq3ts91wuCbR/mJ6TjcYdcH6wuyTxJ2025YO0 0D7A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:from:subject:message-id:date:to :mime-version: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=/W1ZQj8Bq9JZY9XXpP/N2rsJhzM0pdNvqmEIayl7fVA=; b=olBwbjUuReSHELzUsrHmSrBBIDgUdKmMxwU5ZGNzGVQDUkPvIt0+tZmoTadQ3R4Cil ferA9QIWEuXUeD0yCUuIYzCAzjQxy6c23dmbemmtWiOGDttG9oTu4+nItzr8k8QWxQ+d TkYB9j3DBLZNanUanSPLiqItaJlL5nT5iW8rX657UpTilgwHhqfznu0WVdPFkrOaganV rowH79x67cBFg6JpWYFDhoNyk2NJRoO3R98zHctCebnA1H98CMQ69wvU7x4hCHVAIi39 OC2Zq9YtPvjX5tP6UOemwtKA/AtFD0CMyByFZC3XCTDcGjw9y5ihAfXJzi7q/9kVR8EC E0mQ== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAUFa5oGxdGrkOZ6wfRweyJlrtfNS6+una6aVtyLMM8gbc6aUXO1 wfQDX54joDDew09cok5INjU= X-Google-Smtp-Source: APXvYqwV/ndbTbGm9fBFYjRMWAMtjyhkciMfEnvmUEvTLS+AebJ8SnyC5h627X92mcoeImihcy/pOA== X-Received: by 2002:a1c:f519:: with SMTP id t25mr20438061wmh.58.1563130746078; Sun, 14 Jul 2019 11:59:06 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a1c:5411:: with SMTP id i17ls5720761wmb.2.canary-gmail; Sun, 14 Jul 2019 11:59:05 -0700 (PDT) X-Received: by 2002:a7b:c5d6:: with SMTP id n22mr20404345wmk.170.1563130745647; Sun, 14 Jul 2019 11:59:05 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1563130745; cv=none; d=google.com; s=arc-20160816; b=ibb7aPOWC4leHtjRbEpsHKIQKXaARfaNJJomsdC/OMa9aTxHj2yYMbz39cCCO6GrVk 1WEqZIhQDEtYImreLgzbIdZNuse2OpOYvM3eKgGWmP1NzNNORdyJsgvyaVYUIcqmaf8j S/ZfCfmzanCqU+fFwZOA7/qxnWFZ1N3jyD/pWOL/R8B33Ral6rtnos8I2PRNcrgU98SD 7E2/2Qn+oU3hRDJzDwIDByHJJ0w3+UvSWTuN+8usBiCvVX29UdlMFO86snPrxenQg4Te 2v68ZLT7ISAm2RUCaOj+17Hj8pa5mVZhNuhh7hj4fF2DvOedtY0cPB8+B9v0P3p/LfpQ CO8w== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=mime-version:to:date:message-id:subject:content-transfer-encoding :from; bh=ODRbYRkOwEMekSJxlCpIMI979VYbD2ptAXFnr6uDu9c=; b=pGbIjAGlkGW9X6/w5/hXwdfIBxycou1vWPlyZ/EGCJyUZv1XG03Nd41HhfR32y5Ej1 H3AysEHcpJuk/01n/PuhpBkgmRlukswIsuAeGg7CLxdCuPeqKwHz9acpIDxXAJqbtm1T ywlcZcOH346ahSaTX9JuNXUsjJJI0vpbLVcCiX/GSWcEzQAYtFMWhD0a5p01yLIg8g6H +W2pLDXObdIA+P7hH62qY25h1ko57JP81xiu1Q3ZlGvUTFgz/5Khv1fUAAm0hLnOTbDX cHQ+hVhSPOOUcM9i3ofd0C0hfH9aLZXCr5CeGddNXF7gMKpNVIwnT5xPjx2BGGOnjXaL tkZw== ARC-Authentication-Results: i=1; gmr-mx.google.com; spf=pass (google.com: domain of klin@mimuw.edu.pl designates 2001:6a0:5001::4 as permitted sender) smtp.mailfrom=klin@mimuw.edu.pl Received: from mail.mimuw.edu.pl (mail.mimuw.edu.pl. [2001:6a0:5001::4]) by gmr-mx.google.com with ESMTPS id r13si936273wrn.3.2019.07.14.11.59.05 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sun, 14 Jul 2019 11:59:05 -0700 (PDT) Received-SPF: pass (google.com: domain of klin@mimuw.edu.pl designates 2001:6a0:5001::4 as permitted sender) client-ip=2001:6a0:5001::4; Received: from localhost (localhost [127.0.0.1]) by duch.mimuw.edu.pl (Postfix) with ESMTP id E4B1561B98A86 for ; Sun, 14 Jul 2019 20:59:04 +0200 (CEST) X-Virus-Scanned: amavisd-new at mimuw.edu.pl Received: from duch.mimuw.edu.pl ([127.0.0.1]) by localhost (mail.mimuw.edu.pl [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id WzRhK0dgj4_J for ; Sun, 14 Jul 2019 20:59:02 +0200 (CEST) Received: from [192.168.0.80] (89-64-4-69.dynamic.chello.pl [89.64.4.69]) (using TLSv1 with cipher ECDHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by duch.mimuw.edu.pl (Postfix) with ESMTPSA for ; Sun, 14 Jul 2019 20:59:02 +0200 (CEST) From: Bartek Klin Content-Type: text/plain; charset="UTF-8" Subject: [HoTT] Summer School on Nominal Techniques: FoPSS 2019 Message-Id: <41F5544A-3B92-405F-BF97-F2D7256D1BD5@mimuw.edu.pl> Date: Sun, 14 Jul 2019 20:59:08 +0200 To: homotopytypetheory@googlegroups.com Mime-Version: 1.0 (Mac OS X Mail 8.2 \(2104\)) X-Mailer: Apple Mail (2.2104) X-Original-Sender: klin@mimuw.edu.pl X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of klin@mimuw.edu.pl designates 2001:6a0:5001::4 as permitted sender) smtp.mailfrom=klin@mimuw.edu.pl 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: , FoPPS 2019: Nominal Techniques 3rd Summer School on Foundations of Programming and Software Systems 10-15 September, Warsaw, Poland https://www.mimuw.edu.pl/~fopss19/ ================================================================== The 2019 Alonzo Church Award was given to M. J. Gabbay and A. M. Pitts for their ground-breaking work on nominal sets. (https://siglog.org/winners-of-the-2019-alonzo-church-award/) Do you want to learn what that was about? Come to FoPSS 2019! ================================================================== The Summer School on Foundations of Programming and Software Systems (FoPSS) was jointly created by EATCS, ETAPS, ACM SIGLOG and ACM SIGPLAN. It was first organised in 2017. The goal is to introduce the participants to various aspects of computation theory and programming languages. The school, spread over a single week, is aimed at students and researchers in Theoretical Computer Science, broadly construed. Each year the school is focused on a particular, actively researched topic. Our focus in 2019 are Nominal Techniques in Computer Science. For the introduction and cornerstone contributions to this area Murdoch J. Gabbay and Andrew M. Pitts received the 2019 Alonzo Church Award. Both of them are among the lecturers of FoPSS 2019. The scientific programme of the school is available from our website: https://www.mimuw.edu.pl/~fopss19/programme.html Early registration fee is 1600PLN (approx. 375EUR), and it includes lunches, coffee breaks and accommodation in a hotel within a walking distance from the school venue. We have a few scholarships available to participants who have difficult access to funding. Registration is open! ================================================================== COLOCATED EVENT: Highlights 2019: 7th annual conference on Highlights of Logic, Games and Automata 17-20 September (http://highlights-conference.org) -- 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/41F5544A-3B92-405F-BF97-F2D7256D1BD5%40mimuw.edu.pl. For more options, visit https://groups.google.com/d/optout.