From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10386 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Martin Escardo Newsgroups: gmane.science.mathematics.categories Subject: Leicester Foundations of Computer Science crisis- petition Date: Wed, 3 Feb 2021 13:54:05 +0000 Message-ID: Reply-To: Martin Escardo Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: 7bit Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="5816"; mail-complaints-to="usenet@ciao.gmane.io" To: "categories@mta.ca" Original-X-From: majordomo@rr.mta.ca Thu Feb 04 20:35:02 2021 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.75]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1l7kP7-0001KP-Nr for gsmc-categories@m.gmane-mx.org; Thu, 04 Feb 2021 20:35:01 +0100 Original-Received: from rr.mta.ca ([198.164.44.159]:42730) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1l7kMK-00076q-MW; Thu, 04 Feb 2021 15:32:08 -0400 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1l7kJl-0007YS-QL for categories-list@rr.mta.ca; Thu, 04 Feb 2021 15:29:29 -0400 Content-Language: en-US Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10386 Archived-At: It turns out that the Foundations of Computer Science group is also in peril. The plan is to join the CS and Maths departments, and get rid of all computer scientists and mathematicians whose work is not in data science or AI. Please also sign this petition: https://www.ipetitions.com/petition/foco-is-not-redundant/ On 29/01/2021 19:58, simona.paoli@virgilio.it wrote: > There is a threat to pure mathematics research at Leicester and a petition here > https://www.ipetitions.com/petition/mathematics-is-not-redundant > which I encourage you to sign. > > The proposals represent an attack on pure mathematics research in general and a > specific threat to the category theory research represented at Leicester and to the LMS funded Yorkshire and Midlands Category Theory network which has its main node at Leicester. Best wishes, Martin [For admin and other information see: http://www.mta.ca/~cat-dist/ ]