From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10743 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Anupam das Newsgroups: gmane.science.mathematics.fom,gmane.comp.science.types.announce,gmane.science.mathematics.categories,gmane.science.mathematics.prooftheory Subject: Postdoc in Proof Theory - University of Birmingham, UK Date: Thu, 12 May 2022 16:31:47 +0000 Message-ID: <2e3027de-99c4-248f-b70b-bf988b619665@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="38594"; mail-complaints-to="usenet@ciao.gmane.io" To: "[LOGIC] Mailing List" , "Foundations of Mathematics" , proof-complexity , "types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org" , categories , "gdr-im-JHSeY3WhOOtQFI55V6+gNQ@public.gmane.org" , "ProofTheory-nJFXYWEDAR8wZN84zEGlPg@public.gmane.org" Original-X-From: fom-bounces-+I05ep9qJbk3uPMLIKxrzw@public.gmane.org Fri May 13 02:26:19 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 1npJ8N-0009v5-9x for gsmf-fom-2@m.gmane-mx.org; Fri, 13 May 2022 02:26:19 +0200 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 24D0P6T0031876; Thu, 12 May 2022 20:25:45 -0400 DKIM-Filter: OpenDKIM Filter v2.11.0 mx.cims.nyu.edu 24D0P6T0031876 Original-Received: from mailman.cims.nyu.edu (localhost.localdomain [127.0.0.1]) by mailman.cims.nyu.edu (Postfix) with ESMTP id 738914085F07; Thu, 12 May 2022 20:24:58 -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 E12CA4246CBF for ; Thu, 12 May 2022 12:31:52 -0400 (EDT) Original-Received: from mx0b-00256a01.pphosted.com (mx0a-00256a01.pphosted.com [148.163.150.240]) by mx.cims.nyu.edu (8.14.7/8.14.7) with ESMTP id 24CGVpBf023377 (version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT) for ; Thu, 12 May 2022 12:31:52 -0400 Original-Received: from pps.filterd (m0142701.ppops.net [127.0.0.1]) by mx0b-00256a01.pphosted.com (8.17.1.5/8.17.1.5) with ESMTP id 24CEgLFB020065 for ; Thu, 12 May 2022 12:31:51 -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 3g0varamb4-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT) for ; Thu, 12 May 2022 12:31:50 -0400 Original-Received: from [147.188.128.54] (helo=mailer3) 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 1npBj9-0007xA-P8; Thu, 12 May 2022 17:31:47 +0100 Original-Received: from em2.bham.ac.uk ([147.188.216.202] helo=ITS-P-EX16-02.adf.bham.ac.uk) by bham.ac.uk (envelope-from ) with esmtp (Exim 4.94.2) id 1npBj9-0003a2-F9 using interface smart2.bham.ac.uk; Thu, 12 May 2022 17:31:47 +0100 Original-Received: from ITS-P-EX16-01.adf.bham.ac.uk (147.188.216.201) by ITS-P-EX16-02.adf.bham.ac.uk (147.188.216.202) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_CBC_SHA256) id 15.1.2375.24; Thu, 12 May 2022 17:31:47 +0100 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; Thu, 12 May 2022 17:31:47 +0100 Thread-Topic: Postdoc in Proof Theory - University of Birmingham, UK Thread-Index: AQHYZh3GHJo4EaIsN0qqRiRMEUdOqw== Accept-Language: en-GB, en-US Content-Language: en-GB x-originating-ip: [147.188.200.70] Content-ID: <77FAE3B6ACF0B14AB891F0F656D27AA7-mwBJjDQM6ufQzY9nttDBhA@public.gmane.org> X-BHAM-SendViaRouter: yes X-CLX-Shades: MLX X-CLX-Response: 1TFkXGxIaEQpMehcZGhEKWUQXbUwTWmhnZGZuR1IRClhYF2x9WGFSbBt8fV9 DEQp4ThdgRnIfbXp6bk4ZWBEKeUwXYUtgS2ZJbHpremQRCkNIFwcYGxMRCkNZFwcYHhoRCkNJFx oEGhoaEQpZTRdnZnIRCllJFxpxGhAadwYbHBpxGRMQGncGGBoGGhEKWV4XaG55EQpJRhdET11TR VhBX3VCRVleT04RCkNOF0IeZGNGYF1lHXp9YkBeUhJDB0Rhel58RR4eaWBfYUMbEQpYXBcfBBoE GB8fBRsaBBsaGgQdBBseHhAbHhofGhEKXlkXcFleWXkRCk1cFxwYEQpMWhdoaWhNaxEKQk8XbVx 4QEx6SF1iHkcRCkNaFxseHQQbEhIEGxgSBBsZHREKQl4XGxEKRF4XGxoRCkJFF2tvAUVoa0xyXG hSEQpCThdgRnIfbXp6bk4ZWBEKQkwXbH1YYVJsG3x9X0MRCkJsF2V5HRtoc35/YBtQEQpCQBdub 0lnWx9iQUxBYxEKQlgXa3N5RBNwREBNSEkRCk1eFxsRClpYFxkRCnlDF2d+bBNOUmRYeUFuEQpZ SxccEhsYEQpwZxdtaENyRFt4ZWluBRAZGhEKcGgXZVMaX0saXnlnUkkQGRoRCnBoF2dCHh9Hclg SWV8TEBkaEQpwaBdnaEV5WxJsGF8fSxAZGhEKcGgXZkdiW0hrY30bT2EQGRoRCnBoF2V5UENMSR NGfUVLEBkaEQpwaBdkRGB8YkITE39pHhAZGhEKcGgXaXlIX1sTRBJYSx4QGRoRCnBoF2tAZXtuc kV4YnxGEBkaEQpwfRdjXxtibWx7cx8ZXBAZGhEKcH0XbmNkGlxOQ X-Proofpoint-GUID: h4NIlJwO7PWHjtx8i-nKPtVo44CJuKi1 X-Proofpoint-ORIG-GUID: h4NIlJwO7PWHjtx8i-nKPtVo44CJuKi1 X-Orig-IP: 147.188.128.137 X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.205,Aquarius:18.0.858,Hydra:6.0.486,FMLib:17.11.64.514 definitions=2022-05-12_13,2022-05-12_01,2022-02-23_01 X-Proofpoint-Spam-Details: rule=inbound_notspam policy=inbound score=0 spamscore=0 impostorscore=0 phishscore=0 mlxscore=0 priorityscore=30 mlxlogscore=764 malwarescore=0 bulkscore=0 adultscore=0 suspectscore=0 lowpriorityscore=0 clxscore=180 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2202240000 definitions=main-2205120078 domainage_hfrom=6812 X-Greylist: Sender passed SPF test, not delayed by milter-greylist-4.6.2 (mx.cims.nyu.edu [216.165.22.131]); Thu, 12 May 2022 20:25:45 -0400 (EDT) X-Greylist: inspected by milter-greylist-4.6.2 (mx.cims.nyu.edu [216.165.22.131]); Thu, 12 May 2022 12:31:52 -0400 (EDT) for IP:'148.163.150.240' DOMAIN:'mx0a-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]); Thu, 12 May 2022 12:31:52 -0400 (EDT) X-Mailman-Approved-At: Thu, 12 May 2022 20:24:55 -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:13108 gmane.comp.science.types.announce:10321 gmane.science.mathematics.categories:10743 gmane.science.mathematics.prooftheory:1682 Archived-At: UmVzZWFyY2ggRmVsbG93IGluIFByb29mIFRoZW9yeSAtIFVuaXZlcnNpdHkgb2YgQmlybWluZ2hh bSwgVUsuDQoNClRoZSBTY2hvb2wgb2YgQ29tcHV0ZXIgU2NpZW5jZSBhdCB0aGUgVW5pdmVyc2l0 eSBvZiBCaXJtaW5naGFtIGlzIA0Kc2Vla2luZyB0byBhcHBvaW50IGEgUmVzZWFyY2ggRmVsbG93 IChwb3N0ZG9jKSBpbiBQcm9vZiBUaGVvcnksIHRvIGJlIA0KZW1wbG95ZWQgdW50aWwgKGF0IGxl YXN0KSB0aGUgZW5kIG9mIEFwcmlsIDIwMjQuIFRoZSBUaGVvcnkgZ3JvdXAgYXQgdGhlIA0KVW5p dmVyc2l0eSBvZiBCaXJtaW5naGFtIGlzIG9uZSBvZiB0aGUgbGVhZGluZyBncm91cHMgaW4gbG9n aWNhbCANCmZvdW5kYXRpb25zIG9mIGNvbXB1dGVyIHNjaWVuY2UsIHdpdGggZXhwZXJ0aXNlIG5v dCBvbmx5IGluIFByb29mIFRoZW9yeSANCmJ1dCBhbHNvIHJlbGF0ZWQgYXJlYXMgc3VjaCBhcyBU eXBlIFRoZW9yeSwgQ2F0ZWdvcnkgVGhlb3J5IGFuZCANCk1hdGhlbWF0aWNhbCBMb2dpYzoNCg0K PGh0dHBzOi8vd3d3LmNzLmJoYW0uYWMudWsvcmVzZWFyY2gvZ3JvdXBpbmdzL3RoZW9yeS8+DQoN ClRoaXMgcG9zaXRpb24gaXMgZnVuZGVkIGJ5IGEgVUtSSSBGdXR1cmUgTGVhZGVycyBGZWxsb3dz aGlwICJTdHJJUDogDQpTdHJ1Y3R1cmUgdnMgSW52YXJpYW50cyBpbiBQcm9vZnMiLCBsZWQgYnkg RHIgQW51cGFtIERhcy4gVGhlIHByb2plY3QgDQphaW1zIHRvIGRldmVsb3AgdGhlIHRoZW9yeSBv ZiAnY3ljbGljIHByb29mcycgYW5kIHRoZWlyIGNvbm5lY3Rpb25zIHRvIA0KYXV0b21hdGEgdGhl b3J5LCBwcm9ncmFtbWluZyBsYW5ndWFnZXMsIGFuZCBzdHJ1Y3R1cmFsIHByb29mIHRoZW9yeS4g VGhlIA0KcHJpbmNpcGFsIHJlc3BvbnNpYmlsaXR5IG9mIHRoZSBmZWxsb3cgd2lsbCBiZSB0byBj b25kdWN0IHJlc2VhcmNoLCBib3RoIA0KY29sbGFib3JhdGl2ZWx5IHdpdGggRHIgRGFzIGFuZCBv dGhlciByZXNlYXJjaGVycyBhdCBCaXJtaW5naGFtLCBhbmQgDQppbmRlcGVuZGVudGx5LiBUaGUg ZmVsbG93IHdpbGwgYWxzbyBiZSBzdXBwb3J0ZWQgaW4gY2FyZWVyIGRldmVsb3BtZW50IA0KYW5k IGVuY291cmFnZWQgdG8gcHVyc3VlIGluZGVwZW5kZW50IG9wcG9ydHVuaXRpZXMuDQoNCg0KUXVh bGlmaWNhdGlvbnMgYW5kIGV4cGVydGlzZQ0KDQpZb3Ugd2lsbCBoYXZlIChvciBiZSBjbG9zZSB0 byBjb21wbGV0aW5nKSBhIFBoRCBpbiBsb2dpYyAoY29tcHV0ZXIgDQpzY2llbmNlLCBtYXRoZW1h dGljcyBvciBwaGlsb3NvcGh5KSwgb3IgZXF1aXZhbGVudCBxdWFsaWZpY2F0aW9ucy4gWW91IA0K d2lsbCBoYXZlIGFuIGV4Y2VsbGVudCByZXNlYXJjaCByZWNvcmQsIHdpdGggZXhwZXJ0aXNlIGlu IHNvbWUgb2YgdGhlIA0KZm9sbG93aW5nIGFyZWFzOg0KDQoqIFByb29mIHRoZW9yeSAoaW4gcGFy dGljdWxhciwgZGVlcCBpbmZlcmVuY2UsIGN5Y2xpYyBwcm9vZnMsIGFuZC9vciANCmNvbXB1dGF0 aW9uYWwgaW50ZXJwcmV0YXRpb25zKS4NCiogQXV0b21hdGEgdGhlb3J5IChpbiBwYXJ0aWN1bGFy LCBpbmZpbml0ZSB3b3JkIGFuZCB0cmVlIGF1dG9tYXRhKS4NCiogTWF0aGVtYXRpY2FsIGxvZ2lj IChpbiBwYXJ0aWN1bGFyLCBmcmFnbWVudHMgb2YgYXJpdGhtZXRpYyBvciBzZXQgDQp0aGVvcnkp Lg0KDQoNCkFwcGxpY2F0aW9uDQoNCkluZm9ybWFsIGlucXVpcmllcyBwcmlvciB0byBhcHBsaWNh dGlvbiBhcmUgZW5jb3VyYWdlZCBhbmQgc2hvdWxkIGJlIA0KZGlyZWN0ZWQgdG8gRHIgQW51cGFt IERhcyA8YS5kYXNAYmhhbS5hYy51az4uIFlvdSBtYXkgZmluZCBmdXJ0aGVyIA0KZGV0YWlscyBv biB0aGUgcG9zaXRpb24gYW5kIGluc3RydWN0aW9ucyBmb3IgYXBwbHlpbmcgaGVyZToNCg0KPGh0 dHBzOi8vd3d3LmpvYnMuYWMudWsvam9iL0NQUDI3NC9wb3N0ZG9jdG9yYWwtcmVzZWFyY2gtZmVs bG93LWluLXByb29mLXRoZW9yeT4gDQoNCg0KDQpQcmFjdGljYWwgaW5mb3JtYXRpb24NCg0KU3Rh cnRpbmcgc2FsYXJ5IHJhbmdlOiDCozMxLDQwNiAtIMKjNDAsOTI3IChwb3RlbnRpYWxseSBwcm9n cmVzc2luZyB0bw0KwqM0Myw0MzQpLg0KQXBwbGljYXRpb24gZGVhZGxpbmU6IDI5IE1heSAyMDIy Lg0KU3RhcnRpbmcgZGF0ZTogaWRlYWxseSBTZXB0ZW1iZXIgMjAyMi4NCkR1cmF0aW9uOiB1bnRp bCAzMCBBcHJpbCAyMDI0Lg0KDQo=