[TYPES] Could we temporarily stop having conferences in the US?
Derek Dreyer
dreyer at mpi-sws.org
Tue Sep 23 18:03:44 EDT 2025
>
> PS: Derek, you write that the present discussions should best move to a
> broader SIGPLAN community platform. I’m thankful for having discovered and
> being able to follow this discussion via Types — is there a broader open
> platform for all of SIGPLAN that includes both card-carrying members and
> ordinary PL aficionados broadly?
>
No. Types-list is good as a forum for open discussion. But ultimately I
think any major change like the one being proposed would have to go through
the SIGPLAN EC, and would require surveying the PL community in some
fashion, so it would make sense for interested parties to get in touch with
the SIGPLAN EC members, who are your representatives in governance of
SIGPLAN.
(Gabriel said that his proposal to survey the community about this issue
was declined by the SIGPLAN chair. I don't know about that, but from what
I understand from speaking to an EC member, the issue has not yet been
discussed among the SIGPLAN EC.)
Derek
More information about the Types-list
mailing list