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

2022-03-11 Thread Ross Horne
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] There are too many different views on parallel conflicts, so I'm sticking to Russia-Ukraine and conferences such as ETAPS. Although the policy has been updated, there are still things to do: 1. On Russians academics:

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

2022-03-11 Thread Xuanrui Qi
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] Or Israel. Not only that no one has ever called on prohibiting Israeli scientists from participating in conferences (fortunately), but conferences have also been held in Israel, which is a poor call and unacceptable to

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

2022-03-10 Thread Apostolos Syropoulos
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] Hi people, I would like to make a comment that is closely related to this ongoing discussion. Turkey is another country that has invaded a third country, namely Cyprus, but I haven't noticed a similar sensitivity

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

2022-03-10 Thread Talia Ringer
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] Thanks, Alex. Reading that prompted me to reach out to my programming languages friends in Russia and check on them. Indeed a number have fled the country already, and are currently out of work, and have family stuck in

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

2022-03-09 Thread Xuanrui Qi
rohibit their participation in > > international > > conferences. > > > > In other words, I see the step of ETAPS organisers -- similar to > > banning Netflix, etc. -- as yet another tool to target a particular > > demographic, which the West should deploy to stop

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
TAPS organisers -- similar to > > banning Netflix, etc. -- as yet another tool to target a particular > > demographic, which the West should deploy to stop the war. > > > > I hope this makes sense. > > > > Thanks, Sergiy > > > > > >> > >&

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

2022-03-09 Thread Fritz Henglein
war. > > I hope this makes sense. > > Thanks, Sergiy > > > > > > Cheers > > > > Ally > > > > ____________ > > From: Types-list on behalf of > Sergiy Bogomolov > > Sent: 09 March 2022 10:43 > > To: types > > Subject: Re:

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

2022-03-09 Thread Max New
to stop the war. > > I hope this makes sense. > > Thanks, Sergiy > > > > > > Cheers > > > > Ally > > > > ________________ > > From: Types-list on behalf of > Sergiy Bogomolov > > Sent: 09 March 2022 10:43 > >

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

2022-03-09 Thread Sergiy Bogomolov
___ > From: Types-list on behalf of > Sergiy Bogomolov > Sent: 09 March 2022 10:43 > To: types > Subject: Re: [TYPES] R: ETAPS bars Russian researchers from attending > > [ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] > > Let me start b

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] 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] 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

[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