From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10697 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Anupam das Newsgroups: gmane.science.mathematics.fom,gmane.science.mathematics.categories,gmane.science.mathematics.discrete,gmane.science.mathematics.prooftheory Subject: Permanent positions at University of Birmingham Date: Mon, 21 Mar 2022 10:50:05 +0000 Message-ID: <8ae898fafca70049f51c84932960ed2774ecdcb0.camel@bham.ac.uk> Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="40003"; mail-complaints-to="usenet@ciao.gmane.io" To: "categories-59hdLBrVOVU@public.gmane.org" , "dmanet-G033eQCYXkkRtNtAH2Wc8g@public.gmane.org" , "finite-model-theory-JyGdfDITRCtaq5fyzuukUWfrygkm6VTR@public.gmane.org" , "fom-+I05ep9qJbk3uPMLIKxrzw@public.gmane.org" , "ProofTheory-nJFXYWEDAR8wZN84zEGlPg@public.gmane.org" , "types-announce-owner-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org" , "gdr-im-JHSeY3WhOOtQFI55V6+gNQ@public.gmane.org" , "Proof-Complexity-+0VSyhQgw7rtwjQa/ONI9g@public.gmane.org" Original-X-From: fom-bounces-+I05ep9qJbk3uPMLIKxrzw@public.gmane.org Mon Mar 21 18:21:02 2022 Return-path: Envelope-to: gsmf-fom-2@m.gmane-mx.org Original-Received: from mx.cims.nyu.edu ([216.165.22.131]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1nWLiI-000AEI-61 for gsmf-fom-2@m.gmane-mx.org; Mon, 21 Mar 2022 18:21:02 +0100 Original-Received: from mailman.cims.nyu.edu (mailman.cims.nyu.edu [216.165.22.125]) by mx.cims.nyu.edu (8.14.7/8.14.7) with ESMTP id 22LHKIiW003612; Mon, 21 Mar 2022 13:20:23 -0400 DKIM-Filter: OpenDKIM Filter v2.11.0 mx.cims.nyu.edu 22LHKIiW003612 Original-Received: from mailman.cims.nyu.edu (localhost.localdomain [127.0.0.1]) by mailman.cims.nyu.edu (Postfix) with ESMTP id F32EC44697CD; Mon, 21 Mar 2022 13:20:10 -0400 (EDT) Original-Received: from mx.cims.nyu.edu (mx.cims.nyu.edu [216.165.22.131]) by mailman.cims.nyu.edu (Postfix) with ESMTP id 4D8B441BE0CB for ; Mon, 21 Mar 2022 06:50:12 -0400 (EDT) Original-Received: from mx0b-00256a01.pphosted.com (mx0b-00256a01.pphosted.com [67.231.153.242]) by mx.cims.nyu.edu (8.14.7/8.14.7) with ESMTP id 22LAoBcB003193 (version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT) for ; Mon, 21 Mar 2022 06:50:12 -0400 Original-Received: from pps.filterd (m0119692.ppops.net [127.0.0.1]) by mx0b-00256a01.pphosted.com (8.16.1.2/8.16.1.2) with ESMTP id 22L5aiNY003342 for ; Mon, 21 Mar 2022 06:50:11 -0400 Authentication-Results: ppops.net; spf=none smtp.mailfrom=A.Das-mHdZ94l+r7K1Qrn1Bg8BZw@public.gmane.org; dmarc=none Original-Received: from sun60.bham.ac.uk (sun60.bham.ac.uk [147.188.128.137]) by mx0b-00256a01.pphosted.com (PPS) with ESMTPS id 3exkc5jkkk-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT) for ; Mon, 21 Mar 2022 06:50:11 -0400 Original-Received: from [147.188.128.127] (helo=bham.ac.uk) by sun60.bham.ac.uk with esmtps (TLS1.2) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.94.2) (envelope-from ) id 1nWFby-0007H5-O9; Mon, 21 Mar 2022 10:50:06 +0000 Original-Received: from em1.bham.ac.uk ([147.188.216.201] helo=ITS-P-EX16-01.adf.bham.ac.uk) by bham.ac.uk (envelope-from ) with esmtp (Exim 4.94.2) id 1nWFby-0005yb-E9 using interface smart1.bham.ac.uk; Mon, 21 Mar 2022 10:50:06 +0000 Original-Received: from ITS-P-EX16-01.adf.bham.ac.uk (147.188.216.201) by ITS-P-EX16-01.adf.bham.ac.uk (147.188.216.201) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2375.24; Mon, 21 Mar 2022 10:50:06 +0000 Original-Received: from ITS-P-EX16-01.adf.bham.ac.uk ([147.188.216.201]) by ITS-P-EX16-01.adf.bham.ac.uk ([147.188.216.201]) with mapi id 15.01.2375.024; Mon, 21 Mar 2022 10:50:06 +0000 Thread-Topic: Permanent positions at University of Birmingham Thread-Index: AQHYPRFsUG6ew9CTd0eAJqdWw1Cw/g== Accept-Language: en-GB, en-US Content-Language: en-US x-originating-ip: [94.175.93.130] Content-ID: X-BHAM-SendViaRouter: yes X-CLX-Response: 1TFkXGBofEQpMehcZGhEKWUQXbUwTWmhnZGZuR1IRClhYF2x9WGFSbBt8fV9 DEQp4ThdgRnIfbXp6bk4ZWBEKeUwXYUtgS2ZJbHpremQRCkNIFwcbHhsRCkNZFwcYEx8RCkNJFx oEGhoaEQpZTRdnZnIRCllJFxpxGhAadwYbEh9xGx4aEBp3BhgaBhoRClleF2hueREKSUYXRE9dU 0VYQV91QkVZXk9OEQpDThdlYmtCclhCGn5mT0dLUhpMW18aWF1+ZU5MQFNoW1kceREKWFwXHwQa BBgfGgUbGgQbGxoEHQQbGRgQGx4aHxoRCl5ZF3BITFABEQpNXBcHHBkRCkxaF2hpTU1rEQpCTxd tXHhATHpIXWIeRxEKQ1oXGx4dBBsSEgQbGBIEGxkdEQpCXhcbEQpEXhcbHBEKQkUXa28BRWhrTH JcaFIRCkJOF2BGch9tenpuThlYEQpCTBdsfVhhUmwbfH1fQxEKQmwXZXkdG2hzfn9gG1ARCkJAF 25sHBx8S3oaHwVZEQpCWBdrc3lEE3BEQE1ISREKTV4XGxEKWlgXHhEKeUMXZEt7bhp/HGhkaR0R CllLFxwdHBoRCnBoF2AbUkRZYBtrZExbEBkaEQpwaBdjQVxHTEt6bEFLfBAZGhEKcGgXYRwcBVJ cS2RoBUkQGRoRCnBoF2UTa09uS119TEFcEBkaEQpwaBdmQBgZZH0bcAFiHRAZGhEKcGgXaRJnbx xfZlxAbVsQGRoRCnBoF2F7c1tDXVpcQRNFEBkaEQpwaBdpQH5Mb0Z/fHluZxAZGhEKcH0XaH5NT EJzaEhHa14QGRoRCnB9F2BPE0FhTURHckQBEBkaEQpwfRdhTUgYX X-Proofpoint-GUID: OHAhXrh0TLemax0fqu0rwTOdfjyBqs6S X-Proofpoint-ORIG-GUID: OHAhXrh0TLemax0fqu0rwTOdfjyBqs6S X-CLX-Shades: MLX X-Orig-IP: 147.188.128.137 X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.205,Aquarius:18.0.850,Hydra:6.0.425,FMLib:17.11.64.514 definitions=2022-03-21_04,2022-03-21_01,2022-02-23_01 X-Proofpoint-Spam-Details: rule=inbound_notspam policy=inbound score=0 impostorscore=0 malwarescore=0 priorityscore=30 clxscore=205 adultscore=0 suspectscore=0 lowpriorityscore=0 spamscore=0 phishscore=0 mlxscore=0 mlxlogscore=745 bulkscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2202240000 definitions=main-2203210070 domainage_hfrom=6760 X-Greylist: Sender passed SPF test, not delayed by milter-greylist-4.6.2 (mx.cims.nyu.edu [216.165.22.131]); Mon, 21 Mar 2022 13:20:23 -0400 (EDT) X-Greylist: inspected by milter-greylist-4.6.2 (mx.cims.nyu.edu [216.165.22.131]); Mon, 21 Mar 2022 06:50:12 -0400 (EDT) for IP:'67.231.153.242' DOMAIN:'mx0b-00256a01.pphosted.com' HELO:'mx0b-00256a01.pphosted.com' FROM:'A.Das-mHdZ94l+r7K1Qrn1Bg8BZw@public.gmane.org' RCPT:'' X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.6.2 (mx.cims.nyu.edu [216.165.22.131]); Mon, 21 Mar 2022 06:50:12 -0400 (EDT) X-Mailman-Approved-At: Mon, 21 Mar 2022 13:20:09 -0400 X-BeenThere: fom-+I05ep9qJbk3uPMLIKxrzw@public.gmane.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: Foundations of Mathematics List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: fom-bounces-+I05ep9qJbk3uPMLIKxrzw@public.gmane.org Original-Sender: "FOM" X-Scanned-By: MIMEDefang 2.86 on 216.165.22.131 Xref: news.gmane.io gmane.science.mathematics.fom:13050 gmane.science.mathematics.categories:10697 gmane.science.mathematics.discrete:16246 gmane.science.mathematics.prooftheory:1679 Archived-At: RGVhciBjb2xsZWFndWVzLA0KDQpUaGUgVW5pdmVyc2l0eSBvZiBCaXJtaW5naGFtIGlzIHNlZWtp bmcgdG8gbWFrZSBzZXZlcmFsIHRlbnVyZWQNCmFwcG9pbnRtZW50cyBhdCB0aGUgbW9tZW50Og0K DQoqIEFzc2lzdGFudCBvciBBc3NvY2lhdGUgUHJvZmVzc29yIChkZWFkbGluZSAzDQpBcHJpbCku wqBodHRwczovL2JoYW0udGFsZW8ubmV0L2NhcmVlcnNlY3Rpb24vZXh0ZXJuYWwvam9iZGV0YWls LmZ0bD9qb2I9MjIwMDAwRTMmdHo9R01UJTJCMDAlM0EwMCZ0em5hbWU9RXVyb3BlJTJGTG9uZG9u DQoqIFByb2Zlc3NvciAoZGVhZGxpbmUgMjUNCk1hcmNoKS7CoGh0dHBzOi8vYmhhbS50YWxlby5u ZXQvY2FyZWVyc2VjdGlvbi9leHRlcm5hbC9qb2JkZXRhaWwuZnRsP2pvYj0yMjAwMDBHNCZ0ej1H TVQlMkIwMCUzQTAwJnR6bmFtZT1FdXJvcGUlMkZMb25kb24NCg0KVGhlc2UgcG9zdHMgYXJlIG5v dCBhc3NvY2lhdGVkIHRvIGFueSBwYXJ0aWN1bGFyIHJlc2VhcmNoIGFyZWEsIGJ1dCB0aGUNClNj aG9vbCBoYXMgYW4gb3V0c3RhbmRpbmcgdHJhZGl0aW9uIGluIFRoZW9yZXRpY2FsIENvbXB1dGVy IFNjaWVuY2U6DQoNCmh0dHBzOi8vd3d3LmJpcm1pbmdoYW0uYWMudWsvcmVzZWFyY2gvYWN0aXZp dHkvY29tcHV0ZXItc2NpZW5jZS90aGVvcnktb2YtY29tcHV0YXRpb24vaW5kZXguYXNweA0KDQpJ ZiB5b3UgYXJlIGludGVyZXN0ZWQgaW4gYXBwbHlpbmcgcGxlYXNlIGZlZWwgZnJlZSB0byBjb250 YWN0IG9uZSBvZiB1cw0KZm9yIGluZm9ybWFsIGRpc2N1c3Npb25zOg0KDQpodHRwczovL3d3dy5i aXJtaW5naGFtLmFjLnVrL3Jlc2VhcmNoL2FjdGl2aXR5L2NvbXB1dGVyLXNjaWVuY2UvdGhlb3J5 LW9mLWNvbXB1dGF0aW9uL3Blb3BsZS5hc3B4DQoNCkJlc3QsDQpBbnVwYW0NCg0K