[TYPES] Could we temporarily stop having conferences in the US?

[Ningning Xie]

Thank you all for this lively discussion. It's clear this is a shared
concern among many of us. With Alex' message, it seems some
coordination has been taken at the SIGPLAN level, and perhaps more
discussion with the SIGPLAN EC will be useful.

As the moderator, to manage the volume and quality of posts, I will
now hold any further posts on this topic unless significant new
arguments emerge. I encourage people to continue the conversation on
the Types Zulip channel: https://urldefense.com/v3/__https://typ.zulipchat.com__;!!IBzWLUs!Q-igGSCLrjkeEX-f04rxFWfiakMHr56eybFaRl6tRxgGdi98z3WHfKITYt8wuE_lOQpAM0KQjoPLHMLrnSrd11d-u8E7aQ$ 

Thanks for your contributions to making TYPES a welcoming and helpful
community.

Best,
Ningning

On Wed, 24 Sept 2025 at 21:39, Alex Potanin <Alex.Potanin at anu.edu.au> wrote:

> [ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list 
> ]
>
> Just to point out again that this coordination is already done at SIGPLAN
> level - ask your respective SC chair - they should know better when picking
> a location. 😊
>
> For the four from the spreadsheet we all have access to as respective SC
> chairs:
>
> 2026 (which was arranged in 2023): 3x US and 1x EU
> 2027: 1x US, 1x EU, 1x non-US, 1x TBC (may be EU)
> 2028: 2x non-US (one Canada) 2x TBC
> 2029: 1x EU 3x TBC
>
> Does this help?
>
> Cheers,
> Alex.
>
> From: Types-list <types-list-bounces at LISTS.SEAS.UPENN.EDU> on behalf of
> Wouter Swierstra <w.s.swierstra at uu.nl>
> Date: Thursday, 25 September 2025 at 7:09 am
> To: types-list at LISTS.SEAS.UPENN.EDU <types-list at LISTS.SEAS.UPENN.EDU>
> Subject: Re: [TYPES] Could we temporarily stop having conferences in the
> US?
>
> [ The Types Forum,
> https://urldefense.com/v3/__https://aus01.safelinks.protection.outlook.com/?url=http*3A*2F*2Flists.seas.upenn.edu*2Fmailman*2Flistinfo*2Ftypes-list&data=05*7C02*7Calex.potanin*40anu.edu.au*7C1277279e09264b93abdf08ddfa9dae9f*7Ce37d725cab5c46249ae5f0533e486437*7C0*7C0*7C638943449673336673*7CUnknown*7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ*3D*3D*7C0*7C*7C*7C&sdata=8sR0ElNkZVLgmo51WIi*2FS6CC7Dzo8RLZaxr1ZCQIIpg*3D&reserved=0__;JSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUl!!IBzWLUs!XDCeILA2XovcodMOMT6P-k_rzQ4p3scP1zmUL1KKbKke5McdUjafdPRWh2AUjMVL8I-ksMJ-tbxsdAVKBeCWo2A_3lrP9aGHDRx6$
> <http://lists.seas.upenn.edu/mailman/listinfo/types-list  > ]
>
>
> For what it's worth, we had a discussion about this on the ICFP Steering
> Committee. Many people share the concerns raised in this thread. There was
> no clear majority for avoiding conferences in the US -- largely due to the
> reasons Julia mentions.
>
> Looking ahead, one idea might be to align the location of the different
> PACM PL conferences better -- for instance, ensuring that there is at least
> one conference in the US and Europe each year. Allowing presentations
> across different conferences (presenting a POPL paper at PLDI or visa
> versa), would make it easier for researchers to present their work at venue
> they can attend. This does require a bit of co-ordination at the SIGPLAN
> level - and it is not yet clear to me how much support there is for such an
> initiative.
>
>   Wouter
>
>