From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.1 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,FREEMAIL_FROM,HTML_MESSAGE,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 24335 invoked from network); 18 Aug 2020 16:44:49 -0000 Received: from mail-wm1-x33d.google.com (2a00:1450:4864:20::33d) by inbox.vuxu.org with ESMTPUTF8; 18 Aug 2020 16:44:49 -0000 Received: by mail-wm1-x33d.google.com with SMTP id h205sf7624920wmf.0 for ; Tue, 18 Aug 2020 09:44:49 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1597769084; cv=pass; d=google.com; s=arc-20160816; b=C8QmVqA8RIp5q2H3YExEtgcdw5woSPBM4dxi24SqMxk1xaEvuv+WULtzhDYuxGYZvu 1yRfcz2zmeAMRKT1p8E/6Qju9uWui/TJtz5yrnd70kdvLJSvx92SbB+Lnq1KPHrFQMhc PRfDymIkwcbs+nMZhHe8+ydVIuzLfTpG2dMytENGe3qRGtBakdTuGsX0chlvHRqcOykR PeWrwTT6/dIKhLNPO/Q5+02esa2arzPUA274TRVfIlYEHGC6wQkQpH+cDfkji/Q8V2Tk GOUlVM66idXW1m/ndTC8SnWMnISRlgechJiHjt5RUdE8LcUoaCZr6kDjBf5AFmX2gAqC EN2w== 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-language:in-reply-to:mime-version :user-agent:date:message-id:to:from:references:subject:sender :dkim-signature:dkim-signature; bh=OT+9q9OSu0fBvhcIKpa/T9xOx8XwMMdpSfBzvuH0Z3U=; b=AHmDMsdEG9fH15gwXEBWEZzCYAgHS5MaGVp3EDdiO2hZYjB8l+cdTSTuUZTCqO9/kM F4EgCKTYnH9ELfIvqbk1xOadOKv5HL/Excd1N/SLeba+3PkIGLY2MhOw1uea/yYYCG+Q LdVs+Nn0rTcIsWH23EMi0CDDNUVJ/5wE56fpTCrULUmU0TWrGl5vj0qcMbFbE2fKoCvo He8It5D+LSIuq+EzVfKx7QFB9hQGguJ/M3uDZdtaszEpI8c/WsnOxuO/l2ul90IbFwT4 QWSrlvwgprG1Af7jgGffBaTI99xeHOoVt0Y6gYVu9tq4eQqmqBaKonKIPdOEwQGaeWKG R/9A== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=rq8JzR55; spf=pass (google.com: domain of nicolai.kraus@gmail.com designates 2a00:1450:4864:20::336 as permitted sender) smtp.mailfrom=nicolai.kraus@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:subject:references:from:to:message-id:date:user-agent :mime-version:in-reply-to:content-language:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=OT+9q9OSu0fBvhcIKpa/T9xOx8XwMMdpSfBzvuH0Z3U=; b=qKUg8XAvMK5dHcff16JxRJS430mw51+JYKcbfonQXYPGaVSspHllCBYknsPOX0i9BX xQUvsmX7KqB2FuZX/EpB7HZdClkZ/+9N+wYiY4qJf0fRjjaubOc7zW0tO8tG69BLs4wz 2zN5i+Qghzh+KQO/cAQvtZjX2AZF0jWU8ZAktaNMbDCBy3KnrZHpHaJ3+GKPPSCdWsNQ O5fH/zAxrTwXes2xHHVtsjoQAaX8Qzdg1mORmFDZkNBNzbKfijJ0/F5SFXN48yVR06Av 5eP1soVIUrzlkhS8KbR/F1bfYTK2ypG1SK+HiqELNuAC4UO0ddkXoL5PBj9S3TCN7/jt FKqg== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=subject:references:from:to:message-id:date:user-agent:mime-version :in-reply-to:content-language:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=OT+9q9OSu0fBvhcIKpa/T9xOx8XwMMdpSfBzvuH0Z3U=; b=MtqUV+tKv5APrfKnY8kRuCkv4viZSnMeoG1O7vamfSmGkxFrNfBUvfIBM0G7PWsVCw ttwj8MxUjYHeHa/kEIbRI0tRkv3k0LRSnZPtOIeOwW9Yq+jKrSFZQNNToxWv6it2fqlC 7EPnB8sFHBPnoYLijRvUVH9xxdpX9HLbu3SjzNlNtbhhHZn+l4wIZeAftKt/TRIu1WBp yPehX2/YRdo3EBvUIZgOwQVZuOCFBTZlREbwU0jNNWM4nrHE+N7coMeXKWIZDJsPQktP WfDW+y7Ygtth0IQS8PkcGHKvCFrHOO9IQ7oWfeg6gu33gkcBj69L1zeP9bABdqlakmYb Eq5A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:subject:references:from:to:message-id :date:user-agent:mime-version:in-reply-to:content-language :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=OT+9q9OSu0fBvhcIKpa/T9xOx8XwMMdpSfBzvuH0Z3U=; b=dLU1tDALUAgnHpTKQfZ9vKLPZmC14GK3V5/nASTCdhKk3gLmxtjuCVWGNX8pwZyY3d Ksw/mi7589TGuzbdtgAIiBEPTWAVEpurX2muqE7/W2bG0wRDNEKAGx+UrdbgsX7wEaVw yU2ujuDqSdgdfawbHP0+UJ/Jys34ARy8VNN/jrz2s6LFzzJW3ZvObscviTt4C9MEH1lj KsLuQglMNdgkTQadjWBYdLCQlBuk8xl2lTIj0ZGg9Rmi+NPgsj4ZwRUbU5XZfJzT3HmG v/tGs30Xg/bvvIhX2833M65jpVA5P2SFCFTJSn5ksdrJOD6ht0EH/IAVPROi1Xf/WW9E kwZg== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM530AvgpPfEtEodKu7WBPTc2NAVxG4yI+cfwhUcBfZfdlAyv/HQiP wmNO+2thXoSSSNebeKlLqzA= X-Google-Smtp-Source: ABdhPJxgvtPIKeGDCCQ53coScopAy0NiVKV0uBsoTQX5L7PjJ0M+AB9XWiNPbRmUFMceYk5quFIguQ== X-Received: by 2002:adf:dcc8:: with SMTP id x8mr22151726wrm.16.1597769084249; Tue, 18 Aug 2020 09:44:44 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a1c:804f:: with SMTP id b76ls324322wmd.2.gmail; Tue, 18 Aug 2020 09:44:43 -0700 (PDT) X-Received: by 2002:a1c:e0d7:: with SMTP id x206mr795310wmg.91.1597769083535; Tue, 18 Aug 2020 09:44:43 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1597769083; cv=none; d=google.com; s=arc-20160816; b=lZ5z2PODiwb26gEtYQ5sn7x4GzlJiXNeXvfuEKmZDF8kT7ywm9Rxvx/291OzV8S2Er nXHR7MoKSRWQK4LnFiYBzMfxgDh/15JI3sH+dC+Yn/IjVAqW3xRE4zNI+4m/B96KtUlt 804gd4A7s8fD16cdlsmmNAAaWl1SG/duM9fNHOkQsAVrA996rXMR6oQhNZwBTLtpC4rY 90fClfeOoGB0DqTcnKV/vH8uOjD+lzoBhPucKTWAhlTBD1w9m/eYlJmB3+rz/wtXQTOK i/BALcLfyBg4YEZ5Ro1FdNLUwnPJaWOOq1OXYxfMlsFScYhV90+PthvnPk6QXjOV38iz pYag== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=content-language:in-reply-to:mime-version:user-agent:date :message-id:to:from:references:subject:dkim-signature; bh=XBWG5YdaaOR3MOrK9Iky+YNlDhZVmvmZ4q4FRh3+3Ac=; b=i8VH90FqYYCi+AgBCXNqO30llp/Qeq5ShuMCLqVhVjqyUlwQNSsSlmY8lAob4kcyiK yn1v/2liZjrmzbmLNkl3G+TvJDVf9EBEwm4a6CJL3YIM8kR709o6Y+FIb14BOEzF04CO U04ELsopB4j8n5KFRQ9+bivnNnaQomw9Z5t4T8VVRBmCwCaKGPukLTW0hEmG5bRI3p8u 1keG+2fP2/5MpEpe8HGishoAQvnm/eVy6CaMii0sneqWIFfBNMRQbDc2QpwI13to5z3p bwlXCFWVmmbcGfVE/PQiYfCxdXx8CkRQWD5EVsD/N09+P1miq6+JUPxltDR3RjnBS8qb jr8g== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=rq8JzR55; spf=pass (google.com: domain of nicolai.kraus@gmail.com designates 2a00:1450:4864:20::336 as permitted sender) smtp.mailfrom=nicolai.kraus@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-wm1-x336.google.com (mail-wm1-x336.google.com. [2a00:1450:4864:20::336]) by gmr-mx.google.com with ESMTPS id m3si22342wme.0.2020.08.18.09.44.43 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 18 Aug 2020 09:44:43 -0700 (PDT) Received-SPF: pass (google.com: domain of nicolai.kraus@gmail.com designates 2a00:1450:4864:20::336 as permitted sender) client-ip=2a00:1450:4864:20::336; Received: by mail-wm1-x336.google.com with SMTP id k8so17639768wma.2 for ; Tue, 18 Aug 2020 09:44:43 -0700 (PDT) X-Received: by 2002:a05:600c:22cb:: with SMTP id 11mr801109wmg.66.1597769082891; Tue, 18 Aug 2020 09:44:42 -0700 (PDT) Received: from [192.168.1.67] ([146.66.51.167]) by smtp.gmail.com with ESMTPSA id y24sm619085wmi.17.2020.08.18.09.44.41 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 18 Aug 2020 09:44:42 -0700 (PDT) Subject: [HoTT] Fwd: Panel Debate, Wednesday 2 September @ 3pm UTC: "Evolution or Revolution? The Future of Conferences in Theoretical Computer Science" References: From: Nicolai Kraus To: HomotopyTypeTheory@googlegroups.com X-Forwarded-Message-Id: Message-ID: Date: Tue, 18 Aug 2020 17:44:40 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.10.0 MIME-Version: 1.0 In-Reply-To: Content-Type: multipart/alternative; boundary="------------F1139BC4BF790A4B029A2B5B" Content-Language: en-US X-Original-Sender: nicolai.kraus@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=rq8JzR55; spf=pass (google.com: domain of nicolai.kraus@gmail.com designates 2a00:1450:4864:20::336 as permitted sender) smtp.mailfrom=nicolai.kraus@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: , This is a multi-part message in MIME format. --------------F1139BC4BF790A4B029A2B5B Content-Type: text/plain; charset="UTF-8"; format=flowed Dear all, the panel discussion below is on the future of conferences and the publication model of computer science, especially compared to maths and other disciplines. This seems very relevant for us, i.e. the HoTT community. Nicolai -------- Forwarded Message -------- Subject: Panel Debate, Wednesday 2 September @ 3pm UTC: "Evolution or Revolution? The Future of Conferences in Theoretical Computer Science" Date: Mon, 17 Aug 2020 22:54:13 +0100 From: Jamie Vicary [TLDR: Panel Debate on the Future of Conferences in TCS -- panel Fong, Kesner, Pierce, Vardi -- join at 3pm UTC on Weds 2 Sep -- zoom.us/j/177472153 -- reply now from academic email address to propose a question -- please circulate this message widely] Dear all, The entire community is invited to participate in a debate on the future of the conference system in theoretical computer science. Organized as a special event as part of the Online Worldwide Seminar on Logic and Semantics (OWLS), this will provide a rare community-wide opportunity for us to consider the strengths and weaknesses of our current system, and consider if we can do better. The scope of the debate is all aspects of our publishing and community traditions, characterised by prestige earned mostly through publication in competitive conferences, and frequent local and international travel. Possible topics for discussion include the need to publish in conferences for career progression, which usually involves burning carbon; wasted author and reviewer effort when good papers are rejected from highly competitive conferences; the extent of our responsibility as a community to respond to climate change; alternative publishing models, like the journal-focussed system used in mathematics; high costs of conference travel and registration; virtual conference advantages, disadvantages and best practice; improving equality, diversity and access; consequences and response to COVID-19; and the role of professional bodies. These topics have many close relationships, and need to be discussed together to gain a full understanding of the issues involved, and how we can move forward. OUR PANEL To discuss these issues, we have an excellent panel with a wide range of relevant experience: - Dr Brendan Fong, MIT (brendanfong.com) is a postdoctoral researcher with considerable experience organizing virtual conferences and seminars (act2020.mit.edu), and an Executive Editor of the new open-access journal Compositionality. - Professor Delia Kesner, University of Paris (irif.fr/~kesner) has served on the Steering Committee of six conferences and workshops, and is currently the SC Chair of FSCD, the most recent iteration of which was organized at short notice as a virtual event (fscd2020.org). - Professor Benjamin Pierce, University of Pennsylvania (cis.upenn.edu/~bcpierce) has served as PC chair of a range of events including POPL and ICFP, and has written powerfully on the need for the computer science community to adapt to the reality of climate change. - Professor Moshe Vardi, Rice University (cs.rice.edu/~vardi) is Senior Editor of the journal Communications of the ACM, and founded the Federated Logic Conference (FLOC). He has long been a vocal commentator on structural problems with computer science publishing. PROPOSE A QUESTION Questions will be asked by members of the community. That means you! Please reply to this email to propose your question, which could raise any issue in scope. **Why not do it right now?** Make sure to use an academic email address. We'll let you know if your question is accepted, and you'll then have the opportunity to ask it during the debate, and to respond to the panel's comments. WHEN AND WHERE The debate will take place on Wednesday 2 September at 3pm UTC, which corresponds to the following times in a range of cities around the world: 8am San Francisco / 10am Houston / 11am Philadelphia / 4pm London / 5pm Paris / 9pm Mumbai / 11pm Beijing / midnight Tokyo / 1am Sydney The event will take place on Zoom at the following address, with no password or registration required: - zoom.us/j/177472153 The debate will be followed by an opportunity to discuss informally with other members of the community in small groups. WEBPAGE This event is organized as part of the OWLS seminar series. For more information, a calendar you can embed into your own, and to sign up for reminder emails, visit the webpage: - https://www.cs.bham.ac.uk/~vicaryjo/owls/ READING Members of the community may enjoy the following articles, related to the topic of the debate. - Lance Fortnow (2009), "Time for Computer Science to Grow Up", https://cacm.acm.org/magazines/2009/8/34492-viewpoint-time-for-computer-science-to-grow-up - Benjamin Pierce, Michael Hicks, Crista Lopes and Jens Palsberg (2020), "Conferences in an Era of Expensive Carbon", https://cacm.acm.org/magazines/2020/3/243024-conferences-in-an-era-of-expensive-carbon - Moshe Vardi (2020), "Publish and Perish", https://cacm.acm.org/magazines/2020/1/241717-publish-and-perish We hope you will join us for the debate. Please forward this message to members of your research group, and others who may be interested to participate. Best wishes, Jamie -- 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/bc16b3e1-08e0-3152-65bd-595bf42faead%40gmail.com. --------------F1139BC4BF790A4B029A2B5B Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Dear all,

the panel discussion below is on the future of conferences and the publication model of computer science, especially compared to maths and other disciplines. This seems very relevant for us, i.e. the HoTT community.

Nicolai


-------- Forwarded Message --------
Subje= ct: Panel Debate, Wednesday 2 September @ 3pm UTC: "Evolution or Revolution? The Future of Conferences in Theoretical Computer Science"
Date:= Mon, 17 Aug 2020 22:54:13 +0100
From:= Jamie Vicary <jamie.vicary@cl.cam.ac.uk>


[TLDR: Panel Debate on the Future of Conferences in TCS -- panel Fong,
Kesner, Pierce, Vardi -- join at 3pm UTC on Weds 2 Sep --
zoom.us/j/177472153 -- reply now from academic email address to
propose a question -- please circulate this message widely]

Dear all,

The entire community is invited to participate in a debate on the
future of the conference system in theoretical computer science.
Organized as a special event as part of the Online Worldwide Seminar
on Logic and Semantics (OWLS), this will provide a rare community-wide
opportunity for us to consider the strengths and weaknesses of our current system, and consider if we can do better.

The scope of the debate is all aspects of our publishing and community
traditions, characterised by prestige earned mostly through
publication in competitive conferences, and frequent local and
international travel. Possible topics for discussion include the need
to publish in conferences for career progression, which usually
involves burning carbon; wasted author and reviewer effort when good
papers are rejected from highly competitive conferences; the extent of
our responsibility as a community to respond to climate change;
alternative publishing models, like the journal-focussed system used
in mathematics; high costs of conference travel and registration;
virtual conference advantages, disadvantages and best practice;
improving equality, diversity and access; consequences and response to
COVID-19; and the role of professional bodies. These topics have many
close relationships, and need to be discussed together to gain a full
understanding of the issues involved, and how we can move forward.
OUR PANEL

To discuss these issues, we have an excellent panel with a wide range
of relevant experience:

- Dr Brendan Fong, MIT (brendanfong.com) is a postdoctoral
researcher with considerable experience organizing virtual conferences
and seminars (act2020.mit.edu), and an Executive Editor of the new open-access journal Compositionality.

- Professor Delia Kesner, University of Paris (irif.fr/~kesner) has
served on the Steering Committee of six conferences and workshops, and
is currently the SC Chair of FSCD, the most recent iteration of which
was organized at short notice as a virtual event (fscd2020.org).

- Professor Benjamin Pierce, University of Pennsylvania
(cis.upenn.edu/~bcpierce) has served as PC chair of a range of events
including POPL and ICFP, and has written powerfully on the need for
the computer science community to adapt to the reality of climate
change.

- Professor Moshe Vardi, Rice University (cs.rice.edu/~vardi) is
Senior Editor of the journal Communications of the ACM, and founded
the Federated Logic Conference (FLOC). He has long been a vocal
commentator on structural problems with computer science publishing.

PROPOSE A QUESTION

Questions will be asked by members of the community. That means you!
Please reply to this email to propose your question, which could raise
any issue in scope. **Why not do it right now?** Make sure to use an
academic email address. We'll let you know if your question is
accepted, and you'll then have the opportunity to ask it during the
debate, and to respond to the panel's comments.

WHEN AND WHERE

The debate will take place on Wednesday 2 September at 3pm UTC, which
corresponds to the following times in a range of cities around the world:

8am San Francisco / 10am Houston / 11am Philadelphia / 4pm London /
5pm Paris / 9pm Mumbai / 11pm Beijing / midnight Tokyo / 1am Sydney

The event will take place on Zoom at the following address, with no
password or registration required:

- zoom.us/j/177472153

The debate will be followed by an opportunity to discuss informally
with other members of the community in small groups.

WEBPAGE

This event is organized as part of the OWLS seminar series. For more
information, a calendar you can embed into your own, and to sign up
for reminder emails, visit the webpage:

- https://www.cs.bham.ac.uk/~vicaryjo/owls/

READING

Members of the community may enjoy the following articles, related to
the topic of the debate.

- Lance Fortnow (2009), "Time for Computer Science to Grow Up",
https://cacm.ac= m.org/magazines/2009/8/34492-viewpoint-time-for-computer-science-to-grow-up=
- Benjamin Pierce, Michael Hicks, Crista Lopes and Jens Palsberg
(2020), "Conferences in an Era of Expensive Carbon",
https://cacm.acm.or= g/magazines/2020/3/243024-conferences-in-an-era-of-expensive-carbon
- Moshe Vardi (2020), "Publish and Perish",
https://cacm.acm.org/magazines/2020/= 1/241717-publish-and-perish

We hope you will join us for the debate. Please forward this message
to members of your research group, and others who may be interested to
participate.

Best wishes,
Jamie

--
You received this message because you are subscribed to the Google Groups &= quot;Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to = HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msg= id/HomotopyTypeTheory/bc16b3e1-08e0-3152-65bd-595bf42faead%40gmail.com.=
--------------F1139BC4BF790A4B029A2B5B--