From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8834 Path: news.gmane.org!not-for-mail From: Paul Blain Levy Newsgroups: gmane.science.mathematics.fom,gmane.comp.science.types.announce,gmane.science.mathematics.categories Subject: Call for participation: Games for Logic and Programming Languages XI Date: Thu, 25 Feb 2016 04:28:31 +0000 Message-ID: References: <56B099D4.70305@cs.bham.ac.uk> Reply-To: Foundations of Mathematics 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 1456382294 2249 80.91.229.3 (25 Feb 2016 06:38:14 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 25 Feb 2016 06:38:14 +0000 (UTC) To: types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org, categories-59hdLBrVOVU@public.gmane.org, moca-announce-HnE2qM1WCGk4M/bo5TPICw@public.gmane.org, fom-+I05ep9qJbk3uPMLIKxrzw@public.gmane.org, concurrency-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org, galop-dxBOTFGcEFw2EctHIo1CcQ@public.gmane.org, prooftheory.list-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org, wessex-theory-sBK8fsN9CKk2EctHIo1CcQ@public.gmane.org Original-X-From: fom-bounces-+I05ep9qJbk3uPMLIKxrzw@public.gmane.org Thu Feb 25 07:38:01 2016 Return-path: Envelope-to: gsmf-fom-2-wOFGN7rlS/M9smdsby/KFg@public.gmane.org Original-Received: from mx.cims.nyu.edu ([128.122.49.99]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1aYpYl-0005dx-BS for gsmf-fom-2-wOFGN7rlS/M9smdsby/KFg@public.gmane.org; Thu, 25 Feb 2016 07:37:59 +0100 Original-Received: from mx.cims.nyu.edu (localhost [127.0.0.1]) by mx.cims.nyu.edu (8.14.7+Sun/8.14.7) with ESMTP id u1P6ZQ1l015333; Thu, 25 Feb 2016 01:35:30 -0500 (EST) Original-Received: from sun61.bham.ac.uk (sun61.bham.ac.uk [147.188.128.150]) by mx2.cims.nyu.edu (8.14.4+Sun/8.14.4) with ESMTP id u1P4Sbjw012290 for ; Wed, 24 Feb 2016 23:28:37 -0500 (EST) Original-Received: from [147.188.128.127] (helo=bham.ac.uk) by sun61.bham.ac.uk with esmtp (Exim 4.84) (envelope-from ) id 1aYnXT-0004lp-Pj; Thu, 25 Feb 2016 04:28:31 +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 1aYnXT-0000oE-Ff using interface smart1.bham.ac.uk; Thu, 25 Feb 2016 04:28:31 +0000 Original-Received: from nemty.cs.bham.ac.uk ([147.188.203.102] helo=webmail.cs.bham.ac.uk) by mx1.cs.bham.ac.uk with esmtp (Exim 4.51) id 1aYnXT-0002Ct-MV; Thu, 25 Feb 2016 04:28:31 +0000 In-Reply-To: <56B099D4.70305-dxBOTFGcEFw2EctHIo1CcQ@public.gmane.org> X-Sender: P.B.Levy-dxBOTFGcEFw2EctHIo1CcQ@public.gmane.org User-Agent: Roundcube Webmail/1.1.4 X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.4.1 (mx.cims.nyu.edu [127.0.0.1]); Thu, 25 Feb 2016 01:35:32 -0500 (EST) X-Greylist: Sender DNS name whitelisted, not delayed by milter-greylist-4.4.1 (mx2.cims.nyu.edu [128.122.49.96]); Wed, 24 Feb 2016 23:28:37 -0500 (EST) X-Virus-Scanned: clamav-milter 0.97.4 at mx X-Virus-Status: Clean X-Scanned-By: MIMEDefang 2.73 on 128.122.49.99 X-Scanned-By: MIMEDefang 2.73 on 128.122.49.96 X-Mailman-Approved-At: Thu, 25 Feb 2016 01:27:38 -0500 X-BeenThere: fom-+I05ep9qJbk3uPMLIKxrzw@public.gmane.org X-Mailman-Version: 2.1.14 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-bounces-+I05ep9qJbk3uPMLIKxrzw@public.gmane.org Xref: news.gmane.org gmane.science.mathematics.fom:11242 gmane.comp.science.types.announce:5825 gmane.science.mathematics.categories:8834 Archived-At: RGVhciBjb2xsZWFndWVzLAoKSSdtIGhhcHB5IHRvIGFubm91bmNlIGEgZ3JlYXQgcHJvZ3JhbW1l IGZvciBHYUxvUCAyMDE2LCB3aGljaCB0YWtlcyAKcGxhY2Ugb24gMi0zIEFwcmlsIGluIEVpbmRo b3ZlbiwgTmV0aGVybGFuZHMsIGFzIHBhcnQgb2YgRVRBUFMgMjAxNi4KCmh0dHA6Ly93d3cuZ2Ft ZXNlbWFudGljcy5vcmcKCioqRWFybHkgcmVnaXN0cmF0aW9uIGRlYWRsaW5lIGZvciBFVEFQUyoq CiAgdGhpcyBUdWVzZGF5ICgxIE1hcmNoKQpTb3JyeSBmb3IgdGhlIGxhdGUgYW5ub3VuY2VtZW50 IQoKV2UgaGF2ZSBKb2huIExvbmdsZXkgYXMgaW52aXRlZCBzcGVha2VyLCBhbmQgYSBnYW1lIHNl bWFudGljcyB0dXRvcmlhbCAKKHRiYykgYnkgRGFuIEdoaWNhLgoKQWNjZXB0ZWQgcGFwZXJzOgoK V2VhayBtZW1vcnkgbW9kZWxzIHVzaW5nIGV2ZW50IHN0cnVjdHVyZXMKU2ltb24gQ2FzdGVsbGFu CgpQYXJ0aWFsIEV2YWx1YXRpb24gYW5kIE5vcm1hbGlzYXRpb24gYnkgVHJhdmVyc2FscwpOZWls IEpvbmVzIGFuZCBEYW5paWwgQmVyZXp1bgoKQSBEaWFsZWN0aWNhLUxpa2UgQXBwcm9hY2ggdG8g VHJlZSBBdXRvbWF0YQpDb2xpbiBSaWJhCgpDb25jcmV0ZSBEYXRhIFN0cnVjdHVyZXMgYXMgRGlh bG9ndWUgR2FtZXMKQ2zDqW1lbnQgSmFjcSBhbmQgUGF1bC1BbmRyw6kgTWVsbGnDqHMKClJlbGF0 aW5nIGNhdXNhbCBhbmQgaW50ZXJsZWF2aW5nIGNvbmN1cnJlbnQgZ2FtZSBzZW1hbnRpY3MgUGll cnJlIApDbGFpcmFtYmF1bHQgYW5kIFNpbW9uIENhc3RlbGxhbgoKRXh0cmFjdGlvbiBmcm9tIGNs YXNzaWNhbCBwcm9vZnMgdXNpbmcgZ2FtZSBtb2RlbHMKVmFsZW50aW4gQmxvdAoKQ29uc3RydWN0 aW5nIHBsYXlncm91bmRzOiBmaWJyZWQgZG91YmxlIGNhdGVnb3JpZXMKQ2xvdmlzIEViZXJoYXJ0 IGFuZCBUb20gSGlyc2Nob3dpdHoKCkdhbWUgU2VtYW50aWNzIGZvciBEZXBlbmRlbnQgVHlwZXMK TWF0dGhpanMgVsOha8OhcgoKVHJhY2Ugc2VtYW50aWNzIGZvciBwb2x5bW9ycGhpYyByZWZlcmVu Y2VzCkd1aWxoZW0gSmFiZXIgYW5kIE5pa29zIFR6ZXZlbGVrb3MKCkdhbWUgU2VtYW50aWNzIGFu ZCB0aGUgQ29tcGxleGl0eSBvZiBJbnRlcmFjdGlvbgpGZWRlcmljbyBBc2NoaWVyaQoKSW50ZXJh Y3Rpb24gR3JhcGhzIGFuZCBRdWFudGl0YXRpdmUgU2VtYW50aWNzClRob21hcyBTZWlsZXIKCkRh dGEgYW5kIEZ1bmN0aW9ucyBUeXBlcyBpbiBMdWRpY3MKQWxpY2UgUGF2YXV4CgpHYW1lcyB3aXRo IG9yZGluYWwgc2VxdWVuY2VzIG9mIG1vdmVzClcuIEpvaG4gR293ZXJzIGFuZCBKYW1lcyBELiBM YWlyZAoKUHJvYmFiaWxpc3RpYyBHYW1lcyBmb3IgRGlmZmVyZW50aWFsIFByaXZhY3kKTHVjYSBG b3NzYXRpIGFuZCBNYXJjbyBHYWJvYXJkaQoKT24gQ29tcGlsYXRpb24gYW5kIENhbGwtYnktVmFs dWUgR2FtZXMKVWxyaWNoIFNjaMO2cHAKClN0cmF0ZWdpZXMgaW4gSE8vTiBnYW1lcyBhcyBwcm9m dW5jdG9ycwpUYWtlc2hpIFRzdWthZGEgYW5kIEthenV5dWtpIEFzYWRhCgpEZWNpZGFiaWxpdHkg b2YgUk1MIHZpYSBnYW1lIHNlbWFudGljcwpBbmRyemVqIE11cmF3c2tpCgoqKkVhcmx5IHJlZ2lz dHJhdGlvbiBkZWFkbGluZSoqClR1ZXNkYXkgMSBNYXJjaCAoaW4gY2FzZSB5b3UndmUgZm9yZ290 dGVuKQoKSSBsb29rIGZvcndhcmQgdG8gc2VlaW5nIHlvdSBhdCBHYUxvUCAyMDE2LgpCZXN0IHJl Z2FyZHMsClBhdWwKX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X18KRk9NIG1haWxpbmcgbGlzdApGT01AY3Mubnl1LmVkdQpodHRwOi8vd3d3LmNzLm55dS5lZHUv bWFpbG1hbi9saXN0aW5mby9mb20K