From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9821 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Paul B Levy Newsgroups: gmane.comp.science.concurrency,gmane.science.mathematics.categories Subject: Midlands Graduate School 2019 in the Foundations of Computing Science Date: Fri, 1 Feb 2019 11:32:19 +0000 Message-ID: <495e2344-b2df-8251-2ccf-2ae6b035d536@cs.bham.ac.uk> References: Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="113265"; mail-complaints-to="usenet@blaine.gmane.org" User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.3.0 To: "categories-59hdLBrVOVU@public.gmane.org" , , , , , , Original-X-From: concurrency-bounces-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org Sun Feb 03 18:12:21 2019 Return-path: Envelope-to: gcsc-concurrency@m.gmane.org Original-Received: from out22-ams.mf.surf.net ([145.0.1.22]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.89) (envelope-from ) id 1gqLJd-000TMV-HV for gcsc-concurrency@m.gmane.org; Sun, 03 Feb 2019 18:12:21 +0100 Original-Received: from xedge4.campus.tue.nl (xedge4.campus.tue.nl [131.155.6.119]) by outgoing1-ams.mf.surf.net (8.14.4/8.14.4/Debian-4+deb7u1) with ESMTP id x13HB4Yk030370 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES128-GCM-SHA256 bits=128 verify=NOT); Sun, 3 Feb 2019 18:11:22 +0100 Original-Received: from pegasus.tue.nl (131.155.2.34) by xedge4.campus.tue.nl (131.155.6.119) with Microsoft SMTP Server id 14.3.408.0; Sun, 3 Feb 2019 18:09:57 +0100 Original-Received: from pegasus.tue.nl (localhost [127.0.0.1]) by pegasus.tue.nl (Postfix) with ESMTP id 420F480561; Sun, 3 Feb 2019 18:09:58 +0100 (CET) Original-Received: from smtp.tue.nl (xserver31b.campus.tue.nl [131.155.6.124]) by pegasus.tue.nl (Postfix) with ESMTPS id B7509801C9 for ; Fri, 1 Feb 2019 12:32:38 +0100 (CET) Original-Received: from smtp.tue.nl (131.155.6.118) by xserver31b.campus.tue.nl (131.155.6.101) with Microsoft SMTP Server (TLS) id 14.3.408.0; Fri, 1 Feb 2019 12:32:36 +0100 Original-Received: from filter4-utr.mf.surf.net (195.169.124.155) by xedge3.campus.tue.nl (131.155.6.118) with Microsoft SMTP Server (TLS) id 14.3.408.0; Fri, 1 Feb 2019 12:32:26 +0100 Original-Received: from sun60.bham.ac.uk (sun60.bham.ac.uk [147.188.128.137]) by filter4-utr.mf.surf.net (8.14.4/8.14.4/Debian-8+deb8u2) with ESMTP id x11BWOjF032900 (version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT) for ; Fri, 1 Feb 2019 12:32:25 +0100 Original-Received: from [147.188.128.127] (helo=bham.ac.uk) by sun60.bham.ac.uk with esmtps (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (Exim 4.90_1) (envelope-from ) id 1gpX3Y-0007lc-Mx; Fri, 01 Feb 2019 11:32:24 +0000 Original-Received: from mx1.cs.bham.ac.uk ([147.188.192.53]) by bham.ac.uk (envelope-from ) with esmtp (Exim 4.90_1) id 1gpX3Y-0003GN-Cv using interface smart1.bham.ac.uk; Fri, 01 Feb 2019 11:32:24 +0000 Original-Received: from cca-163825.cs.bham.ac.uk ([147.188.193.215]) by mx1.cs.bham.ac.uk with esmtp (Exim 4.91) (envelope-from ) id 1gpX4K-000489-Ks; Fri, 01 Feb 2019 11:33:12 +0000 Openpgp: preference=signencrypt Autocrypt: addr=P.B.Levy-dxBOTFGcEFw2EctHIo1CcQ@public.gmane.org; prefer-encrypt=mutual; keydata= mQINBFVVuUsBEACbKzL8K318oTA3liyaBdQdyXhEhj8UqsnadX5r8G6xPlQy/X9hC3c8pCcj FSYOKPnvATefi2GoyQwn0EXwxPB0onceD/zMUmtlD7tCAUQFcj9qFuWOCuuJiXtScdeNIqVz X4kyqkTsnda98COm4zZGTVVQv9/gDe+mwCuliSu5BDZMMK4Nf20+O3WhKJYFtiV5bPUyL1WB z52TyaQh9MWktCoFccMM/o3pN70cGNbhVJyg/Pfx+W2DSxXCQOFnzPB7hEFc1vM50kjEcy2e TxZnHpr1dzUTfSDAjtJhfkVs12M6mpOY8eYoRxx2LrINc9q8vPdX2jv2gcX+ZS4njGFYyjHr JBSrt3gghdSQqet1KH7+J3GWxEh/EF7xJlcp5X3IiCBPzC+BYs+wltScsT1kdSAg+tXaVG6J 4+WdE/jV7LBH20sz/UQB3aG0ngObQ7BMcTECRRO2BjgKeQAatkzcPubpTph94wvuRYYFe7WN HGRKeF5Lmw/35YH3+u6J8ivWd17plPJB2wfUHq7cSEomJGFNmrdCv9pvPoluEDBvHRJUai9s d36xVFfiNssUXUfOcwB6yT9sXmltosIIGiDZCIiaD6oeTovec1ObpAObQil2LFr2WWg3AGvW NUhNDKGSdKnxjag8NNN5ZHz97rJdId4SwWMomGTUMel33o4oeQARAQABtCRQYXVsIEIgTGV2 eSA8UC5CLkxldnlAY3MuYmhhbS5hYy51az6JAj0EEwECACgFAlVVuUsCGyMFCQlmAYAGCwkI BwMCBhUIAgkKC X-Forwarded-Message-Id: In-Reply-To: Content-Language: en-GB X-BHAM-SendViaRouter: yes X-Bayes-Prob: 0.0001 (Score 0, tokens from: concurrency-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org, Tue-rules, tue:default, base:default, @@RPTN) X-CanIt-Geo: ip=131.155.6.119; 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: 0uXwhbmQ6 - f1280ae4e428 - 20190203 X-Antispam-Training-Forget: https://www.mf.surf.net/canit/b.php?c=f&i=0uXwhbmQ6&m=f1280ae4e428&rlm=tue-out&t=20190203 X-Antispam-Training-Nonspam: https://www.mf.surf.net/canit/b.php?c=n&i=0uXwhbmQ6&m=f1280ae4e428&rlm=tue-out&t=20190203 X-Antispam-Training-Phish: https://www.mf.surf.net/canit/b.php?c=p&i=0uXwhbmQ6&m=f1280ae4e428&rlm=tue-out&t=20190203 X-Antispam-Training-Spam: https://www.mf.surf.net/canit/b.php?c=s&i=0uXwhbmQ6&m=f1280ae4e428&rlm=tue-out&t=20190203 Received-SPF: None (xedge4.campus.tue.nl: concurrency-bounces-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org does not designate permitted sender hosts) Received-SPF: None (xedge3.campus.tue.nl: P.B.Levy-dxBOTFGcEFw2EctHIo1CcQ@public.gmane.org does not designate permitted sender hosts) Received-SPF: none (filter4-utr.mf.surf.net: domain of P.B.Levy-dxBOTFGcEFw2EctHIo1CcQ@public.gmane.org does not designate permitted sender hosts) receiver=filter4-utr.mf.surf.net; client-ip=147.188.128.137; envelope-from=; helo=sun60.bham.ac.uk; identity=mailfrom X-Scanned-By: CanIt (www . roaringpenguin . com) X-Scanned-By: CanIt (www . roaringpenguin . com) on 195.169.124.155 X-Mailman-Approved-At: Sun, 03 Feb 2019 18:09:57 +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:5722 gmane.science.mathematics.categories:9821 Archived-At: CgpNaWRsYW5kcyBHcmFkdWF0ZSBTY2hvb2wgMjAxOQoKMTQtMTggQXByaWwgMjAxOSwgQmlybWlu Z2hhbSwgVUsKCmh0dHA6Ly9ldmVudHMuY3MuYmhhbS5hYy51ay9tZ3MyMDE5LwoKQkFDS0dST1VO RDoKClRoZSBNaWRsYW5kcyBHcmFkdWF0ZSBTY2hvb2wgKE1HUykgaW4gdGhlIEZvdW5kYXRpb25z IG9mCkNvbXB1dGluZyBTY2llbmNlIHByb3ZpZGVzIGFuIGludGVuc2l2ZSBjb3Vyc2Ugb2YgbGVj dHVyZXMKb24gdGhlIG1hdGhlbWF0aWNhbCBmb3VuZGF0aW9ucyBvZiBjb21wdXRpbmcuIFRoZSBN R1MgaGFzCmJlZW4gcnVubmluZyBzaW5jZSAxOTk5LCBhbmQgaXMgYWltZWQgYXQgUGhEIHN0dWRl bnRzIGluCnRoZWlyIGZpcnN0IG9yIHNlY29uZCB5ZWFyIG9mIHN0dWR5LCBidXQgdGhlIHNjaG9v bCBpcyBvcGVuCnRvIGV2ZXJ5b25lLCBhbmQgaGFzIGluY3JlYXNpbmdseSBzZWVuIHBhcnRpY2lw YXRpb24gZnJvbQppbmR1c3RyeS4gV2Ugd2VsY29tZSBwYXJ0aWNpcGFudHMgZnJvbSBhbGwgb3Zl ciB0aGUgd29ybGQhCgpDT1VSU0VTOgoKRWlnaHQgY291cnNlcyB3aWxsIGJlIGdpdmVuLiBQYXJ0 aWNpcGFudHMgdXN1YWxseSB0YWtlIGFsbAp0aGUgaW50cm9kdWN0b3J5IGNvdXJzZXMgYW5kIGNo b29zZSBhZGRpdGlvbmFsIG9wdGlvbnMgZnJvbQp0aGUgYWR2YW5jZWQgY291cnNlcyBkZXBlbmRp bmcgb24gdGhlaXIgaW50ZXJlc3RzLgoKSW52aXRlZCBjb3Vyc2UKCi0gQWR2ZW50dXJlcyBpbiBQ cm9wZXJ0eSBCYXNlZCBUZXN0aW5nLCBKb2huIEh1Z2hlcwoKSW50cm9kdWN0b3J5IGNvdXJzZXMK Ci0gTGFtYmRhIENhbGN1bHVzLCBWZW5hbnppbyBDYXByZXR0YQotIENhdGVnb3J5IFRoZW9yeSwg VGhvcnN0ZW4gQWx0ZW5raXJjaAotIFVuaXZhbGVudCBUeXBlIFRoZW9yeSBpbiBBZ2RhLCBNYXJ0 w61uIEVzY2FyZMOzCgpBZHZhbmNlZCBjb3Vyc2VzCgotIENhbGN1bGF0aW5nIHByb2dyYW1zLCBK ZW5uaWZlciBIYWNrZXR0Ci0gVHlwZSBSZWZpbmVtZW50IFN5c3RlbXMsIE5vYW0gWmVpbGJlcmdl cgotIFN5bnRoZXNpcyBvZiBSZWFjdGl2ZSBTeXN0ZW1zLCBSYXluYSBEaW1pdHJvdmEKLSBNb25v aWRhbCBDYXRlZ29yaWVzLCBIaWdoZXIgQ2F0ZWdvcmllcywgSmFtaWUgVmljYXJ5CgpSRUdJU1RS QVRJT046CgpSZWdpc3RyYXRpb24gaXMgwqMyMjAgZm9yIHN0dWRlbnQsIGFjYWRlbWljIGFuZCBp bmRlcGVuZGVudApwYXJ0aWNpcGFudHMsIGFuZCDCozQyMCBmb3IgaW5kdXN0cnkgcGFydGljaXBh bnRzLiBBY2NvbW1vZGF0aW9uCmlzIG5vdCBpbmNsdWRlZDsgcGxlYXNlIHNlZSB0aGUgY29uZmVy ZW5jZSB3ZWJwYWdlIGZvciBhZHZpY2UuCgpUaGUgcmVnaXN0cmF0aW9uIGRlYWRsaW5lIGlzICoq IFN1bmRheSwgMzEgTWFyY2ggKiouIFNwYWNlcwphcmUgbGltaXRlZCwgc28gcGxlYXNlIHJlZ2lz dGVyIGVhcmx5IHRvIHNlY3VyZSB5b3VyIHBsYWNlLgoKU1BPTlNPUlNISVA6CgpXZSBvZmZlciBh IHJhbmdlIG9mIHNwb25zb3JzaGlwIG9wcG9ydHVuaXRpZXMgZm9yIGluZHVzdHJ5Cihicm9uemUs IHNpbHZlciwgZ29sZCBhbmQgcGxhdGludW0pLCBlYWNoIHdpdGggc3BlY2lmaWMKYmVuZWZpdHMu ICBQbGVhc2Ugc2VlIHRoZSB3ZWJzaXRlIGZvciBmdXJ0aGVyIGRldGFpbHMuCl9fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fCkNvbmN1cnJlbmN5IG1haWxpbmcg bGlzdApDb25jdXJyZW5jeUBsaXN0c2VydmVyLnR1ZS5ubApodHRwczovL2xpc3RzZXJ2ZXIudHVl Lm5sL21haWxtYW4vbGlzdGluZm8vY29uY3VycmVuY3kK