From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9773 Path: news.gmane.org!.POSTED!not-for-mail From: Damiano Mazza Newsgroups: gmane.comp.science.types.announce,gmane.science.mathematics.discrete,gmane.science.mathematics.categories,gmane.science.mathematics.prooftheory Subject: Caleidoscope Complexity School: Call for Participation Date: Thu, 13 Dec 2018 15:33:11 +0100 Message-ID: <42babae5-c7e6-e105-7ab4-1df5b88c14a3@lipn.univ-paris13.fr> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8"; Format="flowed" Content-Transfer-Encoding: base64 X-Trace: blaine.gmane.org 1544711660 32428 195.159.176.226 (13 Dec 2018 14:34:20 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Thu, 13 Dec 2018 14:34:20 +0000 (UTC) User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.14; rv:60.0) Gecko/20100101 Thunderbird/60.3.3 To: dmanet-G033eQCYXkkRtNtAH2Wc8g@public.gmane.org, categories-59hdLBrVOVU@public.gmane.org, logic-o02PS0xoJP/q4qjOmvqfQQ@public.gmane.org, prooftheory-0VDFhBbLC1Y8tAQEoGlWAQ@public.gmane.org, frogs-nJFXYWEDAR8wZN84zEGlPg@public.gmane.org, Proof-Complexity-+0VSyhQgw7rtwjQa/ONI9g@public.gmane.org, finite-model-theory-JyGdfDITRCtaq5fyzuukUWfrygkm6VTR@public.gmane.org, fom-+I05ep9qJbk3uPMLIKxrzw@public.gmane.org, types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org, gdr-im-JHSeY3WhOOtQFI55V6+gNQ@public.gmane.org, gdri-ll-1cNGNKGn6cQWZRVrvSGiciX2jo+Vo868geFHuMeyLfo@public.gmane.org, THEORYNT-0lvw86wZMd8gmrbMBL3H1uW1CriLhL8O@public.gmane.org Original-X-From: types-announce-bounces-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org Thu Dec 13 15:34:14 2018 Return-path: Envelope-to: gcst-types-announce-Uylq5CNFT+jYtjvyW6yDsg@public.gmane.org Original-Received: from rhizome.seas.upenn.edu ([158.130.69.24]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gXS42-00089y-Jy; Thu, 13 Dec 2018 15:34:10 +0100 Original-Received: from RHIZOME.SEAS.UPENN.EDU (localhost.upenn.edu [127.0.0.1]) by RHIZOME.seas.upenn.edu (8.15.2/8.14.3) with ESMTP id wBDEYCbP015657; Thu, 13 Dec 2018 09:34:31 -0500 X-Mailman-Handler: $Id: mm-handler,v 1.2 2002/04/05 19:41:09 bwarsaw Exp $ Original-Received: from telepathy.seas.upenn.edu (telepathy.seas.upenn.edu [158.130.68.71]) by RHIZOME.seas.upenn.edu (8.15.2/8.14.3) with ESMTP id wBDEXH9N015617 for ; Thu, 13 Dec 2018 09:33:17 -0500 Original-Received: from mx0b-000c2a01.pphosted.com (mx0b-000c2a01.pphosted.com [148.163.155.36]) by telepathy.seas.upenn.edu (8.15.2/8.15.2) with ESMTPS id wBDEXHLs019338 (version=TLSv1.2 cipher=AES256-GCM-SHA384 bits=256 verify=NOT) for ; Thu, 13 Dec 2018 09:33:17 -0500 Original-Received: from pps.filterd (m0128480.ppops.net [127.0.0.1]) by mx0b-000c2a01.pphosted.com (8.16.0.27/8.16.0.27) with SMTP id wBDETaVN018213 for ; Thu, 13 Dec 2018 09:33:17 -0500 Authentication-Results: ppops.net; spf=none smtp.mailfrom=Damiano.Mazza-GvcO4e2DtY6Xazpt0qSg7i2dQEUGKa3O@public.gmane.org Original-Received: from mail.lipn.univ-paris13.fr (mail.lipn.univ-paris13.fr [194.254.163.74]) by mx0b-000c2a01.pphosted.com with ESMTP id 2pb8dtjpe7-1 for ; Thu, 13 Dec 2018 09:33:16 -0500 Original-Received: from Damianos-MacBook-Air.local (unknown [109.190.253.11]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) (Authenticated sender: mazza-GvcO4e2DtY6Xazpt0qSg7i2dQEUGKa3O@public.gmane.org) by mail.lipn.univ-paris13.fr (Postfix) with ESMTPSA id E8E6826188A; Thu, 13 Dec 2018 15:33:11 +0100 (CET) Content-Language: en-US X-CLX-Shades: MLX X-CLX-Response: 1TFkXGBIZEQpMehcaEQpZTRdnZnIRCllJFxpxGwYadwYSEgYTH0IYHwYaBhs aGgYacRoQGncGGgYaBhoGGgYaBhpxGhAadwYaEQpZXhdobnkRCklGF19aT0REWU9LWXVCRVleT0 4RCkNOFwdobk14Q2taTB5PQ0JgcGthEhNbHlptE1kfZm5Sb0BtEQpYXBcfBBoEGx8dBx4cS0kbT EgcBRsaBBsbGgQeEgQbEBseGh8aEQpeWRd+eWhgYxEKTVwXGRgSEQpMWhdoaU1raxEKQ1oXGxMe BBgfHgQbHBkEHR4RCkJeFxsRCkReFxsYEQpCXBcaEQpCRRdtehxnT1sSWkAcYhEKQk4XZlxsW0V LHWJjH10RCkJMF29oa0xje2FGRV9jEQpCbBdpRhMbW21eZmJHEhEKQkAXZ3NMelJGfkB4T2gRCk JYF29ER096fF1MW0xoEQpNXhcHGxEKcGgXekhcZF1pblJzXh4QBxkaEQpwaBdvE2kff19LZEhkW RAHGRoRCnBoF25yGWlIZkl+UHJvEAcZGhEKcGgXb0dzG1xMQVsaUmUQBxkaEQpwaBdjTH9fWhJJ Z29TRRAHGRoRCnB/F2xMc2Nyb3hgUENlEBoRCnBfF2NSYHB6WXMYBUltEAcZGhEKcH0XZ1hFSF1 ZRkR7QHoQBxkaEQpwfxdpE3xoAUx+ElpecxAfHREKcF8Xeh5eQENbfF9Af3sQBxkaEQpwfRdvR1 t9b2NzXlJzYBAHGRoRCnBfF29DAV1DRR8FHWMYEAcZGhEKcH0XbXB4RU5Ab00ZeFIQBxkaEQpwf xdpc3NQHmxzEnlQchAHGRoRCnBfF2dBG0QBfVpAHGJOEAcZGhEKc X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:, , definitions=2018-12-13_03:, , signatures=0 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 priorityscore=0 malwarescore=0 suspectscore=0 phishscore=0 bulkscore=100 spamscore=0 clxscore=283 lowpriorityscore=100 mlxscore=0 impostorscore=0 mlxlogscore=999 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.0.1-1810050000 definitions=main-1812130126 X-Mailman-Approved-At: Thu, 13 Dec 2018 09:34:11 -0500 X-BeenThere: types-announce-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Announcements of interest to the TYPES community List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: types-announce-bounces-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org Original-Sender: "Types-announce" Xref: news.gmane.org gmane.comp.science.types.announce:8033 gmane.science.mathematics.discrete:13017 gmane.science.mathematics.categories:9773 gmane.science.mathematics.prooftheory:1600 Archived-At: WyBUaGUgVHlwZXMgRm9ydW0gKGFubm91bmNlbWVudHMgb25seSksCiAgICAgaHR0cDovL2xpc3Rz LnNlYXMudXBlbm4uZWR1L21haWxtYW4vbGlzdGluZm8vdHlwZXMtYW5ub3VuY2UgXQoKKioqIENh bGwgZm9yIHBhcnRpY2lwYXRpb24qKioKCkNhbGVpZG9zY29wZTogUmVzZWFyY2ggU2Nob29sIGlu IENvbXB1dGF0aW9uYWwgQ29tcGxleGl0eQoKSW5zdGl0dXQgSGVucmkgUG9pbmNhcsOpLCBQYXJp cywgMTctMjEgSnVuZSAyMDE5CgpodHRwOi8vY2FsZWlkb3Njb3BlLnNjaWVuY2VzY29uZi5vcmcv CgoKRGVhciBhbGwsCgpXZSBhcmUgZGVsaWdodGVkIHRvIGFubm91bmNlIHRoZSBDYWxlaWRvc2Nv cGUgUmVzZWFyY2ggU2Nob29sIGluIApDb21wdXRhdGlvbmFsIENvbXBsZXhpdHksIHRvIHRha2Ug cGxhY2UgYXQgdGhlIEluc3RpdHV0IEhlbnJpIFBvaW5jYXLDqSwgClBhcmlzIDE3LTIxIEp1bmUg MjAxOS4gVGhlIHNjaG9vbCBpcyBhaW1lZCBhdCBncmFkdWF0ZSBzdHVkZW50cyBhbmQgCnJlc2Vh cmNoZXJzIHdobyBhbHJlYWR5IHdvcmsgaW4gc29tZSBhc3BlY3RzIG9mIGNvbXB1dGF0aW9uYWwg Y29tcGxleGl0eSAKYW5kL29yIHdobyB3b3VsZCBsaWtlIHRvIGxlYXJuIGFib3V0IHRoZSB2YXJp b3VzIGFwcHJvYWNoZXMuCgoKREVTQ1JJUFRJT04KCkNvbXB1dGF0aW9uYWwgY29tcGxleGl0eSB0 aGVvcnkgd2FzIGJvcm4gbW9yZSB0aGFuIDUwIHllYXJzIGFnbyB3aGVuIApyZXNlYXJjaGVycyBz dGFydGVkIGFza2luZyB0aGVtc2VsdmVzIHdoYXQgY291bGQgYmUgY29tcHV0ZWQgCmVmZmljaWVu dGx5LiBDbGFzc2lmeWluZyBwcm9ibGVtcy9mdW5jdGlvbnMgd2l0aCByZXNwZWN0IHRvIHRoZSBh bW91bnQgCm9mIHJlc291cmNlcyAoZS5nLiB0aW1lIGFuZC9vciBzcGFjZSkgbmVlZGVkIHRvIHNv bHZlL2NvbXB1dGUgdGhlbSAKdHVybmVkIG91dCB0byBiZSBhbiBleHRyZW1lbHkgZGlmZmljdWx0 IHF1ZXN0aW9uLiAgVGhpcyBoYXMgbGVkIApyZXNlYXJjaGVycyB0byBkZXZlbG9wIGEgcmVtYXJr YWJsZSB2YXJpZXR5IG9mIGFwcHJvYWNoZXMsIGVtcGxveWluZyAKZGlmZmVyZW50IG1hdGhlbWF0 aWNhbCBtZXRob2RzIGFuZCB0aGVvcmllcy4KClRoZSBmdXR1cmUgZGV2ZWxvcG1lbnQgb2YgY29t cGxleGl0eSB0aGVvcnkgd2lsbCByZXF1aXJlIGEgc3VidGxlIAp1bmRlcnN0YW5kaW5nIG9mIHRo ZSBzaW1pbGFyaXRpZXMsIGRpZmZlcmVuY2VzIGFuZCBsaW1pdGF0aW9ucyBvZiB0aGUgCm1hbnkg Y3VycmVudCBhcHByb2FjaGVzLiBJbiBmYWN0LCBldmVuIHRob3VnaCB0aGVzZSBzdHVkeSB0aGUg c2FtZSAKcGhlbm9tZW5vbiwgdGhleSBhcmUgZGV2ZWxvcGVkIHRvZGF5IHdpdGhpbiBkaXNqb2lu dCBjb21tdW5pdGllcywgd2l0aCAKbGl0dGxlIG9yIG5vIGNvbW11bmljYXRpb24gYmV0d2VlbiB0 aGVtIChhbGdvcml0aG1zLCBsb2dpYywgcHJvZ3JhbW1pbmcgCnRoZW9yeSwgYWxnZWJyYS4uLiku IFRoaXMgZGlzcGVyc2lvbiBpcyB1bmZvcnR1bmF0ZSBzaW5jZSBpdCBoaW5kZXJzIHRoZSAKZGV2 ZWxvcG1lbnQgb2YgaHlicmlkIG1ldGhvZHMgYW5kIG1vcmUgZ2VuZXJhbGx5IHRoZSBhZHZhbmNl bWVudCBvZiAKY29tcHV0YXRpb25hbCBjb21wbGV4aXR5IGFzIGEgd2hvbGUuCgpUaGUgZ29hbCAo YW5kIHBlY3VsaWFyaXR5KSBvZiB0aGUgQ2FsZWlkb3Njb3BlIHNjaG9vbCBpcyB0byByZXVuaXRl IGluIGEgCnNpbmdsZSBldmVudCBhcyBtYW55IGRpZmZlcmVudCB0YWtlcyBvbiBjb21wdXRhdGlv bmFsIGNvbXBsZXhpdHkgYXMgY2FuIApyZWFzb25hYmx5IGJlIGZpdCBpbiBvbmUgd2Vlay4gIEl0 IGlzIGludGVuZGVkIGZvciBncmFkdWF0ZSBzdHVkZW50cyBhcyAKd2VsbCBhcyBlc3RhYmxpc2hl ZCByZXNlYXJjaGVycyB3aG8gd2lzaCB0byBsZWFybiBtb3JlIGFib3V0IApuZWlnaGJvdXJpbmcg YXJlYXMuCgoKTEVDVFVSRVMKCjEuIEJvb2xlYW4gY2lyY3VpdHMgYW5kIGxvd2VyIGJvdW5kcy4g KFJhaHVsIFNhbnRoYW5hbSwgVW5pdmVyc2l0eSBvZiAKT3hmb3JkKQoyLiBBbGdlYnJhaWMgY2ly Y3VpdHMgYW5kIGdlb21ldHJpYyBjb21wbGV4aXR5LiAoUGV0ZXIgQsO8cmdpc3NlciwgClRlY2hu aWNhbCBVbml2ZXJzaXR5IEJlcmxpbikKMy4gUHJvb2YgY29tcGxleGl0eSBhbmQgYm91bmRlZCBh cml0aG1ldGljLiAoU2FtIEJ1c3MsIFVuaXZlcnNpdHkgb2YgCkNhbGlmb3JuaWEgU2FuIERpZWdv KQo0LiBNYWNoaW5lLWZyZWUgY29tcGxleGl0eSAoZGVzY3JpcHRpdmUgYW5kIGltcGxpY2l0IGNv bXBsZXhpdHkpLiAoQW51aiAKRGF3YXIsIFVuaXZlcnNpdHkgb2YgQ2FtYnJpZGdlIGFuZCBVZ28g RGFsIExhZ28sIFVuaXZlcnNpdHkgb2YgQm9sb2duYSkKCkluIGFkZGl0aW9uIHRvIHRoZXNlIGJy b2FkLXJhbmdpbmcgdGhlbWVzLCB0aGVyZSB3aWxsIGFsc28gYmUgdGhyZWUgbW9yZSAKZm9jdXNz ZWQgdG9waWNzLCBwcm92aWRpbmcgZXhhbXBsZXMgb2YgKGFscmVhZHkgZXN0YWJsaXNoZWQgb3Ig CnBvdGVudGlhbCkgaW50ZXJhY3Rpb25zIGJldHdlZW4gbG9naWMsIGFsZ2VicmEgYW5kIGNvbXBs ZXhpdHk6Cgo1LiBDb25zdHJhaW50IHNhdGlzZmFjdGlvbiBwcm9ibGVtcy4gKExpYm9yIEJhcnRv LCBDaGFybGVzIFVuaXZlcnNpdHkgaW4gClByYWd1ZSkKNi4gQ29tbXVuaWNhdGlvbiBjb21wbGV4 aXR5LiAoU29waGllIExhcGxhbnRlLCBQYXJpcyA3IFVuaXZlcnNpdHkpCjcuIER1YWxpdHkgaW4g Zm9ybWFsIGxhbmd1YWdlcyBhbmQgbG9naWMuIChEYW5pZWxhIFBldHJpc2FuLCBQYXJpcyA3IApV bml2ZXJzaXR5KQoKClJFR0lTVFJBVElPTgoKUmVnaXN0cmF0aW9uIHRvIHRoZSBzY2hvb2wgaXMg ZnJlZSBidXQgbWFuZGF0b3J5LiBUaGlzIGlzIHRvIGhlbHAgdXMgCnBsYW4gdGVhL2NvZmZlZSBi cmVha3MgYW5kIHNvY2lhbCBhY3Rpdml0aWVzLgoKaHR0cHM6Ly9jYWxlaWRvc2NvcGUuc2NpZW5j ZXNjb25mLm9yZy9yZWdpc3RyYXRpb24vaW5kZXgKCkZJTkFOQ0lBTCBTVVBQT1JUCgpUaGVyZSBt YXkgYmUgb3Bwb3J0dW5pdGllcyBmb3IgZmluYW5jaWFsIHN1cHBvcnQgZm9yIHBhcnRpY2lwYW50 cy4gV2UgCndpbGwgbWFrZSByZWxldmFudCBpbmZvcm1hdGlvbiBhdmFpbGFibGUgdmlhIHRoZSB3 ZWJwYWdlLgpodHRwczovL2NhbGVpZG9zY29wZS5zY2llbmNlc2NvbmYub3JnLwoKClNQT05TT1JT CgpFdXJvcGVhbiBBc3NvY2lhdGlvbiBmb3IgQ29tcHV0ZXIgU2NpZW5jZSBMb2dpYyAoaHR0cDov L3d3dy5lYWNzbC5vcmcvKQpESU0gUkZTSSAtIFLDqWdpb24gw45sZS1kZS1GcmFuY2UgKGh0dHBz Oi8vZGltLXJmc2kuZnIvKQpVbml2ZXJzaXTDqSBQYXJpcyAxMyAoaHR0cHM6Ly93d3cudW5pdi1w YXJpczEzLmZyLykKTGFib3JhdG9pcmUgZCdJbmZvcm1hdGlxdWUgZGUgUGFyaXMgTm9yZCAoaHR0 cHM6Ly9saXBuLnVuaXYtcGFyaXMxMy5mci8pCgo=