From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7195 Path: news.gmane.org!not-for-mail From: Andrej Bauer Newsgroups: gmane.science.mathematics.fom,gmane.science.mathematics.categories Subject: Announcement: Fourth Workshop on Formal Topology (4WFTop) and Workshop on higher dimensional algebra, categories and types (HDACT) Date: Mon, 6 Feb 2012 16:28:45 +0100 Message-ID: Reply-To: Foundations of Mathematics NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 X-Trace: dough.gmane.org 1328550007 13019 80.91.229.3 (6 Feb 2012 17:40:07 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Mon, 6 Feb 2012 17:40:07 +0000 (UTC) To: Foundations of Mathematics , cca-l-5f3BG3QSBX84VRZ0qczPDQ@public.gmane.org, constructivenews-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org, categories list Original-X-From: fom-bounces-+I05ep9qJbk3uPMLIKxrzw@public.gmane.org Mon Feb 06 18:40:06 2012 Return-path: Envelope-to: gsmf-fom-Uylq5CNFT+jYtjvyW6yDsg@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 1RuSXt-0000Y9-OX for gsmf-fom-Uylq5CNFT+jYtjvyW6yDsg@public.gmane.org; Mon, 06 Feb 2012 18:40:05 +0100 Original-Received: from mx.cims.nyu.edu (localhost [127.0.0.1]) by mx.cims.nyu.edu (8.14.4+Sun/8.14.4) with ESMTP id q16HcjAq015669; Mon, 6 Feb 2012 12:39:18 -0500 (EST) Original-Received: from mail-wi0-f177.google.com (mail-wi0-f177.google.com [209.85.212.177]) by mx2.cims.nyu.edu (8.14.4+Sun/8.14.4) with ESMTP id q16FSo2f011920 for ; Mon, 6 Feb 2012 10:28:52 -0500 (EST) Original-Received: by wico1 with SMTP id o1so5175484wic.36 for ; Mon, 06 Feb 2012 07:28:45 -0800 (PST) Original-Received: by 10.180.83.104 with SMTP id p8mr13797348wiy.4.1328542125035; Mon, 06 Feb 2012 07:28:45 -0800 (PST) Original-Received: by 10.180.86.138 with HTTP; Mon, 6 Feb 2012 07:28:45 -0800 (PST) X-Gm-Message-State: ALoCoQnnBh8b0baM20+sNqpPcDkHL2oD0xIti4WuVU9II+FoCOm7bb7VzXo6XMAwTG/x0AEByo8N X-Scanned-By: MIMEDefang 2.71 on 128.122.49.99 X-Scanned-By: MIMEDefang 2.71 on 128.122.49.96 X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.2.6 (mx.cims.nyu.edu [127.0.0.1]); Mon, 06 Feb 2012 12:39:31 -0500 (EST) X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.2.6 (mx2.cims.nyu.edu [128.122.49.96]); Mon, 06 Feb 2012 10:28:54 -0500 (EST) X-Mailman-Approved-At: Mon, 06 Feb 2012 12:38:44 -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:7875 gmane.science.mathematics.categories:7195 Archived-At: IEZPVVJUSCBXT1JLU0hPUCBPTiBGT1JNQUwgVE9QT0xPR1kgKDRXRlRvcCkKCiAgICAgICAgICAg ICAgICAgICAgICAgICAgIEp1bmUgMTUtMTkgMjAxMgoKICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgYW5kCgpISUdIRVIgRElNRU5TSU9OQUwgQUxHRUJSQSwgQ0FURUdPUklFUyBBTkQg VFlQRVMgKEhEQUNUKQoKICAgICAgICAgICAgICAgICAgICAgICAgICAgICBKdW5lIDIwIDIwMTIK CiAgICAgICAgICAgICAgICAgICAgICAgICBManVibGphbmEgKFNsb3ZlbmlhKQoKICAgICAgICAg ICAgICAgICAgICAgIGh0dHA6Ly80d2Z0LmZtZi51bmktbGouc2kvCgoKRk9VUlRIIFdPUktTSE9Q IE9OIEZPUk1BTCBUT1BPTE9HWSAoNFdGVG9wKQo9PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09CgpUaGUgd29ya3Nob3Agb24gZm9ybWFsIHRvcG9sb2d5IGlzIGFuIGlu dGVybmF0aW9uYWwgbWVldGluZyBkZWRpY2F0ZWQKdG8gZm9ybWFsIHRvcG9sb2d5IGFuZCByZWxh dGVkIHRvcGljcywgaW5jbHVkaW5nIGNvbnN0cnVjdGl2ZSBhbmQKY29tcHV0YWJsZSB0b3BvbG9n eSwgcG9pbnQtZnJlZSB0b3BvbG9neSwgYW5kIG90aGVyIGdlbmVyYWxpemF0aW9ucyBvZgp0b3Bv bG9neS4KClRoaXMgaXMgdGhlIGZvdXJ0aCBvZiBhIHNlcmllcyBvZiBzdWNjZXNzZnVsIG1lZXRp bmdzIG9uIHRoZQpkZXZlbG9wbWVudCBvZiBGb3JtYWwgVG9wb2xvZ3kgYW5kIGl0cyBjb25uZWN0 aW9ucyB3aXRoIHJlbGF0ZWQKYXBwcm9hY2hlcy4gVGhlIGZpcnN0IHRocmVlIGhhdmUgYmVlbiBo ZWxkIGluIFBhZHVhICgxOTk3KSwgVmVuaWNlCigyMDAyKSwgYW5kIFBhZHVhICgyMDA3KS4KCklN UE9SVEFOVCBEQVRFUwoKTWF5IDIgICAgICAtIGRlYWRsaW5lIGZvciBhYnN0cmFjdCBzdWJtaXNz aW9ucwpNYXkgMTYgICAgIC0gbm90aWZpY2F0aW9uIG9mIGFjY2VwdGVkIGNvbnRyaWJ1dGlvbnMK SnVuZSAxNSAgICAtIDRXRlRvcCB0dXRvcmlhbCBkYXkKSnVuZSAxNi0xOSAtIDRXRlRvcCB3b3Jr c2hvcApKdW5lIDIwICAgIC0gSERBQ1Qgd29ya3Nob3AKCktFWU5PVEUgU1BFQUtFUlMKCiogUGVy IE1hcnRpbi1Mw7ZmIChTdG9ja2hvbG0gVW5pdmVyc2l0eSkKKiBJZWtlIE1vZXJkaWprIChSYWRi b3VkIFVuaXZlcnNpdHkgTmlqbWVnZW4pCiogVmxhZGltaXIgVm9ldm9kc2t5IChJbnN0aXR1dGUg b2YgQWR2YW5jZWQgU3R1ZGllcykKCklOVklURUQgU1BFQUtFUlMKCiogT2xpdmlhIENhcmFtZWxs byAoVW5pdmVyc2l0eSBvZiBDYW1icmlkZ2UpCiogRnJhbmNlc2NvIENpcmF1bG8gKFVuaXZlcnNp dHkgb2YgUGFkdWEpCiogSGFqaW1lIElzaGloYXJhIChKYXBhbiBBZHZhbmNlZCBJbnN0aXR1dGUg b2YgU2NpZW5jZSBhbmQgVGVjaG5vbG9neSkKKiBEYXZvcmluIExlxaFuaWsgKFRVIERhcm1zdGFk dCkKKiBDbGF1ZGlvIFNhY2VyZG90aSBDb2VuIChVbml2ZXJzaXR5IG9mIEJvbG9nbmEpCiogQWxl eCBTaW1wc29uIChVbml2ZXJzaXR5IG9mIEVkaW5idXJnaCkKKiBCYXMgU3BpdHRlcnMgKFJhZGJv dWQgVW5pdmVyc2l0eSBOaWptZWdlbikKKiBQYXVsIFRheWxvciAoVW5pdGVkIEtpbmdkb20pCgpQ Uk9HUkFNIENPTU1JVFRFRQoKKiBBbmRyZWogQmF1ZXIgKGNoYWlyLCBVbml2ZXJzaXR5IG9mIExq dWJsamFuYSkKKiBUaGllcnJ5IENvcXVhbmQgKENoYWxtZXJzIFVuaXZlcnNpdHkpCiogTWFyaWEg RW1pbGlhIE1haWV0dGkgKFVuaXZlcnNpdHkgb2YgUGFkdWEpCiogR2lvdmFubmkgU2FtYmluIChV bml2ZXJzaXR5IG9mIFBhZHVhKQoqIFBldGVyIFNjaHVzdGVyIChjby1jaGFpciwgVW5pdmVyc2l0 eSBvZiBMZWVkcykKClNVQk1JU1NJT05TCgpTdWJtaXNzaW9ucyBvZiBzaG9ydCBhYnN0cmFjdHMg YXJlIGFjY2VwdGVkIHRocm91Z2ggZWFzeWNoYWlyLm9yZywgc2VlCmh0dHA6Ly93d3cuZWFzeWNo YWlyLm9yZy9jb25mZXJlbmNlcy8/Y29uZj00d2Z0b3AKClRVVE9SSUFMIERBWQoKSnVuZSAxNXRo IDIwMTIgd2lsbCBiZSBkZWRpY2F0ZWQgdG8gdHV0b3JpYWxzIG9uIHRvcGljcyBpbiBhbmQgYXJv dW5kCmZvcm1hbCB0b3BvbG9neSwgc3VpdGFibGUgZm9yIHJlc2VhcmNoZXJzIGFuZCBncmFkdWF0 ZSBzdHVkZW50cwp3aXRob3V0IGluLWRlcHRoIGtub3dsZWRnZSBvZiB0aGUgYXJlYS4gVGhleSB3 aWxsIGJlIGdpdmVuIGJ5OgoKKiBUaGllcnJ5IENvcXVhbmQgKENoYWxtZXJzIFVuaXZlcnNpdHkp CiogRXJpayBQYWxtZ3JlbiAoU3RvY2tob2xtIFVuaXZlcnNpdHkpCiogR2lvdmFubmkgU2FtYmlu IChVbml2ZXJzaXR5IG9mIFBhZHVhKQoqIFN0ZXZlbiBWaWNrZXJzIChVbml2ZXJzaXR5IG9mIEJp cm1pbmdoYW0pCgpGb3IgZnVydGhlciBpbmZvcm1hdGlvbiBvbiB0aGUgd29ya3Nob3AgdmlzaXQg aHR0cDovLzR3ZnQuZm1mLnVuaS1sai5zaS8KClRoZSB3b3Jrc2hvcCBpcyBzdXBwb3J0ZWQgYnk6 CgoqIEZhY3VsdHkgb2YgTWF0aGVtYXRpY3MgYW5kIFBoeXNpY3MgYXQgdGhlIFVuaXZlcnNpdHkg b2YgTGp1YmxqYW5hCiogSW5zdGl0dXRlIG9mIG1hdGhlbWF0aWNzLCBwaHlzaWNzIGFuZCBtZWNo YW5pY3MsIExqdWJsamFuYQoKCkhJR0hFUiBESU1FTlNJT05BTCBBTEdFQlJBLCBDQVRFR09SSUVT IEFORCBUWVBFUwo9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT0KClRoZSBXb3Jrc2hvcCBvbiBmb3JtYWwgdG9wb2xvZ3kgd2lsbCBiZSBmb2xsb3dlZCBieSBh IG9uZS1kYXkgd29ya3Nob3AKb24gaGlnaGVyIGRpbWVuc2lvbmFsIGFsZ2VicmEsIGNhdGVnb3Jp ZXMgYW5kIHR5cGVzLCBvcmdhbml6ZWQgYnkKCiogTmljb2xhIEdhbWJpbm8KKiBOaWVsIEdoYW5p CiogWmhhb2h1aSBMdW8KKiBSYW5keSBQb2xsYWNrCiogVXJzIFNjaHJlaWJlcgoqIEJhcyBTcGl0 dGVycwoqIFRob21hcyBTdHJlaWNoZXIKClRoZSBpbXBvcnRhbmNlIG9mIGhpZ2hlciBkaW1lbnNp b25hbCBzdHJ1Y3R1cmUgZm9yIG1hdGhlbWF0aWNzIGFuZApjb21wdXRlciBzY2llbmNlIGhhcyBi ZWVuIHJlY29nbml6ZWQgZm9yIGEgbG9uZyB0aW1lLiBIb3dldmVyLCByZWNlbnQKY29ubmVjdGlv bnMgYmV0d2VlbiBob21vdG9weSB0aGVvcnkgYW5kIHR5cGUgdGhlb3J5IGhhdmUgc3B1cnJlZCBu ZXcKYWN0aXZpdHkgdGhhdCBpcyBjb25uZWN0aW5nIHByZXZpb3VzbHkgdW5yZWxhdGVkIHRvcGlj cy4gVGhlIHdvcmtzaG9wCndpbGwgYmUgYSBwbGFjZSBmb3IgbWVldGluZyBhbmQgZGlzc2VtaW5h dGlvbiBvZiBpZGVhcyBiZXR3ZWVuCnJlc2VhcmNoZXJzIGZyb20gZGlmZmVyZW50IGFyZWFzIHdo byBhbGwgdXNlIGhpZ2hlciBkaW1lbnNpb25hbApzdHJ1Y3R1cmVzLgoKTW9yZSBpbmZvcm1hdGlv biBvbiBwYXJ0aWNpcGF0aW9uIGFuZCBzdWJtaXNzaW9uIHdpbGwgZm9sbG93LgoKRm9yIGZ1cnRo ZXIgaW5mb3JtYXRpb24gb24gdGhlIHdvcmtzaG9wIHZpc2l0IGh0dHA6Ly80d2Z0LmZtZi51bmkt bGouc2kvCl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fCkZP TSBtYWlsaW5nIGxpc3QKRk9NQGNzLm55dS5lZHUKaHR0cDovL3d3dy5jcy5ueXUuZWR1L21haWxt YW4vbGlzdGluZm8vZm9tCg==