Re: [TYPES] online conferences should be free

2021-06-06 Thread Alejandro Díaz-Caro
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] I may add that it makes totally sense to me that a service such as Clowdr (and other similar platforms) charge for their usage. The price do not only covers the usage, but also there is somebody to assist you (giving

Re: [TYPES] online conferences should be free

2021-06-06 Thread Benjamin Pierce
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] On Sun, Jun 6, 2021 at 1:15 AM Stefan Monnier wrote: > [ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list > ] > > I think it would make sense for the ACM to host some of those services > (and

Re: [TYPES] online conferences should be free

2021-06-06 Thread Stefan Monnier
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] Alejandro Díaz-Caro [2021-06-05 15:22:22] wrote: > Of course there are also free platforms, but they are less reliable > and you do not have anyone to ask if things do not work as expected. I think it would make sense