From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9867 Path: news.gmane.org!.POSTED.blaine.gmane.org!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: 2nd Call for Participation and Application to Financial Support Date: Fri, 22 Mar 2019 12:04:45 +0100 Message-ID: <421cf9cf-5a82-9e99-b180-b6ba86c74943@lipn.univ-paris13.fr> Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8"; Format="flowed" Content-Transfer-Encoding: base64 Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="59735"; mail-complaints-to="usenet@blaine.gmane.org" User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.14; rv:60.0) Gecko/20100101 Thunderbird/60.5.1 To: dmanet-G033eQCYXkkRtNtAH2Wc8g@public.gmane.org, categories-59hdLBrVOVU@public.gmane.org, logic-o02PS0xoJP/q4qjOmvqfQQ@public.gmane.org, prooftheory-0VDFhBbLC1Y8tAQEoGlWAQ@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, elica-GvcO4e2DtY6Xazpt0qSg7i2dQEUGKa3O@public.gmane.org Original-X-From: types-announce-bounces-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org Fri Mar 22 12:40:26 2019 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.89) (envelope-from ) id 1h7IX2-000FD3-FJ; Fri, 22 Mar 2019 12:40:16 +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 x2MBZ1W8013943; Fri, 22 Mar 2019 07:35:07 -0400 X-Mailman-Handler: $Id: mm-handler,v 1.2 2002/04/05 19:41:09 bwarsaw Exp $ Original-Received: from sympathy.seas.upenn.edu (sympathy.seas.upenn.edu [158.130.69.34]) by RHIZOME.seas.upenn.edu (8.15.2/8.14.3) with ESMTP id x2MB4uOB011357 for ; Fri, 22 Mar 2019 07:04:56 -0400 Original-Received: from mx0a-000c2a01.pphosted.com (mx0a-000c2a01.pphosted.com [148.163.151.92]) by sympathy.seas.upenn.edu (8.15.2/8.15.2) with ESMTPS id x2MB4psP005022 (version=TLSv1.2 cipher=AES256-GCM-SHA384 bits=256 verify=NOT) for ; Fri, 22 Mar 2019 07:04:55 -0400 Original-Received: from pps.filterd (m0128479.ppops.net [127.0.0.1]) by mx0a-000c2a01.pphosted.com (8.16.0.27/8.16.0.27) with SMTP id x2MB4JSq002221 for ; Fri, 22 Mar 2019 07:04:50 -0400 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 mx0a-000c2a01.pphosted.com with ESMTP id 2rcetmtsx8-1 for ; Fri, 22 Mar 2019 07:04:50 -0400 Original-Received: from 10.10.6.236 (unknown [10.10.6.236]) (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 6AC91261567; Fri, 22 Mar 2019 12:04:45 +0100 (CET) Content-Language: en-US X-CLX-Shades: MLX X-CLX-Response: 1TFkXGx0eEQpMehcaEQpZRBdrEmQBTlhafG9paBEKWFgXb2hrTGN7YUZFX2M RCnhOF2ZcbFtFSx1iYx9dEQp5TBdmR1pieHxFU3sdGBEKeUMXbhxZekl9bFNHG1IRCllNF2dmch EKWUkXGnEbBhp3BhsYHgYbGhpCGBwGGgYHHxoGGnEaEBp3BhoGGgYaBhoGGgYacRoQGncGGhEKW V4XaG55EQpJRhdfWk9ERFlPS1l1QkVZXk9OEQpDThdbWx1AdV9wSEZoZFwTExpNGmFmWE5ia11J S0FTfmdoThEKWFwXHwQaBBscEgceT09IE0lJGwUbGgQbGhoEHhIEGxAbHhofGhEKXlkXflNHcl4 RCk1cFwcbHxMRCkxaF2hpTWtvEQpCTxdmX3xccEYbcHptGhEKQ1oXGxMeBBgfHgQbHBkEHR4RCk JeFxsRCkReFxsYEQpCXBcaEQpCRRdtehxnT1sSWkAcYhEKQk4XZlxsW0VLHWJjH10RCkJMF29oa 0xje2FGRV9jEQpCbBdpRhMbW21eZmJHEhEKQkAXZ3NMelJGfkB4T2gRCkJYF29ER096fF1MW0xo EQpNXhcHGxEKWlgXHhEKcGgXelAaRW1Cf10fHWIQBxkaEQpwaBdoXx5DRmYcQ39iHhAHGRoRCnB oF2JiTGgSWBMaEhx9EAcZGhEKcGgXbnIZaUhmSX5Qcm8QBxkaEQpwaBdvR3MbXExBWxpSZRAHGR oRCnB/F2xMc2Nyb3hgUENlEBsSEQpwXxdjUmBwellzGAVJbRAHGRoRCnB9F2dYRUhdWUZEe0B6E AcZGhEKcH8XaRN8aAFMfhJaXnMQHh4RCnBfF3oeXkBDW3xfQH97E X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:, , definitions=2019-03-22_07:, , signatures=0 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 priorityscore=0 malwarescore=0 suspectscore=0 phishscore=0 bulkscore=5 spamscore=0 clxscore=174 lowpriorityscore=5 mlxscore=0 impostorscore=0 mlxlogscore=999 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.0.1-1810050000 definitions=main-1903220084 X-Mailman-Approved-At: Fri, 22 Mar 2019 07:28:07 -0400 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:8244 gmane.science.mathematics.discrete:13033 gmane.science.mathematics.categories:9867 gmane.science.mathematics.prooftheory:1613 Archived-At: WyBUaGUgVHlwZXMgRm9ydW0gKGFubm91bmNlbWVudHMgb25seSksCiAgICAgaHR0cDovL2xpc3Rz LnNlYXMudXBlbm4uZWR1L21haWxtYW4vbGlzdGluZm8vdHlwZXMtYW5ub3VuY2UgXQoKKioqIENh bGwgZm9yIHBhcnRpY2lwYXRpb24qKioKCkNhbGVpZG9zY29wZTogUmVzZWFyY2ggU2Nob29sIGlu IENvbXB1dGF0aW9uYWwgQ29tcGxleGl0eQoKSW5zdGl0dXQgSGVucmkgUG9pbmNhcsOpLCBQYXJp cywgMTctMjEgSnVuZSAyMDE5CgpodHRwOi8vY2FsZWlkb3Njb3BlLnNjaWVuY2VzY29uZi5vcmcv CgoKRGVhciBhbGwsCgpUaGlzIGlzIHRoZSBzZWNvbmQgYW5ub3VuY2VtZW50IGZvciB0aGUgQ2Fs ZWlkb3Njb3BlIFJlc2VhcmNoIFNjaG9vbCBpbiAKQ29tcHV0YXRpb25hbCBDb21wbGV4aXR5LCB0 byB0YWtlIHBsYWNlIGF0IHRoZSBJbnN0aXR1dCBIZW5yaSBQb2luY2Fyw6ksIApQYXJpcyAxNy0y MSBKdW5lIDIwMTkuIFRoZSBzY2hvb2wgaXMgYWltZWQgYXQgZ3JhZHVhdGUgc3R1ZGVudHMgYW5k IApyZXNlYXJjaGVycyB3aG8gYWxyZWFkeSB3b3JrIGluIHNvbWUgYXNwZWN0cyBvZiBjb21wdXRh dGlvbmFsIGNvbXBsZXhpdHkgCmFuZC9vciB3aG8gd291bGQgbGlrZSB0byBsZWFybiBhYm91dCB0 aGUgdmFyaW91cyBhcHByb2FjaGVzLgoKKkltcG9ydGFudCBuZXdzOioKCi0gIHRoZSByZWdpc3Ry YXRpb24gZGVhZGxpbmUgaXMgc2V0IHRvICoxOSBNYXkgMjAxOSo7Ci0gIHdlIGFyZSBub3cgYWNj ZXB0aW5nIGFwcGxpY2F0aW9ucyBmb3IgKmZpbmFuY2lhbCBzdXBwb3J0KiBmb3IgCnBhcnRpY2lw YW50cyAoc2VlIGJlbG93IGZvciB0aGUgZGV0YWlscykuCgoKREVTQ1JJUFRJT04KCkNvbXB1dGF0 aW9uYWwgY29tcGxleGl0eSB0aGVvcnkgd2FzIGJvcm4gbW9yZSB0aGFuIDUwIHllYXJzIGFnbyB3 aGVuIApyZXNlYXJjaGVycyBzdGFydGVkIGFza2luZyB0aGVtc2VsdmVzIHdoYXQgY291bGQgYmUg Y29tcHV0ZWQgCmVmZmljaWVudGx5LiBDbGFzc2lmeWluZyBwcm9ibGVtcy9mdW5jdGlvbnMgd2l0 aCByZXNwZWN0IHRvIHRoZSBhbW91bnQgCm9mIHJlc291cmNlcyAoZS5nLiB0aW1lIGFuZC9vciBz cGFjZSkgbmVlZGVkIHRvIHNvbHZlL2NvbXB1dGUgdGhlbSAKdHVybmVkIG91dCB0byBiZSBhbiBl eHRyZW1lbHkgZGlmZmljdWx0IHF1ZXN0aW9uLiAgVGhpcyBoYXMgbGVkIApyZXNlYXJjaGVycyB0 byBkZXZlbG9wIGEgcmVtYXJrYWJsZSB2YXJpZXR5IG9mIGFwcHJvYWNoZXMsIGVtcGxveWluZyAK ZGlmZmVyZW50IG1hdGhlbWF0aWNhbCBtZXRob2RzIGFuZCB0aGVvcmllcy4KClRoZSBmdXR1cmUg ZGV2ZWxvcG1lbnQgb2YgY29tcGxleGl0eSB0aGVvcnkgd2lsbCByZXF1aXJlIGEgc3VidGxlIAp1 bmRlcnN0YW5kaW5nIG9mIHRoZSBzaW1pbGFyaXRpZXMsIGRpZmZlcmVuY2VzIGFuZCBsaW1pdGF0 aW9ucyBvZiB0aGUgCm1hbnkgY3VycmVudCBhcHByb2FjaGVzLiBJbiBmYWN0LCBldmVuIHRob3Vn aCB0aGVzZSBzdHVkeSB0aGUgc2FtZSAKcGhlbm9tZW5vbiwgdGhleSBhcmUgZGV2ZWxvcGVkIHRv ZGF5IHdpdGhpbiBkaXNqb2ludCBjb21tdW5pdGllcywgd2l0aCAKbGl0dGxlIG9yIG5vIGNvbW11 bmljYXRpb24gYmV0d2VlbiB0aGVtIChhbGdvcml0aG1zLCBsb2dpYywgcHJvZ3JhbW1pbmcgCnRo ZW9yeSwgYWxnZWJyYS4uLikuIFRoaXMgZGlzcGVyc2lvbiBpcyB1bmZvcnR1bmF0ZSBzaW5jZSBp dCBoaW5kZXJzIHRoZSAKZGV2ZWxvcG1lbnQgb2YgaHlicmlkIG1ldGhvZHMgYW5kIG1vcmUgZ2Vu ZXJhbGx5IHRoZSBhZHZhbmNlbWVudCBvZiAKY29tcHV0YXRpb25hbCBjb21wbGV4aXR5IGFzIGEg d2hvbGUuCgpUaGUgZ29hbCAoYW5kIHBlY3VsaWFyaXR5KSBvZiB0aGUgQ2FsZWlkb3Njb3BlIHNj aG9vbCBpcyB0byByZXVuaXRlIGluIGEgCnNpbmdsZSBldmVudCBhcyBtYW55IGRpZmZlcmVudCB0 YWtlcyBvbiBjb21wdXRhdGlvbmFsIGNvbXBsZXhpdHkgYXMgY2FuIApyZWFzb25hYmx5IGJlIGZp dCBpbiBvbmUgd2Vlay4gIEl0IGlzIGludGVuZGVkIGZvciBncmFkdWF0ZSBzdHVkZW50cyBhcyAK d2VsbCBhcyBlc3RhYmxpc2hlZCByZXNlYXJjaGVycyB3aG8gd2lzaCB0byBsZWFybiBtb3JlIGFi b3V0IApuZWlnaGJvdXJpbmcgYXJlYXMuCgoKTEVDVFVSRVMKCjEuIEJvb2xlYW4gY2lyY3VpdHMg YW5kIGxvd2VyIGJvdW5kcy4gKFJhaHVsIFNhbnRoYW5hbSwgVW5pdmVyc2l0eSBvZiAKT3hmb3Jk KQoyLiBBbGdlYnJhaWMgY2lyY3VpdHMgYW5kIGdlb21ldHJpYyBjb21wbGV4aXR5LiAoUGV0ZXIg QsO8cmdpc3NlciwgClRlY2huaWNhbCBVbml2ZXJzaXR5IEJlcmxpbikKMy4gUHJvb2YgY29tcGxl eGl0eSBhbmQgYm91bmRlZCBhcml0aG1ldGljLiAoU2FtIEJ1c3MsIFVuaXZlcnNpdHkgb2YgCkNh bGlmb3JuaWEgU2FuIERpZWdvKQo0LiBNYWNoaW5lLWZyZWUgY29tcGxleGl0eSAoZGVzY3JpcHRp dmUgYW5kIGltcGxpY2l0IGNvbXBsZXhpdHkpLiAoQW51aiAKRGF3YXIsIFVuaXZlcnNpdHkgb2Yg Q2FtYnJpZGdlIGFuZCBVZ28gRGFsIExhZ28sIFVuaXZlcnNpdHkgb2YgQm9sb2duYSkKCkluIGFk ZGl0aW9uIHRvIHRoZXNlIGJyb2FkLXJhbmdpbmcgdGhlbWVzLCB0aGVyZSB3aWxsIGFsc28gYmUg dGhyZWUgbW9yZSAKZm9jdXNzZWQgdG9waWNzLCBwcm92aWRpbmcgZXhhbXBsZXMgb2YgKGFscmVh ZHkgZXN0YWJsaXNoZWQgb3IgCnBvdGVudGlhbCkgaW50ZXJhY3Rpb25zIGJldHdlZW4gbG9naWMs IGFsZ2VicmEgYW5kIGNvbXBsZXhpdHk6Cgo1LiBDb25zdHJhaW50IHNhdGlzZmFjdGlvbiBwcm9i bGVtcy4gKExpYm9yIEJhcnRvLCBDaGFybGVzIFVuaXZlcnNpdHkgaW4gClByYWd1ZSkKNi4gQ29t bXVuaWNhdGlvbiBjb21wbGV4aXR5LiAoU29waGllIExhcGxhbnRlLCBQYXJpcyA3IFVuaXZlcnNp dHkpCjcuIER1YWxpdHkgaW4gZm9ybWFsIGxhbmd1YWdlcyBhbmQgbG9naWMuIChEYW5pZWxhIFBl dHJpc2FuLCBQYXJpcyA3IApVbml2ZXJzaXR5KQoKClJFR0lTVFJBVElPTgoKUmVnaXN0cmF0aW9u IHRvIHRoZSBzY2hvb2wgaXMgZnJlZSBidXQgbWFuZGF0b3J5LiBUaGlzIGlzIHRvIGhlbHAgdXMg CnBsYW4gdGVhL2NvZmZlZSBicmVha3MgYW5kIHNvY2lhbCBhY3Rpdml0aWVzLgoKaHR0cHM6Ly9j YWxlaWRvc2NvcGUuc2NpZW5jZXNjb25mLm9yZy9yZWdpc3RyYXRpb24vaW5kZXgKClRoZSBkZWFk bGluZSBmb3IgcmVnaXN0cmF0aW9uIGlzICoxOSBNYXkgMjAxOSouCgoKRklOQU5DSUFMIFNVUFBP UlQKCkZpbmFuY2lhbCBzdXBwb3J0IGlzIGF2YWlsYWJsZSBmb3IgcGFydGljaXBhbnRzLiAgWW91 IG1heSBhcHBseSBieSAKZmlsbGluZyBpbiB0aGUgZm9sbG93aW5nIG9ubGluZSBmb3JtOgoKaHR0 cDovL3RpbnkuY2MvMG9pMzN5CgpQbGVhc2Ugc2VuZCB5b3VyIGFwcGxpY2F0aW9uIG5vIGxhdGVy IHRoYW4gKjE0IEFwcmlsIDIwMTkqIHRvIG1heGltaXplIAp5b3VyIGNoYW5jZXMgb2YgYmVpbmcg Y29uc2lkZXJlZC4gIChPdXIgZnVuZHMgYmVpbmcgbGltaXRlZCwgd2UgCmFwb2xvZ2l6ZSBpbiBh ZHZhbmNlIGlmIHlvdXIgc3VwcG9ydCByZXF1ZXN0IHdpbGwgb25seSBiZSBtZXQgcGFydGlhbGx5 IApvciBkZWNsaW5lZCkuCgpBbHNvIG5vdGUgdGhhdCAqc3R1ZGVudCogbWVtYmVycyBvZiB0aGUg QVNMIChBc3NvY2lhdGlvbiBmb3IgU3ltYm9saWMgCkxvZ2ljKSBtYXkgYXBwbHkgZm9yIHRyYXZl bCBzdXBwb3J0IChub3QgbG9kZ2luZyEpIGJ5IGNvbnRhY3RpbmcgCmRpcmVjdGx5IEFTTCBhbmQg bWVudGlvbmluZyBhdHRlbmRhbmNlIHRvIENhbGVpZG9zY29wZSAod2hpY2ggaXMgCnNwb25zb3Jl ZCBieSBBU0wpLgoKClNQT05TT1JTCgpGdW5kaW5nIHNwb25zb3JzOgpESU0gUkZTSSAtIFLDqWdp b24gw45sZS1kZS1GcmFuY2UgKGh0dHBzOi8vZGltLXJmc2kuZnIvKQpBZ2VuY2UgTmF0aW9uYWxl IGRlIGxhIFJlY2hlcmNoZSAoaHR0cDovL3d3dy5hZ2VuY2UtbmF0aW9uYWxlLXJlY2hlcmNoZS5m ci8pCkNOUlMgKGh0dHA6Ly93d3cuY25ycy5mci9lbikKU0lHTE9HIChodHRwczovL3NpZ2xvZy5o b3N0aW5nLmFjbS5vcmcvKQpUaGUgRXVyb3BlYW4gQ29tbWlzc2lvbiAoaHR0cHM6Ly9lYy5ldXJv cGEuZXUvY29tbWlzc2lvbi9pbmRleF9lbikKVW5pdmVyc2l0w6kgUGFyaXMgMTMgKGh0dHBzOi8v d3d3LnVuaXYtcGFyaXMxMy5mci8pCkxhYm9yYXRvaXJlIGQnSW5mb3JtYXRpcXVlIGRlIFBhcmlz IE5vcmQgKGh0dHBzOi8vbGlwbi51bml2LXBhcmlzMTMuZnIvKQpBc3NvY2lhdGlvbiBmb3IgU3lt Ym9saWMgTG9naWMgKGh0dHA6Ly9hc2xvbmxpbmUub3JnLykKCk90aGVyIHNwb25zb3JzOgpFdXJv cGVhbiBBc3NvY2lhdGlvbiBmb3IgQ29tcHV0ZXIgU2NpZW5jZSBMb2dpYyAoaHR0cDovL3d3dy5l YWNzbC5vcmcvKQpTb2Npw6l0w6kgTWF0aMOpbWF0aXF1ZSBkZSBGcmFuY2UgKGh0dHBzOi8vc21m LmVtYXRoLmZyLykK