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

Tue Sep 23 02:18:35 EDT 2025

Hello,

Of note, the below option is very costly so not an obvious solution. This can be done only on the assumption that the remote presenters pay the same fee as the in person attendees. :-)

Otherwise the coordination and planning costs will simply not add up. Any suggestions on this matter are welcome. 😊 Hybrid is very hard to do well - we tried!

Cheers,
Alex.

From: Types-list <types-list-bounces at LISTS.SEAS.UPENN.EDU> on behalf of Eijiro Sumii <eijiro.sumii at gmail.com>
Date: Tuesday, 23 September 2025 at 4:15 pm
To: Types list <types-list at lists.seas.upenn.edu>
Subject: Re: [TYPES] Could we temporarily stop having conferences in the US?

[You don't often get email from eijiro.sumii at gmail.com. Learn why this is important at https://urldefense.com/v3/__https://aka.ms/LearnAboutSenderIdentification__;!!IBzWLUs!XMnM1c4gHvCp_8WZpGBbUmFEgFZD6ot3ai4SfvNDaYE29oGSMVU8Wcu71WKCuPcOwwNn71JbhfAjREM_HqtqRzfw7GfvL41YkPwR$  ]

[ 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*7C487ed40469064e90d94c08ddf9ec9598*7Ce37d725cab5c46249ae5f0533e486437*7C0*7C0*7C638942049205734124*7CUnknown*7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ*3D*3D*7C60000*7C*7C*7C&sdata=Gy*2BiHU6VDHBN*2FPfZMjp1dLCiB3wjx2FUwuu1UI9W1*2B8*3D&reserved=0__;JSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSU!!IBzWLUs!XMnM1c4gHvCp_8WZpGBbUmFEgFZD6ot3ai4SfvNDaYE29oGSMVU8Wcu71WKCuPcOwwNn71JbhfAjREM_HqtqRzfw7GfvL3kLlDYc$ <http://lists.seas.upenn.edu/mailman/listinfo/types-list > ]

Dear all,

It seems very reasonable at least to allow online participations and
presentations again, even for additional reasons such as inclusion and
global warming as well.

        Eijiro

On Mon, Sep 22, 2025 at 11:28 AM Julia Belyakova <julbinb at gmail.com> wrote:
>
> [ 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*7C487ed40469064e90d94c08ddf9ec9598*7Ce37d725cab5c46249ae5f0533e486437*7C0*7C0*7C638942049205759886*7CUnknown*7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ*3D*3D*7C60000*7C*7C*7C&sdata=BE1PxbyNoWjdaw2v405ZNg2*2F67ULJXj9roWCR2PELyA*3D&reserved=0__;JSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUl!!IBzWLUs!XMnM1c4gHvCp_8WZpGBbUmFEgFZD6ot3ai4SfvNDaYE29oGSMVU8Wcu71WKCuPcOwwNn71JbhfAjREM_HqtqRzfw7GfvLxGKHnfN$ <http://lists.seas.upenn.edu/mailman/listinfo/types-list >  ]
>
> I understand this position but just want to remind that there are many
> international students and professionals in the community who are stuck
> inside the US and cannot cross the border, even to go Canada.
>
> I, for one, have been stuck in the US since 2020.
>
> --
> Kind regards, Julia
> https://urldefense.com/v3/__https://aus01.safelinks.protection.outlook.com/?url=https*3A*2F*2Furldefense.com*2Fv3*2F__https*3A*2F*2Fjulbinb.github.io*2F__*3B!!IBzWLUs!TfBUtD_nmbfX5ZmcwHn6-hprCjYuw0m6jQKG3zxT9VpD_jSNC57Ua_XL_RgdUD6itNi4cmDMLg05SpdRqFxif0wnE7c*24&data=05*7C02*7Calex.potanin*40anu.edu.au*7C487ed40469064e90d94c08ddf9ec9598*7Ce37d725cab5c46249ae5f0533e486437*7C0*7C0*7C638942049205775421*7CUnknown*7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ*3D*3D*7C60000*7C*7C*7C&sdata=KrBjH*2BiDTK6bjml3mCy9Y6XJtQ3InGXJsQIX5hR2R0c*3D&reserved=0__;JSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSU!!IBzWLUs!XMnM1c4gHvCp_8WZpGBbUmFEgFZD6ot3ai4SfvNDaYE29oGSMVU8Wcu71WKCuPcOwwNn71JbhfAjREM_HqtqRzfw7GfvL4oH8Zky$ <https://urldefense.com/v3/__https://julbinb.github.io/__;!!IBzWLUs!TfBUtD_nmbfX5ZmcwHn6-hprCjYuw0m6jQKG3zxT9VpD_jSNC57Ua_XL_RgdUD6itNi4cmDMLg05SpdRqFxif0wnE7c$>
>
> On Fri, Sep 19, 2025, 10:28 AM Beta Ziliani <beta.ziliani at gmail.com> wrote:
>
> > [ 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*7C487ed40469064e90d94c08ddf9ec9598*7Ce37d725cab5c46249ae5f0533e486437*7C0*7C0*7C638942049205789900*7CUnknown*7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ*3D*3D*7C60000*7C*7C*7C&sdata=*2BpcVD7ZIsieV9uZ*2BjOHCJ4sErLJVnhPuqFt6jfAMEvA*3D&reserved=0__;JSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJQ!!IBzWLUs!XMnM1c4gHvCp_8WZpGBbUmFEgFZD6ot3ai4SfvNDaYE29oGSMVU8Wcu71WKCuPcOwwNn71JbhfAjREM_HqtqRzfw7GfvL2vJjmPl$ <http://lists.seas.upenn.edu/mailman/listinfo/types-list >
> > ]
> >
> > I second this position strongly. Thanks Gabriel for bringing this up!
> >
> > To anyone reconsidering locations, do have in mind that poorly connected
> > places in North America will likely need a jump from the US, so that's also
> > a no-go.
> >
> > On Fri, Sep 19, 2025 at 11:11 AM Gabriel Scherer <
> > gabriel.scherer at gmail.com>
> > wrote:
> >
> > > [ 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*7C487ed40469064e90d94c08ddf9ec9598*7Ce37d725cab5c46249ae5f0533e486437*7C0*7C0*7C638942049205804460*7CUnknown*7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ*3D*3D*7C60000*7C*7C*7C&sdata=ER2naRCB96E*2BN8Mp5lO13ULnsJHKOATlLbouVP*2B9BUs*3D&reserved=0__;JSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJQ!!IBzWLUs!XMnM1c4gHvCp_8WZpGBbUmFEgFZD6ot3ai4SfvNDaYE29oGSMVU8Wcu71WKCuPcOwwNn71JbhfAjREM_HqtqRzfw7GfvLyGBE99p$ <http://lists.seas.upenn.edu/mailman/listinfo/types-list >
> > > ]
> > >
> > > Dear types-list,
> > >
> > > I'm sure many people are anxious about the political situation in the US
> > > right now, and I wish them best.
> > >
> > > Could we temporarily stop organizing conferences in the US?
> > >
> > > It is pretty clear that the US are not a safe place for universities
> > right
> > > now, and also unpalatable-to-unsafe for people (especially foreigners)
> > > working in universities. The situation is also volatile and evolving
> > > rapidly from bad to worse. Surely it would be unreasonable to commit now
> > to
> > > organize a large conference in the US next year, right? Well, PLDI 2026
> > is
> > > planning to be located in Boulder, Colorado. Could the PLDI people maybe
> > > reconsider? (If being in the Americas is important, maybe Canada?)
> > >
> > > Note: I'm aware there is no good choice of where to hold conferences,
> > every
> > > choice has downsides. (For example Europe is bad for people working in
> > > various non-western countries due to very stringent requirements.) But
> > the
> > > US seems especially bad right now.
> > >
> >