From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9802 Path: news.gmane.org!.POSTED!not-for-mail From: "Docherty, Simon" Newsgroups: gmane.comp.science.concurrency,gmane.science.mathematics.discrete,gmane.comp.science.types.announce,gmane.science.mathematics.prooftheory,gmane.science.mathematics.categories Subject: 3 Year Postdoctoral Position in Logic, Automated Reasoning and Coalgebra, London (United Kingdom) Date: Mon, 14 Jan 2019 16:00:51 +0000 Message-ID: NNTP-Posting-Host: ciao.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 X-Trace: ciao.gmane.org 1547990367 17089 195.159.176.228 (20 Jan 2019 13:19:27 GMT) X-Complaints-To: usenet@ciao.gmane.org NNTP-Posting-Date: Sun, 20 Jan 2019 13:19:27 +0000 (UTC) Cc: "fom-+I05ep9qJbk3uPMLIKxrzw@public.gmane.org" , "dmanet-G033eQCYXkkRtNtAH2Wc8g@public.gmane.org" , "frogs-nJFXYWEDAR8wZN84zEGlPg@public.gmane.org" , "PROCOS-fDUS8cNZx2jrfANEuwkQdg@public.gmane.org" , "types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org" , "prooftheory-nJFXYWEDAR8wZN84zEGlPg@public.gmane.org" , "categories-59hdLBrVOVU@public.gmane.org" , "concurrency-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org" To: "logic-o02PS0xoJP/q4qjOmvqfQQ@public.gmane.org" Original-X-From: concurrency-bounces-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org Sun Jan 20 14:19:24 2019 Return-path: Envelope-to: gcsc-concurrency@m.gmane.org Original-Received: from out66-ams.mf.surf.net ([145.0.1.66]) by ciao.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1glD0V-0004Qp-Rn for gcsc-concurrency@m.gmane.org; Sun, 20 Jan 2019 14:19:23 +0100 Original-Received: from xedge3.campus.tue.nl (xedge3.campus.tue.nl [131.155.6.118]) by outgoing3-ams.mf.surf.net (8.14.4/8.14.4/Debian-4+deb7u1) with ESMTP id x0KDGI0d002170 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Sun, 20 Jan 2019 14:18:25 +0100 Original-Received: from pegasus.tue.nl (131.155.2.34) by xedge3.campus.tue.nl (131.155.6.118) with Microsoft SMTP Server id 14.3.408.0; Sun, 20 Jan 2019 14:17:19 +0100 Original-Received: from pegasus.tue.nl (localhost [127.0.0.1]) by pegasus.tue.nl (Postfix) with ESMTP id 42CCE8047A; Sun, 20 Jan 2019 14:17:35 +0100 (CET) Original-Received: from smtp.tue.nl (xserver30b.campus.tue.nl [131.155.6.121]) by pegasus.tue.nl (Postfix) with ESMTPS id 1C4E78047A for ; Mon, 14 Jan 2019 17:01:07 +0100 (CET) Original-Received: from smtp.tue.nl (131.155.6.119) by xserver30b.campus.tue.nl (131.155.6.98) with Microsoft SMTP Server (TLS) id 14.3.408.0; Mon, 14 Jan 2019 17:00:54 +0100 Original-Received: from filter3-til.mf.surf.net (194.171.167.219) by xedge4.campus.tue.nl (131.155.6.119) with Microsoft SMTP Server (TLS) id 14.3.408.0; Mon, 14 Jan 2019 17:00:53 +0100 Original-Received: from EUR02-AM5-obe.outbound.protection.outlook.com (mail-eopbgr00098.outbound.protection.outlook.com [40.107.0.98]) by filter3-til.mf.surf.net (8.14.4/8.14.4/Debian-8+deb8u2) with ESMTP id x0EG0qAA004777 (version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES256-SHA384 bits=256 verify=NOT) for ; Mon, 14 Jan 2019 17:00:53 +0100 Original-Received: from AM0PR0102MB3281.eurprd01.prod.exchangelabs.com (52.133.44.22) by AM0PR0102MB3042.eurprd01.prod.exchangelabs.com (52.133.43.11) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.1516.13; Mon, 14 Jan 2019 16:00:51 +0000 Original-Received: from AM0PR0102MB3281.eurprd01.prod.exchangelabs.com ([fe80::5c07:1e11:6b04:db5b]) by AM0PR0102MB3281.eurprd01.prod.exchangelabs.com ([fe80::5c07:1e11:6b04:db5b%3]) with mapi id 15.20.1516.019; Mon, 14 Jan 2019 16:00:51 +0000 Thread-Topic: 3 Year Postdoctoral Position in Logic, Automated Reasoning and Coalgebra, London (United Kingdom) Thread-Index: AQHUrCGSFOQVZDeVlUOMBQc8Gb3+OQ== Accept-Language: en-GB, en-US Content-Language: en-GB X-MS-Has-Attach: X-MS-TNEF-Correlator: authentication-results: spf=none (sender IP is ) smtp.mailfrom=simon.docherty-hclig2XLE9Zaa/9Udqfwiw@public.gmane.org; x-originating-ip: [128.16.67.249] x-ms-publictraffictype: Email x-microsoft-exchange-diagnostics: 1; AM0PR0102MB3042; 6:UEQHl/zoxP3DuF8KiMoZ+WaInfZxJdJan5xtFLbL1CyGT7XIXwbpZUYRuEzv73G9q3v0dY87REAAr1vpgF2MW1hJ4/QaMRD3edHoA/bsfwz2fGc0x/UcUwygDbak9VjXHjoLTp/rzn2yHOCfM2Sz/aSfCQApZQfc43E5MAjEFiJHH2fHNIyhdRSpDYk3iv1hBaJ6a5kdv4FjhSyMdagxqnSLpc51ApzO/RO5H/K+NxyrVr8d7V0xnKrtciMBCfYMT3guvcDE4hCDGEAELyrypPL4Ljk5UYynAqDTb97AxtW/8GDH5+Sm0GrVr8Wt1eEDt5F2PAGZx9d+8khe1gkZISUsFNBSFgfQYfvDlmblK/hujIURkzF6PWoO/SCvr9aY4D8oDAIhmPUCZWN91h74dktihxGdK1Hqt2K9Wd8maivhODk3eextcRIS+aX93psrp0tLSQPNu7nVUxZMdVGb/A==; 5:apohYGaB6wLeRPPw9bKlBPLohJQNnwKSac+FqQ97lFdcZ30w11XD0o1ApVAB7G9IFf/kCCqpibu/uVeF1D/zj+sQUUBwmx/voDjgvPoFPICw9E63dtZRSgAIi0511+UjrkvwIXljXciT8dnV4OiBxznqW622+iHtBTmWbD4oDo0zSu/8os45YezhaclGB9QLfR73WkqV0+V2t8yh9DFJzQ==; 7:I9XRjGBeF1pN6vP4NtTQsiFIvAUU0FGAU5k1gkLBf1Cgl9VuRXWs/I2G3PAG1I7tcewH/1PCcmkD8AMeXnm2EavZ4nTpgU4b+uOR6Q62P/R/ytM/MG4ATmkUWV+BzB1to9kSD0UjXuEWwt2z7 x-ms-exchange-antispam-srfa-diagnostics: SOS; x-ms-office365-filtering-correlation-id: 0bb11483-b6a2-4680-e759-08d67a39750f x-microsoft-antispam: BCL:0; PCL:0; RULEID:(2390118)(7020095)(4652040)(8989299)(4534185)(4627221)(201703031133081)(201702281549075)(8990200)(5600109)(711020)(2017052603328)(7153060)(7193020); SRVR:AM0PR0102MB3042; x-ms-traffictypediagnostic: AM0PR0102MB3042: x-microsoft-antispam-prvs: x-forefront-prvs: 0917DFAC67 x-forefront-antispam-report: SFV:NSPM; SFS:(10019020)(376002)(346002)(136003)(39860400002)(396003)(366004)(199004)(189003)(7696005)(786003)(316002)(296002)(2351001)(7736002)(4326008)(5660300001)(74482002)(71190400001)(81166006)(966005)(413944005)(71200400001)(81156014)(9686003)(102836004)(86362001)(25786009)(1730700003)(6506007)(68736007)(6436002)(4743002)(105586002)(106356001)(54906003)(6306002)(74316002)(8936002)(5024004)(14444005)(5640700003)(256004)(14454004)(6916009)(2501003)(55016002)(66066001)(99286004)(53936002)(26005)(3846002)(486006)(8676002)(478600001)(33656002)(186003)(6116002)(2906002)(476003)(305945005)(97736004); DIR:OUT; SFP:1102; SCL:1; SRVR:AM0PR0102MB3042; H:AM0PR0102MB3281.eurprd01.prod.exchangelabs.com; FPR:; SPF:None; LANG:en; PTR:InfoNoRecords; A:1; MX:1; Received-SPF: None (xedge3.campus.tue.nl: concurrency-bounces-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org does not designate permitted sender hosts) Received-SPF: None (xedge4.campus.tue.nl: simon.docherty-hclig2XLE9Zaa/9Udqfwiw@public.gmane.org does not designate permitted sender hosts) received-spf: none (filter3-til.mf.surf.net: domain of simon.docherty-hclig2XLE9Zaa/9Udqfwiw@public.gmane.org does not designate permitted sender hosts) receiver=filter3-til.mf.surf.net; client-ip=40.107.0.98; envelope-from=; helo=EUR02-AM5-obe.outbound.protection.outlook.com; identity=mailfrom x-ms-exchange-senderadcheck: 1 x-microsoft-antispam-message-info: JqRr5uzlMP6otOBW3MUKL4aGG2bgKmTznWzHxOGGH8AWpv54KIP3TlSV4YlCOM2i6c4X5AzFweSncTG5Ggg+ie4AxoYEvDksKWGDSW52155VN9bplC0EQVAWCGGL1yxURBL/0I741bUYTJz63EjD2FF27DforaxDrRp383jeGGwMwwG+5xIrv/n95s2Uki9p7rYgt/JZZeq0oiRqF84OBF6DaEBA+5H3+lRG9m+U2KtSAykrCAx/hR39mo8TJ5Y5niVCpvAtTGa9oZHHZkHYxHovjhipOCSgLllXRuOaMU0K41h8/5cneZgtxYBq8BfAX/J4+Ya21q94oyehD82mlSa7VrZxWKldnGcb7gDd+Czs6fJ1/xrNvHpUXLTHMXbZqCFDptnLVGo4If/HenYf3z1yRIpbGY5fbxiY88hAvp0= spamdiagnosticoutput: 1:99 spamdiagnosticmetadata: NSPM X-MS-Exchange-CrossTenant-Network-Message-Id: 0bb11483-b6a2-4680-e759-08d67a39750f X-MS-Exchange-CrossTenant-originalarrivaltime: 14 Jan 2019 16:00:51.4267 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 1faf88fe-a998-4c5b-93c9-210a11d9a5c2 X-MS-Exchange-Transport-CrossTenantHeadersStamped: AM0PR0102MB3042 X-Bayes-Prob: 0.0001 (Score 0, tokens from: concurrency-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org, Tue-rules, tue:default, base:default, @@RPTN) X-Spam-Score: undef - concurrency-bounces-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org is allowed always. X-CanIt-Geo: ip=131.155.6.118; country=NL; latitude=52.3824; longitude=4.8995; http://maps.google.com/maps?q=52.3824,4.8995&z=6 X-CanItPRO-Stream: tue-out:default (inherits from tue:default,base:default) X-Canit-Stats-ID: 0bXqBipXR - 4dff0b9b1dd3 - 20190120 X-Scanned-By: CanIt (www . roaringpenguin . com) X-Scanned-By: CanIt (www . roaringpenguin . com) on 194.171.167.219 X-Mailman-Approved-At: Sun, 20 Jan 2019 14:17:34 +0100 X-BeenThere: concurrency-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org X-Mailman-Version: 2.1.26 Precedence: list List-Id: Concurrency mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , Errors-To: concurrency-bounces-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org Original-Sender: Concurrency Xref: news.gmane.org gmane.comp.science.concurrency:5695 gmane.science.mathematics.discrete:13021 gmane.comp.science.types.announce:8097 gmane.science.mathematics.prooftheory:1606 gmane.science.mathematics.categories:9802 RGVhciBjb2xsZWFndWVzLAoKV2UgY3VycmVudGx5wqBoYXZlIGEgdmFjYW5jeSBmb3IgYSAxIHll YXIgKHdpdGggdGhlIHBvc3NpYmlsaXR5IG9mIGV4dGVuc2lvbiB0byAzIHllYXJzKSBwb3N0ZG9j dG9yYWwgcG9zaXRpb24gaW4gVUNM4oCZcyBQcm9ncmFtbWluZyBQcmluY2lwbGVzLCBMb2dpYyBh bmQgVmVyaWZpY2F0aW9uIHJlc2VhcmNoIGdyb3VwLiBJdCBpc8KgYXR0YWNoZWQgdG8gdGhlIEVQ U1JDLWZ1bmRlZCBwcm9qZWN0IFJlTGlDOiBBIENvYWxnZWJyYWljIEZyYW1ld29yayBmb3IgUmVk dWN0aXZlIExvZ2ljIGFuZCBQcm9vZiBTZWFyY2guCgpodHRwczovL2dvdy5lcHNyYy51a3JpLm9y Zy9OR0JPVmlld0dyYW50LmFzcHg/R3JhbnRSZWY9RVAvUzAxMzAwOC8xCgpUaGUgc3VjY2Vzc2Z1 bCBjYW5kaWRhdGUgd2lsbCBiZSB3b3JraW5nIHdpdGggUEkgUHJvZi7CoERhdmlkIFB5bSBhbmQg Y28taW52ZXN0aWdhdG9yc8KgUHJvZi7CoEFsZXhhbmRyYSBTaWx2YSBhbmQgRHIuwqBTaW1vbiBE b2NoZXJ0eSBvbiBjb2FsZ2VicmFpYyBhbmQgY2F0ZWdvcnkgdGhlb3JldGljIGFwcHJvYWNoZXMg dG8gdGhlIHRoZW9yeSBvZiBwcm9vZiBzZWFyY2gsIGZvY3VzaW5nIG9uIHRoZSByZXByZXNlbnRh dGlvbiBvZiBib3RowqBzZWFyY2ggc3BhY2VzIGFuZCB0aGUgYWxnb3JpdGhtaWMgY29udHJvbCBw cm9jZXNzZXMgdXNlZCB0byBuYXZpZ2F0ZSB0aGVtLiBUaGUgaWRlYWwgY2FuZGlkYXRlIHdpbGwg YWRkaXRpb25hbGx5IGhhdmXCoGF1dG9tYXRlZCByZWFzb25pbmcgYW5kIGltcGxlbWVudGF0aW9u IGV4cGVydGlzZSwgd2l0aCBhIHZpZXcgdG8gaW1wbGVtZW50IHByb3RvdHlwZSB0aGVvcmVtIHBy b3ZlcnMgYmFzZWQgb24gdGhlIGdlbmVyaWMgdGhlb3J5IG9mIHJlZHVjdGl2ZSBsb2dpYy4KClRo ZSBvZmZpY2lhbCBqb2IgYWR2ZXJ0aXNlbWVudCBjYW4gYmUgZm91bmQgYXQgdGhlIGZvbGxvd2lu ZyBsaW5rCgpodHRwczovL3d3dy5qb2JzLmFjLnVrL2pvYi9CUEY3NjIvcmVzZWFyY2gtZmVsbG93 LWluLXByb2dyYW1taW5nLXByaW5jaXBsZXMtbG9naWMtYW5kLXZlcmlmaWNhdGlvbgoKd2l0aCBh IGNsb3NpbmcgZGF0ZSBvZiBGZWJydWFyeSA3dGggKGFsdGhvdWdoIHRoaXMgaXMgbGlrZWx5IHRv IGJlIGV4dGVuZGVkKS4KCnRoYW5rIHlvdSwKU2ltb24gRG9jaGVydHkKX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KQ29uY3VycmVuY3kgbWFpbGluZyBsaXN0 CkNvbmN1cnJlbmN5QGxpc3RzZXJ2ZXIudHVlLm5sCmh0dHBzOi8vbGlzdHNlcnZlci50dWUubmwv bWFpbG1hbi9saXN0aW5mby9jb25jdXJyZW5jeQo=