From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9874 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Pierre Clairambault Newsgroups: gmane.comp.science.types.announce,gmane.science.mathematics.categories Subject: 2nd CfP : Structures and Deduction '19, Dortmund June 29-30 (colocated with FSCD) Date: Mon, 1 Apr 2019 22:32:22 +0200 Message-ID: <78ec6bbf-388f-cd9d-16e7-851fe883ccc4@ens-lyon.fr> Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="92853"; mail-complaints-to="usenet@blaine.gmane.org" User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.6.1 To: categories-59hdLBrVOVU@public.gmane.org, gdr-im-JHSeY3WhOOtQFI55V6+gNQ@public.gmane.org, types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org Original-X-From: types-announce-bounces-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org Mon Apr 01 23:02:37 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 1hB44c-000NrC-34; Mon, 01 Apr 2019 23:02:30 +0200 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 x31L147K028380; Mon, 1 Apr 2019 17:01:09 -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 x31KWQQt026303 for ; Mon, 1 Apr 2019 16:32:26 -0400 Original-Received: from mx0b-000c2a01.pphosted.com (mx0b-000c2a01.pphosted.com [148.163.155.36]) by sympathy.seas.upenn.edu (8.15.2/8.15.2) with ESMTPS id x31KWPOm011362 (version=TLSv1.2 cipher=AES256-GCM-SHA384 bits=256 verify=NOT) for ; Mon, 1 Apr 2019 16:32:25 -0400 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 x31KSaGF008325 for ; Mon, 1 Apr 2019 16:32:25 -0400 Authentication-Results: ppops.net; spf=pass smtp.mailfrom=pierre.clairambault-vYW+cPY1g1pWj0EZb7rXcA@public.gmane.org Original-Received: from labbe.ens-lyon.fr (labbe.ens-lyon.fr [140.77.167.222]) by mx0b-000c2a01.pphosted.com with ESMTP id 2rj2prgtcs-1 for ; Mon, 01 Apr 2019 16:32:24 -0400 Original-Received: from localhost (localhost [127.0.0.1]) by labbe.ens-lyon.fr (Postfix) with ESMTP id 30037320C1C; Mon, 1 Apr 2019 22:32:23 +0200 (CEST) X-Virus-Scanned: by amavisd-new-2.10.1 (20141025) (Debian) at ens-lyon.fr Original-Received: from labbe.ens-lyon.fr ([127.0.0.1]) by localhost (labbe.ens-lyon.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 6gZ3dG7VKQyQ; Mon, 1 Apr 2019 22:32:23 +0200 (CEST) Original-Received: from [192.168.0.14] (64.115.192.77.rev.sfr.net [77.192.115.64]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (Client did not present a certificate) by labbe.ens-lyon.fr (Postfix) with ESMTPSA id 8E025320B6E; Mon, 1 Apr 2019 22:32:22 +0200 (CEST) Content-Language: en-US X-CLX-Shades: MLX X-CLX-Response: 1TFkXGBgZEQpMehcaEQpZRBdsYBJ6G1psXX9OWxEKWFgXZxgcHRxcUHlEYmQ RCnhOF2Bjfl1oXm1bGkRAEQp5TBdhZR9kSW9+SXxpBREKeUMXYXISTGdIGFleAUURCllNF2dmch EKWUkXGnEaEBp3BhgaGXEYGxgQGncGGBoGGhEKWV4XaG55EQpJRhdfWk9ERFlPS1l1QkVZXk9OE QpDThdGaHtJX2QfTXloUBkdTxkYXGhOHVt/RxsTbXNfRkQSGhEKWFwXHwQaBBscEwceHRkeTBId GQUbGgQbGxoEHhIEEh8QGx4aHxoRCl5ZF34YaEQaEQpNXBceGBMRCkxaF2hpTU1NEQpCTxdnbUI YemEbAWZDfhEKQ1oXGx4aBB0dBBscHQQYGBgRCkJeFxsRCkReFxkRCkJcFxoRCkJFF2IFfgFPHm 8cBUBeEQpCThdgY35daF5tWxpEQBEKQkwXZxgcHRxcUHlEYmQRCkJsF2dpb3BBQ09ycG9nEQpCQ Bdle2daRER5XBtHGxEKQlgXb0RHT3p8XUxbTGgRClpYFxgRCnBnF2BtfH1SXAVjb2hmEB4SEQpw aBdkXB9sf2teHh99YRAeEhEKcGgXehlGaGxNG0ZgQGMQGRoRCnBoF3p5YFMfZX5CZBxAEBkaEQp waBdvU3x6H2thR1ATTxAeEhEKcGgXbx4SW3MaGnB8GUYQHhIRCnB/F2RBWEIFZRlyb31eEB4aEQ pwXxdrYBN7BR5Mc1BdXBAcGhEKcH0XaUtoYEZaUGhgWEQQHhIRCnB/F2VdSVlbUlJ+HWwbEB4SE QpwXxdiQWl7W25gGkFhXRAeEhEKcH0XbFsTSW1MaWB7RHkQHhIRC X-Proofpoint-SPF-Result: pass X-Proofpoint-SPF-Record: v=spf1 +ip4:140.77.167.222 +ip4:140.77.167.34 +ip4:140.77.167.16 +mx ?all] X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:, , definitions=2019-04-01_06:, , signatures=0 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 priorityscore=0 malwarescore=0 suspectscore=0 phishscore=0 bulkscore=0 spamscore=0 clxscore=223 lowpriorityscore=0 mlxscore=0 impostorscore=0 mlxlogscore=999 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.0.1-1810050000 definitions=main-1904010132 X-Mailman-Approved-At: Mon, 01 Apr 2019 16:56:35 -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:8273 gmane.science.mathematics.categories:9874 Archived-At: WyBUaGUgVHlwZXMgRm9ydW0gKGFubm91bmNlbWVudHMgb25seSksCiAgICAgaHR0cDovL2xpc3Rz LnNlYXMudXBlbm4uZWR1L21haWxtYW4vbGlzdGluZm8vdHlwZXMtYW5ub3VuY2UgXQoKKioqIDJu ZCBDYWxsIGZvciBQYXBlcnM6IFN0cnVjdHVyZXMgYW5kIERlZHVjdGlvbiAyMDE5ICoqKgoKU0Ti gJkxOTogNXRoIEludC4gV29ya3Nob3Agb24gU3RydWN0dXJlcyBhbmQgRGVkdWN0aW9uIDIwMTkK CkRvcnRtdW5kLCBKdW5lIDI5LTMwIDIwMTkgLS0tIEFmZmlsaWF0ZWQgd2l0aCBGU0NEIDIwMTkK CiBTdWJtaXNzaW9uOiBBcHJpbCAxMgogTm90aWZpY2F0aW9uOiBNYXkgMTMKCiBTdWJtaXNzaW9u IHBhZ2U6IGh0dHA6Ly9lYXN5Y2hhaXIub3JnL2NvbmZlcmVuY2VzLz9jb25mPXNkMTkKIFdvcmtz aG9wIHBhZ2U6IGh0dHA6Ly9hbnVwYW1kYXMuY29tL3NkMTkvCiBGU0NEIDIwMTkgcGFnZTogaHR0 cDovL2Vhc3ljb25mZXJlbmNlcy5ldS9mc2NkMjAxOS8KClNE4oCZMTkgaXMgdGhlIGZpZnRoIGlu IGEgc2VyaWVzIG9mIHdvcmtzaG9wcyBhaW1pbmcgdG8gZ2F0aGVyIHZhcmlvdXMKY29tbXVuaXRp ZXMgb2Ygc3RydWN0dXJhbCBwcm9vZiB0aGVvcmlzdHMuIEFzIHdlbGwgYXMgdGhlb3JldGljYWwg d29yawppbiB0aGUgZm9ybSBvZiByZWd1bGFyIHBhcGVycywgd2UgZW5jb3VyYWdlIHN1Ym1pc3Np b24gb2YKaW1wbGVtZW50YXRpb25zLCB0b29scyBhbmQgc3lzdGVtIGRlc2NyaXB0aW9ucy4KCgoq KiogVG9waWNzIG9mIGludGVyZXN0ICoqKgoKKiBTeW50YWN0aWMgcmVwcmVzZW50YXRpb25zIG9m IHByb29mcyAoZS5nLiBzZXF1ZW50IGNhbGN1bGksIGRlZXAKaW5mZXJlbmNlLCBmb2N1c2luZykK KiBDb21iaW5hdG9yaWFsIHJlcHJlc2VudGF0aW9ucyBvZiBwcm9vZnMgKGUuZy4gcHJvb2YgbmV0 cykKKiBBbGdlYnJhaWMgcmVwcmVzZW50YXRpb25zIG9mIHByb29mcyAoZS5nLiB2aWEgZ2FtZSBz ZW1hbnRpY3Mgb3IKY2F0ZWdvcnkgdGhlb3J5KQoqIE1ldGhvZHMgZm9yIHByb29mIG1hbmlwdWxh dGlvbiBhbmQgbm9ybWFsIGZvcm1zIG9mIHByb29mcwoqIEZvcm11bGFzLWFzLXR5cGVzIGludGVy cHJldGF0aW9ucyBvZiBwcm9vZnMKKiBDb21wdXRhdGlvbiBhbmQgcmV3cml0aW5nIGluIHByb29m IHNlYXJjaCAoZS5nLiBkZWR1Y3Rpb24gbW9kdWxvIG9yCmN5Y2xpYyBwcm9vZnMpCiogQ29tcGxl eGl0eSB0aGVvcmV0aWMgYXNwZWN0cyBvZiBwcm9vZiByZXByZXNlbnRhdGlvbnMKCgoqKiogSW52 aXRlZCBTcGVha2VycyAqKioKCkFuZHJlYSBBbGVyIFR1YmVsbGEgKFVtZcOlIFVuaXZlcnNpdHkp CkRlbGlhIEtlc25lciAoVW5pdmVyc2l0w6kgUGFyaXMgNykKUmV2YW50aGEgUmFtYW5heWFrZSAo VFUgV2llbikKVGhvbWFzIFNlaWxsZXIgKENOUlMsIFVuaXZlcnNpdMOpIFBhcmlzIDEzKQoobW9y ZSBUQkEpCgoKKioqIFByb2dyYW1tZSBDb21taXR0ZWUgKioqCgpEYXZpZCBDZXJuYSwgUmVzZWFy Y2ggSW5zdGl0dXRlIGZvciBTeW1ib2xpYyBDb21wdXRhdGlvbiwgQXVzdHJpYS4KUGllcnJlIENs YWlyYW1iYXVsdCAoY28tY2hhaXIpLCBDTlJTIGFuZCBFY29sZSBOb3JtYWxlIFN1cMOpcmlldXJl IGRlCkx5b24sIEZyYW5jZS4KQW51cGFtIERhcyAoY28tY2hhaXIpLCBVbml2ZXJzaXR5IG9mIENv cGVuaGFnZW4sIERlbm1hcmsuCkFsZXNzaW8gR3VnbGllbG1pLCBVbml2ZXJzaXR5IG9mIEJhdGgs IFVLLgpTdGVwYW4gS3V6bmV0c292LCBTdGVrbG92IE1hdGhlbWF0aWNhbCBJbnN0aXR1dGUgb2Yg UkFTLCBSdXNzaWEuClNvbmlhIE1hcmluIChjby1jaGFpciksIElULVVuaXZlcnNpdHkgb2YgQ29w ZW5oYWdlbiwgRGVubWFyay4KR3VpbGxhdW1lIE11bmNoLU1hY2NhZ25vbmksIElucmlhIEJyZXRh Z25lLCBGcmFuY2UuCkVsYWluZSBQaW1lbnRlbCwgVW5pdmVyc2lkYWRlIEZlZGVyYWwgZG8gUmlv IEdyYW5kZSBkbyBOb3J0ZSwgQnJhc2lsLgpCZW5qYW1pbiBSYWxwaCwgSW5yaWEgU2FjbGF5LCBG cmFuY2UuCgoKKioqIFN1Ym1pc3Npb24gZ3VpZGVsaW5lcyAqKioKCldlIHdlbGNvbWUgc3VibWlz c2lvbiBvZiB3b3JrIHRoYXQgaGFzIGFscmVhZHkgYmVlbiBwdWJsaXNoZWQgb3IKY3VycmVudGx5 IHN1Ym1pdHRlZCB0byBhIGpvdXJuYWwgb3IgY29uZmVyZW5jZS4gVGhlIGZvbGxvd2luZyBzdWJt aXNzaW9uCmNhdGVnb3JpZXMgYXJlIHdlbGNvbWU6CgoqIEV4dGVuZGVkIGFic3RyYWN0cyAodXAg dG8gOCBwYWdlcykuIEZpbmlzaGVkIHdvcmssIHN5c3RlbQpkZXNjcmlwdGlvbnMsIHN1cnZleXMu CiogU2hvcnQgYWJzdHJhY3RzICh1cCB0byA0IHBhZ2VzKS4gV29yay1pbi1wcm9ncmVzcywgcGVy c3BlY3RpdmVzIG9uCmV4aXN0aW5nIHdvcmsuCgpUaGUgcGFnZSBsaW1pdHMgYWJvdmUgYXJlIG9u bHkgcmVjb21tZW5kYXRpb25zLCB0aGVyZSBpcyBubyBoYXJkIHVwcGVyCm9yIGxvd2VyIGJvdW5k LCB3aXRoaW4gcmVhc29uLgoKUGxlYXNlIHByZXBhcmUgeW91ciB3b3JrIHVzaW5nIHRoZSBFYXN5 Q2hhaXIgc3R5bGUgZmlsZXM6CgogaHR0cDovL3d3dy5lYXN5Y2hhaXIub3JnL3B1YmxpY2F0aW9u cy9mb3JfYXV0aG9ycwoKCioqKiBQdWJsaWNhdGlvbiAqKioKCldlIGRvIG5vdCBpbnRlbmQgdG8g aGF2ZSBwdWJsaXNoZWQgcHJvY2VlZGluZ3MsIGFzIHdlIGVuY291cmFnZSBwZW9wbGUKdG8gcHJl c2VudCB3b3JrIGluIHByb2dyZXNzLCBvciBtYXRlcmlhbCB0aGF0IGlzIGFscmVhZHkgc3VibWl0 dGVkLiBJZgp0aGVyZSBpcyBhIHN0cm9uZyBkZW1hbmQgYW1vbmcgdGhlIHBhcnRpY2lwYW50cyB3 ZSBtYXkgb3JnYW5pc2UgYQpzcGVjaWFsIGlzc3VlIG9mIGFuIG9wZW4gYWNjZXNzIGpvdXJuYWwg Zm9yIGZ1bGwgcGFwZXJzLgoKCioqKiBDb250YWN0ICoqKgoKV2UgY2FuIGJlIHJlYWNoZWQgYnkg ZW1haWwgZGlyZWN0bHkgb3IgdmlhCgogc2QxOUBlYXN5Y2hhaXIub3JnCgpUaGUgb3JnYW5pc2Vy cy4KUGllcnJlIENsYWlyYW1iYXVsdCwgQW51cGFtIERhcywgYW5kIFNvbmlhIE1hcmluCg==