Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
From: Nicolai Kraus <nicolai.kraus@gmail.com>
To: HomotopyTypeTheory@googlegroups.com
Subject: [HoTT] Fwd: Panel Debate, Wednesday 2 September @ 3pm UTC: "Evolution or Revolution? The Future of Conferences in Theoretical Computer Science"
Date: Tue, 18 Aug 2020 17:44:40 +0100
Message-ID: <bc16b3e1-08e0-3152-65bd-595bf42faead@gmail.com> (raw)
In-Reply-To: <CANr23v3ZOzUXtkmboJO8TsCFf2e6TeWjM3Cr2J9a-ayZZwSs_w@mail.gmail.com>

[-- Attachment #1: Type: text/plain, Size: 5646 bytes --]

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.


-------- 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 <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.


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

- 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.


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.


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

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.


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/


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",
- Benjamin Pierce, Michael Hicks, Crista Lopes and Jens Palsberg
(2020), "Conferences in an Era of Expensive Carbon",
- Moshe Vardi (2020), "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

Best wishes,

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.

[-- Attachment #2: Type: text/html, Size: 8736 bytes --]

           reply	other threads:[~2020-08-18 16:44 UTC|newest]

Thread overview: expand[flat|nested]  mbox.gz  Atom feed
 [parent not found: <CANr23v3ZOzUXtkmboJO8TsCFf2e6TeWjM3Cr2J9a-ayZZwSs_w@mail.gmail.com>]

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=bc16b3e1-08e0-3152-65bd-595bf42faead@gmail.com \
    --to=nicolai.kraus@gmail.com \
    --cc=HomotopyTypeTheory@googlegroups.com \


* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

Discussion of Homotopy Type Theory and Univalent Foundations

This inbox may be cloned and mirrored by anyone:

	git clone --mirror http://inbox.vuxu.org/hott

	# If you have public-inbox 1.1+ installed, you may
	# initialize and index your mirror using the following commands:
	public-inbox-init -V1 hott hott/ http://inbox.vuxu.org/hott \
	public-inbox-index hott

Example config snippet for mirrors.
Newsgroup available over NNTP:

AGPL code for this site: git clone https://public-inbox.org/public-inbox.git