From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10180 Path: news.gmane.io!.POSTED.ciao.gmane.io!not-for-mail From: Jamie Vicary Newsgroups: gmane.science.mathematics.categories Subject: Announcing the Online Worldwide Seminar on Logic and Semantics (OWLS) Date: Fri, 27 Mar 2020 22:58:19 +0000 Message-ID: Reply-To: Jamie Vicary Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Injection-Info: ciao.gmane.io; posting-host="ciao.gmane.io:159.69.161.202"; logging-data="29628"; mail-complaints-to="usenet@ciao.gmane.io" To: Categories list Original-X-From: majordomo@rr.mta.ca Sat Mar 28 14:36:31 2020 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.55]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1jIBdW-0007aE-74 for gsmc-categories@m.gmane-mx.org; Sat, 28 Mar 2020 14:36:30 +0100 Original-Received: from rr.mta.ca ([198.164.44.159]:49158) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1jIBYq-0002G9-A2; Sat, 28 Mar 2020 10:31:40 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1jIBbN-0005Dj-TC for categories-list@rr.mta.ca; Sat, 28 Mar 2020 10:34:17 -0300 Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10180 Archived-At: ** 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 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]