Re: [TYPES] ETAPS bars Russian researchers from attending

2022-03-11 Thread Gabriel Scherer
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] Dear list, types-list moderator here: I have received a request to close this thread for further discussion, for the reason that continued discussions can cause pain to some of our colleagues. I have not made any

Re: [TYPES] ETAPS bars Russian researchers from attending

2022-03-09 Thread Jon Sterling
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] To other members of the TYPES list, I would like to bring to your attention that I have learned that this has been subject to an editorial style of moderation, so there may be people whose points of view have not been

Re: [TYPES] ETAPS bars Russian researchers from attending

2022-03-09 Thread Talia Ringer
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] Yes, there was an academic boycott on South Africa. And the general consensus in retrospect by scholars of South Africa is that it accomplished nothing beyond sanctions except for "sending a message," and again at the

Re: [TYPES] ETAPS bars Russian researchers from attending

2022-03-09 Thread Jonathan Aldrich
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] It appears that ETAPS has taken down this policy, along with a related statement that was formerly on the Programme page: "By virtue of participating at ETAPS'22, each participating scientist explicitly condemns the war

Re: [TYPES] ETAPS bars Russian researchers from attending

2022-03-09 Thread Gabriel Scherer
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] I find this decision by ETAPS shocking. I was considering attending ETAPS 2022, and I will not go. I view scientific research as a universal pursuit of knowledge in the benefit of humankind. We are funded by nations,

Re: [TYPES] ETAPS bars Russian researchers from attending

2022-03-09 Thread Gabriel Scherer
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] I looked for more sources on the examples of Ricardo and Phil. - The 2013 NASA event is described in the following press articles:

Re: [TYPES] ETAPS bars Russian researchers from attending

2022-03-09 Thread Philip Wadler
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] To add to Ricardo's examples, during Apartheid, there was an academic boycott of South Africa as part of a larger cultural boycott, similar to the cultural boycott of Russia we see beginning today. This included not

Re: [TYPES] ETAPS bars Russian researchers from attending

2022-03-09 Thread Ricardo Medel
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] German scientists were banned from conferences after the First World War. Chinese scientists (even those working/studying at the USA) were banned from attending a NASA conference in 2013. El mar., 8 de marzo de 2022

Re: [TYPES] ETAPS bars Russian researchers from attending

2022-03-08 Thread Gabriel Scherer
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] Do people know of any precedent of a conference forbidding people working in a certain country to attend? (Of course, on a regular basis we hold conferences in countries that make it difficult for some of our colleagues

Re: [TYPES] ETAPS bars Russian researchers from attending

2022-03-08 Thread Donaldson, Alastair F
Krishnaswami Cc: types-list@lists.seas.upenn.edu Subject: Re: [TYPES] ETAPS bars Russian researchers from attending [ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] I agree this is a bad move. Ever since JetBrains' statement against the Russian invasion of Ukraine, I've been

Re: [TYPES] ETAPS bars Russian researchers from attending

2022-03-08 Thread Sergey Goncharov
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] Dear Neel, There are many Russians (such as Jetbrains corporation) who have taken the serious personal risk of publically opposing the war, and barring them from our conferences due to their nationality feels wrong

Re: [TYPES] ETAPS bars Russian researchers from attending

2022-03-08 Thread Jon Sterling
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] Neel, thank you for bringing this to the community's attention. I think this is terrible --- and it shows the way that certain European conference organizers divide up imperialist wars of aggression and colonization

Re: [TYPES] ETAPS bars Russian researchers from attending

2022-03-08 Thread Ralf Jung
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] Dear all, I fully agree with you, Neel. The Russian regime started this war, not these researchers. This is the kind of sanction that will primarily hit the wrong people. If financial sanctions make it harder for

Re: [TYPES] ETAPS bars Russian researchers from attending

2022-03-08 Thread Talia Ringer
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] I agree this is a bad move. Ever since JetBrains' statement against the Russian invasion of Ukraine, I've been proud to continue to collaborate with them. Furthermore, discrimination based on national origin is against

[TYPES] ETAPS bars Russian researchers from attending

2022-03-08 Thread Neel Krishnaswami
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] The ETAPS website (https://urldefense.com/v3/__https://www.etaps.org__;!!IBzWLUs!HUevd2N5Ms-2WYC1sMdH93ef4xxRy4BjZ9KD0I8SPwLGGpv-Rk7u_Emgl9qMMyLGK4ex90o0Cm0$ ) has the following text on its front page: The ETAPS