Re: [TYPES] R: ETAPS bars Russian researchers from attending

2022-03-09 Thread Xuanrui Qi
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] I think this thread has mostly come to an end, but please let me add my five cents. I agree with Julia on most points. A blanket ban on Russian academics participating in conferences would definitely not help to reduce

Re: [TYPES] R: ETAPS bars Russian researchers from attending

2022-03-09 Thread Martin Lester
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] Hi all. Several posters have drawn parallels with other boycotts in the past, academic or otherwise. Sporting boycotts have some similarities. The following philosophy article analyses some arguments for and against

Re: [TYPES] R: ETAPS bars Russian researchers from attending

2022-03-09 Thread Nicolai Kraus
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] Dear Sergiy, like everyone who has posted on this list, I am absolutely horrified by what is happening in Ukraine, and it is hard for me to even begin to imagine what you are going through. I believe we agree that

Re: [TYPES] R: ETAPS bars Russian researchers from attending

2022-03-09 Thread Sergiy Bogomolov
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] > In a previous email you said Russian scientists "... did not participate at > ETAPS en > masse anyway". Can you explain how excluding them from ETAPS will have any > impact on the Russian population (considering also

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] R: ETAPS bars Russian researchers from attending

2022-03-09 Thread Fritz Henglein
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] We may very well be in a situation analogous to the Fall of 1939 in Germany: The outbreak of an eventually humongous war, initiated then by an invasion of Poland, now of Ukraine where Ukraine is quite overtly not the

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] R: ETAPS bars Russian researchers from attending

2022-03-09 Thread Max New
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] ETAPS has rescinded this policy as of today. The statement on the website is as follows now: The ETAPS association strongly condemns the war against Ukraine launched by President Putin. It is an intolerable breach of

Re: [TYPES] R: ETAPS bars Russian researchers from attending

2022-03-09 Thread Sergiy Bogomolov
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] > Banning scientists from ETAPS won't do anything to bring the end of war a > step closer. > Banning Netflix, McDonalds, Visa, Mastercard, etc., etc., from Russia, and > ceasing to purchase fossil fuels from Russia

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] R: ETAPS bars Russian researchers from attending

2022-03-09 Thread Julia Belyakova
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] Just FYI about rectors' letters: most Russian universities are state universities, and in many of them, rectors are literally government appointees, not elected by the university body. There were various independent

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] R: ETAPS bars Russian researchers from attending

2022-03-09 Thread Sergiy Bogomolov
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] Let me start by saying that I strongly support the ETAPS decision to ban the participation of Russian affiliated scientists at the conference. The rationale is the as follows: * The ongoing war in Ukraine is at least

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] R: ETAPS bars Russian researchers from attending

2022-03-09 Thread Alejandro Díaz-Caro
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] Dear Marino, dear all, El mié, 9 mar. 2022 05:05, Marino Miculan escribió: > > Of course, I am sure that there are many colleagues there against the > invasion. But then, we have to distinguish between the

Re: [TYPES] R: ETAPS bars Russian researchers from attending

2022-03-09 Thread Julin S
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] I feel that it's very wrong and will lead to serious adverse consequences on the whole scientific community if individuals ostracized based on their country. Let's not contribute to the fragmentation the academic

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] Types-list Digest, Vol 140, Issue 1

2022-03-09 Thread Ana Sokolova
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] I also find this utterly wrong, and we (a group of computer scientists working in Austria + collaborators) already started an initiative to change this. I am still waiting for news from the person who is talking to the

[TYPES] R: ETAPS bars Russian researchers from attending

2022-03-09 Thread Marino Miculan
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] I agree with Sergey. Maybe some of you have missed the following post from the Russian Rectors' union, fully supporting the invasion of Ukraine. Signed by 185 rectors - I guess, all Russian universities (correct me if