From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7635 Path: news.gmane.org!not-for-mail From: Carlos Areces Newsgroups: gmane.comp.mathematics.openmath.announce,gmane.comp.mathematics.mizar,gmane.science.mathematics.logic.asian,gmane.science.linguistics.corpora,gmane.science.mathematics.categories,gmane.comp.ai.loom,gmane.comp.lang.lambda-prolog,gmane.comp.lang.mercury.general,gmane.comp.science.concurrency,gmane.comp.lang.mozart.user Subject: CFP: Methods for Modalities 2013 Date: Sun, 24 Mar 2013 11:02:29 -0300 Message-ID: NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 X-Trace: ger.gmane.org 1364201182 18782 80.91.229.3 (25 Mar 2013 08:46:22 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 25 Mar 2013 08:46:22 +0000 (UTC) Cc: ccl-F/rdttq5yCkbFoVRYvo4fw@public.gmane.org, mizar-forum-3kmNp2L7irjE2AZUPHjMsA@public.gmane.org, logic-list-onhXrJ4NNiiKKknGeaOxfg@public.gmane.org, compulog-2AtECz9/WFZtz5ESoKjMl7VCufUGDwFn@public.gmane.org, agents-iAiprmkJuSSVc3sceRu5cw@public.gmane.org, asian-logic-sxAM4NMeNq2IKN2546+X7ngSJqDPrsil@public.gmane.org, kgs-HovvXaEGyOEhHGrKhHam0bNldLUNz+W/@public.gmane.org, nl-kr-PwOyfgcN9riZEJHQzFfgtg@public.gmane.org, lfcs-interest-hrkdsMTsJDGFxr2TtlUqVg@public.gmane.org, lics-request-hrkdsMTsJDGFxr2TtlUqVg@public.gmane.org, steinhorn-zka7wQWIdxI3uPMLIKxrzw@public.gmane.org, institutnicod-diffusion-rMg7eGrThuo@public.gmane.org, corpora-+gdhtHF08U9hl2p70BpVqQ@public.gmane.org, THEORY-A-0lvw86wZMd8gmrbMBL3H1uW1CriLhL8O@public.gmane.org, puml-list-l9TVMAoMiWs2EctHIo1CcQ@public.gmane.org, lot-gwRxNoBBbLdmR6Xm/wNWPw@public.gmane.org, categories-59hdLBrVOVU@public.gmane.org, community-ouP0CJf6x9HYtjvyW6yDsg@public.gmane.org, semantik-C8S0NOCd+1YbcN0dVoLhAv/EHPlT/PUm@public.gmane.org, loom-forum-6fENEMdN1ts@public.gmane.org, theorynt-JX7+OpRa80RAtAYDKi7u6De48wsgrGvP@public.gmane.org, cup-Q0mBwJgxmNXPDbFq/vQRIQ@public.gmane.org, lprolog-k0Ej6N9cQa43uPMLIKxrzw@public.gmane.org, graduiertenkolleg-infos-z4aLgj2NwzYL63KmMnjC+CEWGD4kr0XT@public.gmane.org, List-oCDm4u4wUTe7Jn3c8fOrWw@public.gmane.org, "\[LOGIC\] Mailing List" , senseval-discuss-JX7+OpRa80RWQ/7c4Jy8DcugMpMbD5Xr@public.gmane.org, ki-inf-82PuzOe0+4+KVelC9LqlCA@public.gmane.org, dl-N/hjgmPSN2rYtjvyW6yDsg@public.gmane.org, theory-logic-ddtmkgJwdYjltQq4i4S/Dg@public.gmane.org, comprox-CezfXpuMXD6Fxr2TtlUqVg@public.gmane.org, info-Do35QNmRxLjYtjvyW6yDsg@public.gmane.org, logic-announce-wKGAKkUoendNUtnGCQ6U1fZ8FUJU4vz8@public.gmane.org, ea-LzjI1I19FwmELgA04lAiVw@public.gmane.org, clp-re5r+meJ/dN84TsAtUCrkA@public.gmane.org To: Carlos Areces Original-X-From: om-announce-bounces-+sROD/JK0TBg9hUCZPvPmw@public.gmane.org Mon Mar 25 09:46:29 2013 Return-path: Envelope-to: gcmoa-om-announce@m.gmane.org Original-Received: from mailhost.tue.nl ([131.155.2.19]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1UK32y-0002En-F6 for gcmoa-om-announce@m.gmane.org; Mon, 25 Mar 2013 09:46:28 +0100 Original-Received: from pastinakel.tue.nl (localhost [127.0.0.1]) by mailhost.tue.nl (Postfix) with ESMTP id 85DD57311C; Mon, 25 Mar 2013 09:46:04 +0100 (CET) X-Virus-Scanned: amavisd-new at tue.nl Original-Received: from mailhost.tue.nl ([131.155.2.19]) by pastinakel.tue.nl (pastinakel.tue.nl [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id BBOFOpVaZUbT; Mon, 25 Mar 2013 09:46:04 +0100 (CET) Original-Received: from dam04.win.tue.nl (dam04.win.tue.nl [131.155.0.167]) by mailhost.tue.nl (Postfix) with ESMTP id 3CB3073112; Mon, 25 Mar 2013 09:46:04 +0100 (CET) Original-Received: from mx1.tue.nl (mx1.tue.nl [131.155.2.7]) by dam04.win.tue.nl (Postfix) with ESMTPS id 1D8CD6C100B for ; Sun, 24 Mar 2013 15:05:23 +0100 (CET) X-Virus-Scanned: amavisd-new at tue.nl X-Spam-Score: 0.001 X-Spam-Level: X-Spam-Status: No, score=0.001 required=6.31 tests=[FREEMAIL_FROM=0.001] autolearn=unavailable Original-Received: from mx1.tue.nl ([131.155.2.7]) by bommelstein.tue.nl (bommelstein.tue.nl [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id hi67UiG60uBu for ; Sun, 24 Mar 2013 15:02:31 +0100 (CET) Original-Received: from mail-qa0-f44.google.com (mail-qa0-f44.google.com [209.85.216.44]) (using TLSv1 with cipher RC4-SHA (128/128 bits)) (No client certificate requested) by mx1.tue.nl (Postfix) with ESMTPS id E81D8181403 for ; Sun, 24 Mar 2013 15:02:30 +0100 (CET) Original-Received: by mail-qa0-f44.google.com with SMTP id o13so990538qaj.17 for ; Sun, 24 Mar 2013 07:02:29 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:x-received:sender:date:x-google-sender-auth:message-id :subject:from:to:cc:content-type:content-transfer-encoding; bh=NTe+NU8kcCB0JDHzC0+oldabUgFSl7H2ftziRT1p2QE=; b=QO4arLTgAybPeE4rttWaviImvu5dB9nx9JiRs0RX+rqaxhEB/CFBteQ1OPPWebv6OC KXqraU7ogyl4FawhZlm5oHZLdJMrlxMjvKmk1O26VZlrEdz0P1PlCaWo31IaX3aMDIN2 OPrZOpYE56XZh1kvPu21HCx9Eg2fJrRyoaQQKfcoNvNja8PGaKludXEzRtRgvyLxlC7q +fQSJaKmFjcMuvGBQjfCLd5AASdXGv9qDUl/YHY+XJsGMpKm/MkfcQqlyoHEfoXyJaUO dWAx9vKr9DYPCgyNrePaQ5vJsz4Wl29+vDxx1bj2vraMPOYi1WaU1FN9/lRV3ZXS5TJI pFJA== X-Received: by 10.224.102.1 with SMTP id e1mr2174173qao.15.1364133749398; Sun, 24 Mar 2013 07:02:29 -0700 (PDT) Original-Received: by 10.49.49.201 with HTTP; Sun, 24 Mar 2013 07:02:29 -0700 (PDT) X-Google-Sender-Auth: 7Wo548JRlBgrUYIjxvHv_KbDEl4 X-Mailman-Approved-At: Mon, 25 Mar 2013 09:48:48 +0100 X-BeenThere: om-announce-+sROD/JK0TBg9hUCZPvPmw@public.gmane.org X-Mailman-Version: 2.1.13 Precedence: list List-Id: general announcements related to OpenMath List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: om-announce-bounces-+sROD/JK0TBg9hUCZPvPmw@public.gmane.org Errors-To: om-announce-bounces-+sROD/JK0TBg9hUCZPvPmw@public.gmane.org Xref: news.gmane.org gmane.comp.mathematics.openmath.announce:2000 gmane.comp.mathematics.mizar:1441 gmane.science.mathematics.logic.asian:64 gmane.science.linguistics.corpora:17673 gmane.science.mathematics.categories:7635 gmane.comp.ai.loom:172 gmane.comp.lang.lambda-prolog:2964 gmane.comp.lang.mercury.general:3298 gmane.comp.science.concurrency:3292 gmane.comp.lang.mozart.user:3624 Archived-At: PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT0KOHRoIFdvcnNraG9wIG9uICJNZXRob2RzIGZvciBNb2RhbGl0aWVzIiAoTTRN LTgpCkxha2UgUGxhY2lkLCBOZXcgWW9yaywgSnVuZSA5LCAyMDEzCmh0dHA6Ly93d3cuY3MuZmFt YWYudW5jLmVkdS5hci9+Y2FyZWNlcy9NNE0vTTRNOC8KPT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT0KClNjb3BlCgpUaGUg d29ya3Nob3AgJydNZXRob2RzIGZvciBNb2RhbGl0aWVzJycgKE00TSkgYWltcyB0byBicmluZyB0 b2dldGhlcgpyZXNlYXJjaGVycyBpbnRlcmVzdGVkIGluIGRldmVsb3BpbmcgYWxnb3JpdGhtcywg dmVyaWZpY2F0aW9uIG1ldGhvZHMKYW5kIHRvb2xzIGJhc2VkIG9uIG1vZGFsIGxvZ2ljcy4gSGVy ZSB0aGUgdGVybSAnJ21vZGFsIGxvZ2ljcycnIGlzCmNvbmNlaXZlZCBicm9hZGx5LCBpbmNsdWRp bmcgdGVtcG9yYWwgbG9naWMsIGRlc2NyaXB0aW9uIGxvZ2ljLApndWFyZGVkIGZyYWdtZW50cywg Y29uZGl0aW9uYWwgbG9naWMsIHRlbXBvcmFsIGFuZCBoeWJyaWQgbG9naWMsIGV0Yy4KClRvIHN0 aW11bGF0ZSBpbnRlcmFjdGlvbiBhbmQgdHJhbnNmZXIgb2YgZXhwZXJ0aXNlLCBNNE0gd2lsbCBm ZWF0dXJlIGEKbnVtYmVyIG9mIGludml0ZWQgdGFsa3MgYnkgbGVhZGluZyBzY2llbnRpc3RzLCBy ZXNlYXJjaCBwcmVzZW50YXRpb25zCmFpbWVkIGF0IGhpZ2hsaWdodGluZyBuZXcgZGV2ZWxvcG1l bnRzLCBhbmQgc3VibWlzc2lvbnMgb2YKc3lzdGVtIGRlbW9uc3RyYXRpb25zLgoKV2Ugc3Ryb25n bHkgZW5jb3VyYWdlIHlvdW5nIHJlc2VhcmNoZXJzIGFuZCBzdHVkZW50cyB0byBzdWJtaXQgcGFw ZXJzCmFuZCBwb3N0ZXJzLCBlc3BlY2lhbGx5IGZvciBleHBlcmltZW50YWwgYW5kIHByb3RvdHlw aWNhbCBzb2Z0d2FyZSB0b29scwp3aGljaCBhcmUgcmVsYXRlZCB0byBtb2RhbCBsb2dpY3MuCgpN b3JlIGluZm9ybWF0aW9uIGFib3V0IHRoZSBwcmV2aW91cyBlZGl0aW9ucyBjYW4gYmUgZm91bmQg YXQKCiAgIGh0dHA6Ly93d3cuY3MuZmFtYWYudW5jLmVkdS5hci9+Y2FyZWNlcy9NNE0vTTRNOC8K ClBhcGVyIFN1Ym1pc3Npb25zCgpBdXRob3JzIGFyZSBpbnZpdGVkIHRvIHN1Ym1pdCBwYXBlcnMg aW4gdGhlIGZvbGxvd2luZyB0aHJlZSBjYXRlZ29yaWVzLgpJbiBhbGwgY2FzZXMgdGhlIExOQ1Mg c3R5bGUgc2hvdWxkIGJlIHVzZWQuCgotIFJlZ3VsYXIgcGFwZXJzIHVwIHRvIDE1IHBhZ2VzIGlu Y2x1ZGluZyBiaWJsaW9ncmFwaHksIGRlc2NyaWJpbmcgb3JpZ2luYWwKICByZXNlYXJjaC4KCi0g U3lzdGVtIGRlc2NyaXB0aW9ucyBvZiB1cCB0byAxMiBwYWdlcyBpbmNsdWRpbmcgYmlibGlvZ3Jh cGh5LCBkZXNjcmliaW5nCiAgbmV3IHN5c3RlbXMgb3Igc2lnbmlmaWNhbnQgdXBncmFkZXMgb2Yg ZXhpc3Rpbmcgb25lcy4KCi0gUHJlc2VudGF0aW9uLW9ubHkgcGFwZXJzLCBkZXNjcmliaW5nIHdv cmsgcmVjZW50bHkgcHVibGlzaGVkIG9yIHN1Ym1pdHRlZAogIChubyBwYWdlIGxpbWl0KS4gVGhl c2Ugd2lsbCBub3QgYmUgaW5jbHVkZWQgaW4gdGhlIHByb2NlZWRpbmdzLCBidXQKcHJlLXByaW50 cwogIG9yIHBvc3QtcHJpbnRzIGNhbiBiZSBtYWRlIGF2YWlsYWJsZSB0byBwYXJ0aWNpcGFudHMu CgpTdWJtaXNzaW9ucyBzaG91bGQgYmUgbWFkZSB2aWEgRWFzeUNoYWlyIGF0IHRoZSBmb2xsb3dp bmcgYWRkcmVzczoKCmh0dHA6Ly93d3cuZWFzeWNoYWlyLm9yZy9jb25mZXJlbmNlcy8/Y29uZj1t NG04CgpUaGUgZmluYWwgdmVyc2lvbnMgb2YgdGhlIHNlbGVjdGVkIGNvbnRyaWJ1dGlvbnMgd2ls bCBiZSBjb2xsZWN0ZWQgaW4gYSB2b2x1bWUKdG8gYmUgZGlzdHJpYnV0ZWQgYXQgdGhlIHdvcmtz aG9wLiBUaGVzZSBpbmZvcm1hbCBwcm9jZWVkaW5ncyB3aWxsIGFsc28gYmUgbWFkZQphY2Nlc3Np YmxlIG9uIHRoZSB3ZWIuIFdlIHBsYW4gdG8gcHVibGlzaCBzZWxlY3RlZCBwYXBlcnMgaW4gRU5U Q1Mgb3IKaW4gYSBzcGVjaWFsCmpvdXJuYWwgaXNzdWUgb24gdGhlIHRvcGljIG9mIHRoZSBNNE0g d29ya3Nob3AgYWZ0ZXIgYW4gZXh0cmEgcmVmZXJlZWluZyByb3VuZC4KCkltcG9ydGFudCBkYXRl cwoKQWJzdHJhY3Qgc3VibWlzc2lvbiBkZWFkbGluZTogQXByaWwgMTJ0aCwgMjAxMyBbZmlybV0K UGFwZXIgc3VibWlzc2lvbiBkZWFkbGluZTogQXByaWwgMTV0aCwgMjAxMyBbZmlybV0KTm90aWZp Y2F0aW9uIG9mIGFjY2VwdGFuY2U6IE1heSAxOXRoLCAyMDEzCkNhbWVyYSByZWFkeSB2ZXJzaW9u cyBkdWU6IE1heSAyNnRoLCAyMDEzCldvcmtzaG9wIGRhdGVzOiBKdW5lIDksIDIwMTMKClByb2dy YW0gQ29tbWl0dGVlCgpUaGUgZm9sbG93aW5nIHJlc2VhcmNoZXJzIGhhdmUgYWdyZWVkIHRvIGJl IG1lbWJlcnMgb2YgdGhlIHByb2dyYW0KY29tbWl0dGVlIG9mIE00TS04OgoKQ2FybG9zIEFyZWNl cyAoY2hhaXIpLCBDb25pY2V0ICYgVW5pdmVyc2lkYWQgTmFjaW9uYWwgZGUgQ8OzcmRvYmEKVGhv bWFzIMOFZ290bmVzLCBVbml2ZXJzaXR5IG9mIEJlcmdlbgpOYXRhc2hhIEFsZWNoaW5hLCBVbml2 ZXJzaXR5IG9mIE5vdHRpbmdoYW0KUGhpbGlwcGUgQmFsYmlhbmksIEluc3RpdHV0IGRlIFJlY2hl cmNoZSBlbiBJbmZvcm1hdGlxdWUgZGUgVG91bG91c2UKVGhvbWFzIEJvbGFuZGVyLCBUZWNobmlj YWwgVW5pdmVyc2l0eSBvZiBEZW5tYXJrClBhdHJpY2sgQmxhY2tidXJuLCBVbml2ZXJzaXR5IG9m IFJvc2tpbGRlCkp1bGlhbiBCcmFkZmllbGQsIFVuaXZlcnNpdHkgb2YgRWRpbmJ1cmdoClN0ZXBo YW5lIERlbXJpLCBFTlMgZGUgQ2FjaGFuCkhhbnMgdmFuIERpdG1hcnNjaCwgTE9SSUEKU2FudGlh Z28gRmlndWVpcmEsIENvbmljZXQgJiBVbml2ZXJzaWRhZCBkZSBCdWVub3MgQWlyZXMKRGllZ28g RmlndWVpcmEsIFVuaXZlcnNpdHkgb2YgRWRpbmJ1cmdoClNpbHZpbyBHaGlsYXJkaSwgVW5pdmVy c2l0eSBvZiBNaWxhbm8KUmFqZWV2IEdvcsOpLCBUaGUgQXVzdHJhbGlhbiBOYXRpb25hbCBVbml2 ZXJzaXR5CkRhbmllbCBHb3LDrW4sIEZyaWVkcmljaC1BbGV4YW5kZXIgVW5pdmVyc2l0w6R0IEVy bGFuZ2VuLU7DvHJuYmVyZwpHdWlkbyBHb3Zlcm5hdG9yaSwgTklDVEEgUXVlZW5zbGFuZCBSZXNl YXJjaCBMYWJvcmF0b3J5CkFuZHJlYXMgSGVyemlnLCBJbnN0aXR1dCBkZSBSZWNoZXJjaGUgZW4g SW5mb3JtYXRpcXVlIGRlIFRvdWxvdXNlCkd1aWxsYXVtZSBIb2ZmbWFubiwgVW5pdmVyc2lkYWQg ZGUgQ8OzcmRvYmEKQmFydGVsZCBLb29pLCBVbml2ZXJzaXR5IG9mIEdyb25pbmdlbgpNYXJ0aW4g TGFuZ2UsIFVuaXZlcnNpdHkgb2YgS2Fzc2VsClRpYWdvIGRlIExpbWEsIFVuaXZlcnNpdHkgb2Yg QXJ0b2lzCkFsZXNzaW8gTG9tdXNjaW8sIEltcGVyaWFsIENvbGxlZ2UgTG9uZG9uCkNhcnN0ZW4g THV0eiwgVW5pdmVyc2l0w6R0IEJyZW1lbgpBbmdlbG8gTW9udGFuYXJpLCBVbml2ZXJzaXR5IG9m IFVkaW5lClNlcmdpbyBNZXJhLCBVbml2ZXJzaWRhZCBkZSBCdWVub3MgQWlyZXMKVmFsZXJpYSBk ZSBQYWl2YSwgTnVhbmNlIENvbW11bmljYXRpb25zLCBJbmMuCkNhcnN0ZW4gU2Now7xybWFubiwg SVQgVW5pdmVyc2l0eSBvZiBDb3BlbmhhZ2VuCkdlcnQgU21vbGthLCBTYWFybGFuZCBVbml2ZXJz aXR5CkZyYW5rIFdvbHRlciwgVW5pdmVyc2l0eSBvZiBMaXZlcnBvb2wKSGVpbnJpY2ggV2Fuc2lu ZywgUnVociBVbml2ZXJzaXR5IEJvY2h1bQpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fXwpPbS1hbm5vdW5jZSBtYWlsaW5nIGxpc3QKT20tYW5ub3VuY2VAb3Bl bm1hdGgub3JnCmh0dHA6Ly9vcGVubWF0aC5vcmcvbWFpbG1hbi9saXN0aW5mby9vbS1hbm5vdW5j ZQo=