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

[Eijiro Sumii]

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, 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://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, 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,
> > 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.
> > >
> >