Re: [TYPES] global debriefing over our virtual experience of conferences

2020-08-23 Thread Jon Sterling
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] I want to put in my agreement with Talia's second point that we should move to a model in which deadlines are frequent and cheap to miss (as is the case in every discipline that is lucky enough to be based on journals)

Re: [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences)

2020-08-23 Thread Nicolai Kraus
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] On Sun, Aug 23, 2020 at 8:23 PM Henning Basold wrote: > I would like to add another way of covering costs that is often used in > communal places: Anyone gives whatever they can, which may be nothing. This > assumes of

Re: [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences)

2020-08-23 Thread Henning Basold
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] I would like to add another way of covering costs that is often used in communal places: Anyone gives whatever they can, which may be nothing. This assumes of course some fairness and some transparency about the costs.

[TYPES] Fwd: Panel Debate, Wednesday 2 September @ 3pm UTC: "Evolution or Revolution? The Future of Conferences in Theoretical Computer Science"

2020-08-23 Thread Nicolai Kraus
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] Hi all, I'd like to advertise the below panel debate on the future of TCS conferences. The discussion thread "online conferences should be free" would also be relevant for this debate. Cheers, Nicolai --

Re: [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences)

2020-08-23 Thread Nicolai Kraus
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] Interesting discussion, and definitely very important! My opinion is: (1) Registration costs should not stop anyone from attending a/an [online] conference. I guess that's obvious and solutions for this were implemented

Re: [TYPES] global debriefing over our virtual experience of conferences

2020-08-23 Thread Talia Ringer
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] I used to argue against changing conference deadline systems a lot, but the pandemic response and political events in the US have made it clear to me that this is a diversity issue. When a deadline is only once per year

Re: [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences)

2020-08-23 Thread Michael Hicks
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] Thanks for raising this issue. Just a few points about the other side of the argument: It’s well known that things that are free are not valued (by humans) as much as those that cost something, even a small amount. For

Re: [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences)

2020-08-23 Thread Talia Ringer
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] I don't know about PLDI, but there are some costs associated with online events. For example, automatic captioning software is still not very good (Google's always turns "proofs" into "fruits" for me). Live captioning is

[TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences)

2020-08-23 Thread Gabriel Scherer
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] Dear types-list, Going on a tangent from Flavien's earlier post: I really think that online conferences should be free. Several conferences (PLDI for example) managed to run free-of-charge since the pandemic started,

Re: [TYPES] global debriefing over our virtual experience of conferences

2020-08-23 Thread Gabriel Scherer
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] I am in broad agreement with many of Flavien's points. I hope that we can learn how to do virtual conferences well so that we can reduce our travel footprint in the future, not just due to pandemic issues. In this