From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 2002:a5d:950e:: with SMTP id d14mr903204iom.77.1585349476560; Fri, 27 Mar 2020 15:51:16 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a92:778d:: with SMTP id s135ls3193823ilc.2.gmail; Fri, 27 Mar 2020 15:51:14 -0700 (PDT) X-Received: by 2002:a92:6b06:: with SMTP id g6mr1495402ilc.84.1585349474739; Fri, 27 Mar 2020 15:51:14 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1585349474; cv=none; d=google.com; s=arc-20160816; b=qjk9SP2P7cqudok0ZODLxpUJezcOp01uxwJElKDcykthq322h9H+D2joqtaBwXBozE U4tdzS4PJTk3YFUlEWM7UUhbkypTBvV6A7QLV15LXnNNlKUF6+5M3HUlf6G90XYiSxIq DvTkSFLQnFffABSwAhEcjXh03gEn21weOolReRNCkMFQmIo8sDwTA703lQrO2Wp/JZcs WeC3FZN9q/E95rbfRNwX2vNLqL25NNOwD//svsCzOeh7LaxIf3ClEFpS+CH+fsMV8iR5 vLaO+f3W/seYmt2S4/2rvZ2aOoVuEpJLsQ8YQ9BHuO4Q9GsBU6OEotO7ESGgKgc8MTia Ce6Q== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:subject:message-id:date:from:reply-to:in-reply-to:references :mime-version:dkim-signature; bh=iLuI77a3LFIxLDPef3PdOTDhg8OrcBCPYnCGcCxqkwo=; b=Vx6fYkItuj1fMmjwBZ7pVKWYASBi989n8SQQHYTiwtN/w01Okx3Xez6cCUXfK+5Oag Qw5jy/2SrnLpLQO6qcvTv7Z4/xwUq72wx2H55DcLcXMcLUsMQ4ZyeAUIzxGDrH0hWoIO Z8KFT46kR+O9SCVLJl6ASWkUT8WRyKNAA9d5FqsXOK0IvUsYC+zb/hfronbvhoVhg2Zz +qFsVBQbSigY7cLDGWddt4NAw5VZVhdpG+irkAxsTRM2P96kdN+hsfVt23fPztKVYY5S AKL0+ZTKIKbERUPG67l1kGKPVEjvD0boO0zfP39VtuN712Wv5lG5p94OKdziUXp0GThZ eY3A== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass head...@gmail.com header.s=20161025 header.b=q0RLrBIu; spf=pass (google.com: domain of jamie...@gmail.com designates 2607:f8b0:4864:20::133 as permitted sender) smtp.mailfrom=jamie...@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Return-Path: Received: from mail-il1-x133.google.com (mail-il1-x133.google.com. [2607:f8b0:4864:20::133]) by gmr-mx.google.com with ESMTPS id a3si771764iog.2.2020.03.27.15.51.14 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 27 Mar 2020 15:51:14 -0700 (PDT) Received-SPF: pass (google.com: domain of jamie...@gmail.com designates 2607:f8b0:4864:20::133 as permitted sender) client-ip=2607:f8b0:4864:20::133; Authentication-Results: gmr-mx.google.com; dkim=pass head...@gmail.com header.s=20161025 header.b=q0RLrBIu; spf=pass (google.com: domain of jamie...@gmail.com designates 2607:f8b0:4864:20::133 as permitted sender) smtp.mailfrom=jamie...@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: by mail-il1-x133.google.com with SMTP id k29so10336875ilg.0 for ; Fri, 27 Mar 2020 15:51:14 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:reply-to:from:date:message-id :subject:to; bh=iLuI77a3LFIxLDPef3PdOTDhg8OrcBCPYnCGcCxqkwo=; b=q0RLrBIu14y3S+JdLpx0KG2COAh97cFB0yS4spk6tE0oMBA5XRP7Wczs4VU5jNEnUW 6ePnv5fZVe5qEqcpjruV1t0Du5eIJNOuRUb3HoEL8RZk8pFNiE/yKYhSP7Up4KP1znS+ /TsVGPyqnfWJ/hTzGnhjABXFXH9pJl/N8x9z/zq6zzDe5qZSq7iK9yiB8uDKbUK4C6/U y9wqxX/nlfufJDDlxB46nsQB9rsoi1CaJJnsyCa6FNKnZEFiBLKJH+c8gx4+J8QtDeoq 63u67np6jOm+Td8/891jT5NYRIloJ6GDMZ2bCi9Zhx0odLuRfslh9ZhnEq8L+wylHUVD xKAw== X-Gm-Message-State: ANhLgQ2yZPgGT58AMX9LRJcP/jEd890ia/Z4DWrKoJ6cFVEGo0Rvkt9t jBM8yNw9TSNJpKIItToOMCWuQ5gwW6HQbZTbN9ogi5Bb X-Received: by 2002:a92:86d1:: with SMTP id l78mr1477175ilh.172.1585349474204; Fri, 27 Mar 2020 15:51:14 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: Reply-To: jamie...@gmail.com From: Jamie Vicary Date: Fri, 27 Mar 2020 22:50:58 +0000 Message-ID: Subject: Announcing the Online Worldwide Seminar on Logic and Semantics (OWLS) To: Homotopy Type Theory Content-Type: text/plain; charset="UTF-8" [Hopefully of broad interest to the HoTT community; the first talk in particular is HoTT-focussed.] ** ONLINE WORLDWIDE SEMINAR ON LOGIC AND SEMANTICS (OWLS) ** ** https://www.cs.bham.ac.uk/~vicaryjo/owls/ ** The Online Worldwide Seminar on Logic and Semantics is a new online-only series of fortnightly research talks, highlighting the most exciting recent work in the international computer science logic community. In this time of restricted international travel, a key aim of this series is to provide a forum for informal discussion and social interaction that is so important for the progress of science. To facilitate this, the seminar incorporates in virtual form a number of features more normally associated with physical meetings, including virtual "coffee breaks" before and after the seminar, allowing participants to chat in small groups. (Don't forget to bring your own coffee.) We are delighted to announce our initial programme of talks, all of which take place on Wednesdays at 14:00 UTC+1. All members of the computer science logic community are welcome, from students to professors. - April 1. Kevin Buzzard, Imperial College London. "Is HoTT the way to do mathematics?" - April 15. Joost-Pieter Katoen, Aachen University. "Termination of probabilistic programs" - April 29. Daniela Petrisan, University of Paris. "Combining probabilistic and non-deterministic choice via weak distributive laws" - May 13. Bartek Klin, Warsaw University: "Monadic monadic second order logic" - May 27. Dexter Kozen, Cornell University: "Brzozowski derivatives as distributive laws" Talks are fully interactive, with audience members able to see the speaker's face at the same time as the slides, and able to ask questions with full audio and video, just as they would in a physical seminar, allowing the nuanced communication that is so critical for modern science. The seminar series is based on the Zoom technology platform, which is capable of handing large meetings with ease. Visit the OWLS webpage given at the top of this email for more information about the seminar, and to sign up for our reminder email list. Best wishes, the organizers: - Alexandra Silva, University College London - Pawel Sobocinski, Tallinn University of Technology - Jamie Vicary, University of Birmingham