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