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 c6681fa6 for ; Mon, 12 Aug 2019 09:43:11 +0000 (UTC) Received: by mail-wr1-x43c.google.com with SMTP id o13sf1801294wrx.20 for ; Mon, 12 Aug 2019 02:43:11 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1565602990; cv=pass; d=google.com; s=arc-20160816; b=wsf8WvUtwFfQJ80+fdKqzqnqSV7CdsQp9ejPxrHdV8ZFFZMh4gbQiWrS5m/O1rzc9l No2JoYoRLlXi42Do0bTnwGJ6uBmxKwohi+Zq4+gXx1iAVXH+5xiuM1cx7q6N3t/Tdldv JDTHM79/x7GlGUBcsZZBP+hIz2p2TRzHoFuA4ymtJBrKs/KdnFKphmDFd8Fno7ZMbWBP NkPOtF74UXRbSnMDCr+UB7WbvwZgPAJmZgnokGuTrRroS+SkOok7vpoRj9HBz2qWc1j5 kCpBiVzU6gpv/3qZLneWUraTZTGvu7GJ0tYAg57wGX16qP7dLWNKQKlFYmBowCAu3IZL xodw== 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=hjw2uCb/X2Q8Z5+mPWAjvNgr4TGct2v8XSOYQZI4lik=; b=BC4TxPdRNIOY8WPzTuRgakCcBu8THyYhD5bvjlrGBwsubgwYX9XrIcsPfPBMRF9DdS 40ABj+qYuXSZjtDf7djUihP1p8bpZbptZaDeiF4wAr8FsYqsSEhKpXwf92223yFoPfbP BIyMGzR+skGWxCwYmmF4WwnuuCraH6+CJ5gtxjqABK9Rs1YMvu0DGktuxw8/nJJXrJ2w DiWsLa2Fs4Vco+07/X/rhR0ANyBH0cR9wEDpZvql/FOwyWlnUtS8t9ysybH/KSbweuiu 4ZaThpOFXwd4ox/bSFG3Hjo8wGKAHbPaDYq0bLfJetrESFw/pdschehXFNX6EfSyRk+z 1wcQ== 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=hjw2uCb/X2Q8Z5+mPWAjvNgr4TGct2v8XSOYQZI4lik=; b=Ci8ymGBQ+rcswe8PMSN6iiG0q+BKMexV5HB/JAG4Bmqe09CZxlDCteiPkyeFnok8Kx 7aXO1Y0PaV2RUGQ/Uo+eRtRtFjGzlcdywY/VDHhTP6kKN0VhsIi43m6eC5ebJ4f0A3fS 9fwnoa4WPliciqbhdLGJ8c/CC+wkoqODlz3a+fFZkQ3GsfzzWMGdjial/PEY3wEiNoE+ CXaTnVTMQWk5GytxpO+z7HK5X6AyMWToL+hn2a82s7MuqsR5IuGJ90mYXbT3FVm84k6P kuH+2Uy/hTh40vlqgobEMuKGZKjek38L86iZmg43FOk70tzGUKbdWQ+qez3/3bpHzz8s XDFA== 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=hjw2uCb/X2Q8Z5+mPWAjvNgr4TGct2v8XSOYQZI4lik=; b=dMvCb/BgO3qH1Ny5yHLkRsPyz8hz71zUUBOQQ1usQ5kAaZfLzMn2SQCtr4trbi/EEs OmcotPHKxDGLfqidnf81zOifHemd0ggj6pa2fA6qYOzGWmRaYjOcwoU+srkc4v2sg8Dj 7Cj2wfggQgQWR6zxUqEC7n/uk9HKIMJcBfd+hP6QGLZ8l/IBNFLNRppTiz+S1FQqzoln 9jiGAfiBRjoZ+5lNrj6s6spmqG/hprbs+NBX/JN0+euVFLV/XIBkvc9FMT/KMWfqrrnv qqell6EnfL3tyE4YXbCUw3TjtAvVikW3kFzTTYEPA6IZTGN8Z87HV72rQOCxlJdOUi/O rlUg== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAWZ1+Jx0hZpSLYYESfl5Kr7Lj3rnJiQwrs+p8WLCuuhJ8gE/gU2 JudQeqzCZcTh71/4Un2W0So= X-Google-Smtp-Source: APXvYqzan2NfMJj1S48mA87HF+y9MyUbv9y7jXSjKJys+GHah5HltGI/vu+fR03+fUBKt0x42OQd7g== X-Received: by 2002:a5d:6ccd:: with SMTP id c13mr41146778wrc.4.1565602990507; Mon, 12 Aug 2019 02:43:10 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:adf:a745:: with SMTP id e5ls30077132wrd.5.gmail; Mon, 12 Aug 2019 02:43:10 -0700 (PDT) X-Received: by 2002:a5d:470c:: with SMTP id y12mr24789904wrq.136.1565602990076; Mon, 12 Aug 2019 02:43:10 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1565602990; cv=none; d=google.com; s=arc-20160816; b=0Ymcr4AlPZ3pQj8ashNW/DLqYsF/a439ioYRccfzN/TgwTSUUEFrBqcEkqn9ZgT+Jb +VBr0dzo8Cn0s5hv8ApJXwMforxFRlV1pBm2GzszqPGs/zGmuxm2ikH0s0yf8e6slBMx PcAC31D/O9iOincSFagqfzzsPrLpbTJfI8u2iFpaQZUvjhXEqOEoqANFZOtEYmcqjb8w Y4ldeULumDmjDZsMI8xxR2L7F6HA3DhsP/D2NTIchy0b6yO+TKWV558nHPXwmiS8gnuT P+QORZQe99I7Eo1v5eUlR+9QpyvnjN22LedW6zcuHI0ZN8z8lOiC3cHnVY9eROqn5dFE GFxA== 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=6wm6LX7hhNOgqOXrwyonNW/Js8Qy78BCLj+bOElBfjc=; b=Zzy8nTbmo4oLz2zGScFpgUqwXHKLfu6oRGuUlDtwB3eHCysHUq7MKNy3GFhd/8se+1 lSEOWZrMT/8IHkoo109KMwf55calmdVGfZeomtblvIHPyyeIgFzW6SgDw6O+lEgb2oPd fdEoqxb7p7PSv/ikIJsRjM5pH2NGnisDTm5RwbqugQsPNjRV8C4M0zKySM/RHL6hXf3a MX5lQx/lZr9gwmDBp1tWDUgXzTWJBvDwT+8cYnGAoH/vS+aB2EPmI93eBfuiVYYxR/0I puxtfmE0NAJt2he9ZhJ4MTUYfxY6XkEitlJ86ri8x7h0X7Y7qpFyjt1v+yGjxOFe1E1E BSPg== 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 b15si749116wmg.1.2019.08.12.02.43.10 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Mon, 12 Aug 2019 02:43:10 -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 8225161BBC76F for ; Mon, 12 Aug 2019 11:43:09 +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 8e0N8PaDaiE5 for ; Mon, 12 Aug 2019 11:43:07 +0200 (CEST) Received: from eduroam-10-20-6-9.mimuw.edu.pl (eduroam-10-20-6-9.mimuw.edu.pl [10.20.6.9]) (using TLSv1 with cipher ECDHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by duch.mimuw.edu.pl (Postfix) with ESMTPSA for ; Mon, 12 Aug 2019 11:43:07 +0200 (CEST) From: Bartek Klin Content-Type: text/plain; charset="UTF-8" Subject: [HoTT] FoPSS'19: Summer School on Foundations of Programming and Software Systems Message-Id: Date: Mon, 12 Aug 2019 11:43:06 +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: , FINAL CALL FOR PARTICIPATION: 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 Registration fee 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/E3B01D81-A7AE-45E2-A6DA-0360C83F84FA%40mimuw.edu.pl.