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