From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8497 Path: news.gmane.org!not-for-mail From: Paul B Levy Newsgroups: gmane.comp.science.concurrency,gmane.comp.science.types.announce,gmane.science.mathematics.categories Subject: PhD opportunities in the Computer Science theory group at Birmingham Date: Sat, 7 Feb 2015 15:47:45 +0000 Message-ID: <54D633A1.7080804@cs.bham.ac.uk> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8"; format=flowed Content-Transfer-Encoding: base64 X-Trace: ger.gmane.org 1423329700 12593 80.91.229.3 (7 Feb 2015 17:21:40 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sat, 7 Feb 2015 17:21:40 +0000 (UTC) To: , , , , Original-X-From: concurrency-bounces-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org Sat Feb 07 18:21:39 2015 Return-path: Envelope-to: gcsc-concurrency@m.gmane.org Original-Received: from xedge1.campus.tue.nl ([131.155.6.116]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1YK94c-0005tJ-AY for gcsc-concurrency@m.gmane.org; Sat, 07 Feb 2015 18:21:38 +0100 Original-Received: from stentor.tue.nl (131.155.2.50) by xedge1.campus.tue.nl (131.155.6.118) with Microsoft SMTP Server id 14.3.224.2; Sat, 7 Feb 2015 18:21:39 +0100 Original-Received: from stentor.tue.nl (localhost [127.0.0.1]) by stentor.tue.nl (Postfix) with ESMTP id 9C8759B42A; Sat, 7 Feb 2015 18:21:37 +0100 (CET) Original-Received: from XSERVER22B.campus.tue.nl (xserver22b.campus.tue.nl [131.155.6.85]) by stentor.tue.nl (Postfix) with ESMTP id 2C5379B420 for ; Sat, 7 Feb 2015 16:47:49 +0100 (CET) Original-Received: from XEDGE2.campus.tue.nl (131.155.6.117) by XSERVER22B.campus.tue.nl (131.155.6.85) with Microsoft SMTP Server (TLS) id 14.3.224.2; Sat, 7 Feb 2015 16:47:48 +0100 Original-Received: from filter3-ams.mf.surf.net (192.87.102.71) by XEDGE2.campus.tue.nl (131.155.6.119) with Microsoft SMTP Server (TLS) id 14.3.224.2; Sat, 7 Feb 2015 16:47:43 +0100 Original-Received: from sun61.bham.ac.uk (sun61.bham.ac.uk [147.188.128.150]) by filter3-ams.mf.surf.net (8.14.3/8.14.3/Debian-9.4) with ESMTP id t17Fll52007109 for ; Sat, 7 Feb 2015 16:47:47 +0100 Original-Received: from [147.188.128.127] (helo=bham.ac.uk) by sun61.bham.ac.uk with esmtp (Exim 4.72) (envelope-from ) id 1YK7bl-0002LZ-PB; Sat, 07 Feb 2015 15:47:45 +0000 Original-Received: from mx1.cs.bham.ac.uk ([147.188.192.53]) by bham.ac.uk (envelope-from ) with esmtp (Exim 4.82) id 1YK7bl-0006P7-F9 using interface smart1.bham.ac.uk; Sat, 07 Feb 2015 15:47:45 +0000 Original-Received: from cca-131167.cs.bham.ac.uk ([147.188.194.192]) by mx1.cs.bham.ac.uk with esmtp (Exim 4.51) id 1YK7bl-0007sA-F2; Sat, 07 Feb 2015 15:47:45 +0000 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.4.0 X-Bayes-Prob: 0.9997 (Score 4.7, tokens from: concurrency-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org, Tue-rules, tue:default, base:default, @@RPTN) X-Spam-Score: 4.60 (****) [Tag at 5.00] SPF(none:0), CC(GB:-0.1), Bayes(0.9997:4.7) X-CanIt-Geo: ip=147.188.128.150; country=GB; region=England; city=Birmingham; latitude=52.4023; longitude=-1.9681; http://maps.google.com/maps?q=52.4023,-1.9681&z=6 X-CanItPRO-Stream: tue:concurrency-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org (inherits from tue:Tue-rules, tue:default, base:default) X-Canit-Stats-ID: 03NNrLLGK - 6986cc8660d0 - 20150207 X-Antispam-Training-Forget: https://www.mf.surf.net/canit/b.php?i=03NNrLLGK&m=6986cc8660d0&t=20150207&c=f X-Antispam-Training-Nonspam: https://www.mf.surf.net/canit/b.php?i=03NNrLLGK&m=6986cc8660d0&t=20150207&c=n X-Antispam-Training-Spam: https://www.mf.surf.net/canit/b.php?i=03NNrLLGK&m=6986cc8660d0&t=20150207&c=s Received-SPF: None (XEDGE2.campus.tue.nl: P.B.Levy-dxBOTFGcEFw2EctHIo1CcQ@public.gmane.org does not designate permitted sender hosts) Received-SPF: none (filter3-ams.mf.surf.net: domain of P.B.Levy-dxBOTFGcEFw2EctHIo1CcQ@public.gmane.org does not designate permitted sender hosts) receiver=filter3-ams.mf.surf.net; client-ip=147.188.128.150; envelope-from=; helo=sun61.bham.ac.uk; identity=mailfrom X-Scanned-By: CanIt (www . roaringpenguin . com) on 192.87.102.71 X-Mailman-Approved-At: Sat, 07 Feb 2015 18:21:34 +0100 X-BeenThere: concurrency-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org X-Mailman-Version: 2.1.12 Precedence: list List-Id: Concurrency mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , Original-Sender: Errors-To: concurrency-bounces-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org Xref: news.gmane.org gmane.comp.science.concurrency:4058 gmane.comp.science.types.announce:5051 gmane.science.mathematics.categories:8497 Archived-At: CkRlYXIgYWxsLAoKV2UgaW52aXRlIGFwcGxpY2F0aW9ucyBmb3IgUGhEIHN0dWR5IGF0IHRoZSBV bml2ZXJzaXR5IG9mIEJpcm1pbmdoYW0uCgpXZSBhcmUgYSBncm91cCBvZiAobW9zdGx5KSB0aGVv cmV0aWNhbCBjb21wdXRlciBzY2llbnRpc3RzIHdobyBleHBsb3JlCmZ1bmRhbWVudGFsIGNvbmNl cHRzIGluIGNvbXB1dGF0aW9uIGFuZCBwcm9ncmFtbWluZyBsYW5ndWFnZQpzZW1hbnRpY3MuIFRo aXMgb2Z0ZW4gaW52b2x2ZXMgcHJvZm91bmQgYW5kIHN1cnByaXNpbmcgY29ubmVjdGlvbnMKYmV0 d2VlbiBkaWZmZXJlbnQgYXJlYXMgb2YgY29tcHV0ZXIgc2NpZW5jZSBhbmQgbWF0aGVtYXRpY3Mu IEZyb20KY2F0ZWdvcnkgdGhlb3J5IHRvIM67LWNhbGN1bHVzIGFuZCBjb21wdXRhdGlvbmFsIGVm ZmVjdHMsIGZyb20gdG9wb2xvZ3kKdG8gY29uc3RydWN0aXZlIG1hdGhlbWF0aWNzLCBmcm9tIGdh bWUgc2VtYW50aWNzIHRvIHByb2dyYW0KY29tcGlsYXRpb24sIHRoaXMgaXMgYSBkaXZlcnNlIGZp ZWxkIG9mIHJlc2VhcmNoIHRoYXQgY29udGludWVzIHRvCnByb3ZpZGUgbmV3IGluc2lnaHQgYW5k IHVuZGVybHlpbmcgc3RydWN0dXJlLiAgIFNlZSBvdXIgd2VicGFnZSwgd2l0aApsaW5rcyB0byBp bmRpdmlkdWFsIHJlc2VhcmNoZXJzLCBoZXJlOgoKaHR0cDovL3d3dy5jcy5iaGFtLmFjLnVrL3Jl c2VhcmNoL2dyb3VwaW5ncy90aGVvcnkvCgpJbmZvcm1hdGlvbiBhYm91dCBQaEQgYXBwbGljYXRp b25zIG1heSBiZSBmb3VuZCBoZXJlOgoKaHR0cDovL3d3dy5jcy5iaGFtLmFjLnVrL2FkbWlzc2lv bnMvcG9zdGdyYWR1YXRlLXJlc2VhcmNoLwoKSWYgeW91IGFyZSBjb25zaWRlcmluZyBhcHBseWlu ZywgcGxlYXNlIGNvbnRhY3QgYW55IG9mIHVzLiAgV2Ugd2lsbCBiZQp2ZXJ5IGhhcHB5IHRvIGRp c2N1c3MgdGhlIG9wcG9ydHVuaXRpZXMgYXZhaWxhYmxlLgoKQmVzdCByZWdhcmRzLAp0aGUgQmly bWluZ2hhbSBDUyB0aGVvcnkgZ3JvdXAKCi0tCgpNYXJ0w61uIEVzY2FyZMOzCihUb3BvbG9neSwg Y29tcHV0YXRpb24gd2l0aCBpbmZpbml0ZSBvYmplY3RzLCBjb25zdHJ1Y3RpdmUKbWF0aGVtYXRp Y3MsIGludHVpdGlvbmlzdGljIHR5cGUgdGhlb3J5KQoKRGFuIEdoaWNhCihHYW1lIHNlbWFudGlj cywgaGV0ZXJvZ2VuZW91cyBjb21wdXRpbmcsIG1vZGVsIGNoZWNraW5nKQoKQWNoaW0gSnVuZwoo TWF0aGVtYXRpY2FsIHN0cnVjdHVyZXMgaW4gdGhlIGZvdW5kYXRpb25zIG9mIGNvbXB1dGluZzog bG9naWMsCnRvcG9sb2d5LCBvcmRlcikKCk5lZWxha2FudGFuIEtyaXNobmFzd2FtaQooVHlwZSB0 aGVvcnksIHZlcmlmaWNhdGlvbiwgc3Vic3RydWN0dXJhbCBsb2dpYywgaW50ZXJhY3RpdmUgY29t cHV0YXRpb24pCgpQYXVsIExldnkKKERlbm90YXRpb25hbCBzZW1hbnRpY3MsIM67LWNhbGN1bHVz IHdpdGggZWZmZWN0cywgbm9uZGV0ZXJtaW5pc20sCmNhdGVnb3J5IHRoZW9yeSwgZ2FtZSBzZW1h bnRpY3MpCgpVZGF5IFJlZGR5CihTZW1hbnRpY3Mgb2Ygc3RhdGUsIHNlcGFyYXRpb24gbG9naWMp CgpFaWtlIFJpdHRlcgooU2VjdXJpdHkgcHJvdG9jb2wgdmVyaWZpY2F0aW9uKQoKSGF5byBUaGll bGVja2UKKEFic3RyYWN0IG1hY2hpbmVzLCBjb25jdXJyZW50IGFuZCBmdW5jdGlvbmFsIHByb2dy YW1taW5nLCBzb2Z0d2FyZQpzZWN1cml0eSkKClN0ZXZlIFZpY2tlcnMKKENvbnN0cnVjdGl2ZSBt YXRoZW1hdGljcyBhbmQgdG9wb2xvZ3ksIGNhdGVnb3J5IHRoZW9yeSBhbmQgdG9wb3NlcykKCgoK Cl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fCkNvbmN1cnJl bmN5IG1haWxpbmcgbGlzdApDb25jdXJyZW5jeUBsaXN0c2VydmVyLnR1ZS5ubApodHRwOi8vbGlz dHNlcnZlci50dWUubmwvbWFpbG1hbi9saXN0aW5mby9jb25jdXJyZW5jeQo=