From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Authentication-Results: plum.tunbury.org; dkim=pass (1024-bit key; unprotected) header.d=inria.fr header.i=@inria.fr header.a=rsa-sha256 header.s=dc header.b=Xr4LD98k; dkim=fail reason="signature verification failed" (2048-bit key; unprotected) header.d=informatik.uni-freiburg.de header.i=@informatik.uni-freiburg.de header.a=rsa-sha256 header.s=mx2401 header.b=Q3D2YQQo; dkim-atps=neutral Received-SPF: Pass (mailfrom) identity=mailfrom; client-ip=192.134.164.83; helo=mail2-relais-roc.national.inria.fr; envelope-from=caml-list-owner@inria.fr; receiver=tunbury.org Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) (using TLSv1.2 with cipher ECDHE-ECDSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by plum.tunbury.org (Postfix) with ESMTPS id BAAEC401BC for ; Tue, 4 Feb 2025 14:24:53 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=mime-version:from:date:message-id:to:subject:reply-to: sender:list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner:list-archive; bh=wKmvU72cR0dwYBIp/BifPBkFd0QWhj+jqoLzB/mKyc8=; b=Xr4LD98kDChSykEugilK4bhAOmp4+jz0kdGin5NojK8YIsGGNqjjJY/U KRw21ll9xD2g/o0lothLicDPfIu08PgM+p4Mowm/H7SX0zHxvo+K3Z8U7 +h6nhhygaQelGChc849owtUkmSazOmVBIYNNEB1/SdCgs8PQ8BAHWjLrg k=; Received-SPF: Pass (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr designates 128.93.162.160 as permitted sender) identity=mailfrom; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="caml-list-owner@inria.fr"; x-conformance=spf_only; x-record-type="v=spf1"; x-record-text="v=spf1 include:mailout.safebrands.com a:basic-mail.safebrands.com a:basic-mail01.safebrands.com a:basic-mail02.safebrands.com ip4:128.93.142.0/24 ip4:192.134.164.0/24 ip4:128.93.162.160 ip4:128.93.162.3 ip4:128.93.162.88 ip4:89.107.174.7 mx ~all" Received-SPF: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@sympa.inria.fr) identity=helo; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@sympa.inria.fr"; x-conformance=spf_only Authentication-Results: mail2-relais-roc.national.inria.fr; spf=Pass smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@sympa.inria.fr; dkim=hardfail (signature did not verify [final]) header.i=@informatik.uni-freiburg.de X-IronPort-AV: E=Sophos;i="6.13,258,1732575600"; d="scan'208,217";a="206544679" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 04 Feb 2025 15:24:53 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id E786CE0D1E; Tue, 4 Feb 2025 15:24:52 +0100 (CET) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 84A85E0261 for ; Tue, 4 Feb 2025 15:24:46 +0100 (CET) IronPort-SDR: 67a2231a_T72e7+H/tP/dSfNj6yqupaQWCbc5P9f3VrsCLXQrAlKjiZq fSQS+7u7eea8TJ0CKt2p4wiFmJalzRTxyMEL6tw== X-IPAS-Result: =?us-ascii?q?A0EyBACbIqJnhQWW5oRahSB9WjMEC0iEVoEjgiyMAIIhl?= =?us-ascii?q?0SCUIYDDwEDAQ01DwQBAQMBA4UAin8CHgcBBDQTAQIEAQEBAQMCAwEBAQEBA?= =?us-ascii?q?RABAQUBAQECAQECBAYBAhABAQEBQEmFew2CWztxgSUBAQEBAQEBAQEBAQEBH?= =?us-ascii?q?QIUVzgRHQEBJhIeBzAHAiMSAQUBPRqCYAGCZAOkFYEFQos+gTKBAYIMAQEGg?= =?us-ascii?q?QjcfAMGgUiITgGBQhoCDoN/hR4bgg2BFTWCRG+EcIMugmmCM4FCg2+DbZUdi?= =?us-ascii?q?TgmJgMHBw4rSQ4BIQMmMywBVRMXCwcFgXEBAgGBEDKBF0Q3OYIOaUk6Ag0CN?= =?us-ascii?q?YIefIIrhFyCGIIrRhkvAwMDA4M0hV6CEoN/QoU/Dx1AAwtiCz03FBtMni89h?= =?us-ascii?q?UoTaCIoHwbHIYI/gWahYDOEBIcShXSGSJMBmHyKB5lohS4RI4FbI4FcTSQUb?= =?us-ascii?q?AaCME8DGQ9XjVYNCRaDdYRgwz5CNTwCBwEKAQEDCZAzgUsBAQ?= IronPort-PHdr: A9a23:LTfLRhM1rqS11clg6Acl6nauBBdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDvq8r1AeCB92EsLoE07OQ7/u5HzRYoN6oizMrTt9lb1w/tY0uhQsuAcqIWwXQDcXBSGgEJ vlET0Jv5HqhMEJYS47UblzWpWCuv3ZJQk2sfQV6Kf7oFYHMks+5y/69+4HJYwVPmTGxfa5+I A+5oAjfqMUam5duJro+xhfXvndFeepbzn5sKV6Pghrw/Mi98ZB+/yhKp/4t68tMWrjmcqolS rBVEDspP2cp6cPxshXNURWB7WYGXGUMlRpIDQnF7BXkUZr0ryD3qOlz1jSEMMPvVbw7Viis4 KltSB/zlScILCU5/33Nisxxl61UvhSsrAFizoHOYYGVMP1+fr7Bfd4fWGFMUNpdWzBHD4iha YYEEugPMvtCr4TlqFQArRWwCwqxCu3x1jBIgWT70rcm3+k7CwzKwBAsEtAIvX/JrNv1LqASU eWtwaTV1zrDdO5d2Snn54jObxsuvO+DXbRtesTT10YvCh3FgUuUqYf4OD6VyPkCs2iF4Op9S +KglWonphpwojipyMcsjZPJhocPxVDY9CV5w5w5JcC+SE56eNKkHoFQuD+bN4RtX8MiWW5ot DwnxbIYoJO2ejUBx5s7yRDFcfOHb5SI7Qz5VOaXOTp1hmxodb2hihuv8EWtyezxWtWw3VtKs idJjMXBu20T2xHd5cWKVuZw81q/1DuOyw3e6uFJLVw7m6TVNpIswL49m5wOukrNGS/2nV/5j K6Qdkg85+eo6v/nbanhpp+AKYB7lhvyMqM0msywB+kzLwsAX3CD9Oih2rDv41f1TKtEg/Eqi KXVrZDXKdgBqqO5GwNZzJov5hKlAzql0NkUh2cLIExYdB6dj4XkNVfDK+3mAPe7nlSsiytry O7cPrP8A5XML2bMna/8cbt79kVS0hA8zcpF6JJRErwBIOz8Wkv2tNHAFR85NhC0w/75BNln1 4MeX2yPAqiDMKPXq1CI+uMvI+qWaI8Ivjb9KuEp5/D0jXAnmF8SZrSp3YEYaHyiA/tpPV2VY XvqgtgfDWcHphcyQeL0hFGYTzJeaWq+U7gh6jw7FI6qF4fOSpiogLOb3Se7GpNWZnpBClCJC XroaZiLW/cSZyKPPM9ujDgEWKOgS48n2xGusxX6y799IerI+y0Ytojv1MVz5+3SjB0y+yZ0A Nqc026WUmF0hGwISyUr069huUB9zEyM3rBig/NEDdxT++9JUgAiOJLB1+B6Ecz9WhrdfteVT 1arWsmpDis0TtI12tMOZ0d9G86+jh3YxCqrA7oVl6SRC5Au86Lc2WLxJ8dnxHrc2qkhlQpuf swaPmSjgut79hPPL4/PiUSQ0aiwJooG2yuY3m6YhXSHuglUXQg4cajYQ30bLh/IodT0+13PS 5evD7ogKA5I1c+BbLZMa5jnl1hHTur5N5LSbjTiyC+LGR+Uy+bUP8LRcGIH0XCFYKBluwUa/ HLdcBM7Gj/kuGXGSjpnCVPoZUrot+h4snKyCEEunEmRd0M08b2z91YOgOCEDesJ1+catCcst it5GH682dzREd+JuwtiOrhaYJYz+lpG33/DuEpxM8/oNLhs02YXaB8/pEbyz1NyA4REn9Itq SY0wAp/NLyV1HtAcT2fx5X5JrzUbHT0/VWhcaPX0EzE35Ca9/RH8+w2/nPkugzhDU8+6zNn3 t1ShmOb/YnPBREOXIjZSUMr70I8prfUZTM47p/V1jtxN6jxvCXP2tg0HuRjxhvIk853FqSCG UeyFsQbA5PrM+k2gx2yaQpCOulO9akyNsfgdv2c2aftMvwy1DShxX9K5oxwyCfuv2J1V/LI0 pAZwvqZwhrPVjHyi02ku9z2noYMbC8bH262wyzpTIBLYag6cYEOAGaoa8q5o7c2z4DhW3NF6 lOnL1IA1sizfBOObl+7wAtRkEoNrH2thDG3iTB50nkooqeZwC3S0rH6bhNUXwwDDGJmjFrqP c21l4VDBxLuNVNx0kL4vQCnlM057OxlImLeQFlFZX3zJmBmCe6rs6aaJtVI8NUuuDlWV+K1Z RabTKT8ql0UyXCGfSMWyTYlejWtopi8kQZ9jTfXMnpzoWfHdMVYxBHR48bZTOJQ3XwbQig9h yPaB1KhJdbv8djexPKh+qiuEnmsUJFea3yh04+AuTal6GlCABuxmOq2k8HmEk4n1y6+2cNnV C/Vthm6boShhMHYeap3O0JvAlH78c9zHIpzx5AxiJ8n0n8fnpyJ/HADnA8fKP1j0LnlJDoIT D8PmJvO5RT9nVZkNjSPzp74UXOUxo1gYcO7ayUYwHB148dPAaaSpLtK+Ek96kS0rQ/Mf/V5t jYbx/w07XcGguJPpQwsiyuHD7EYAFNXeyDh3xiF9NGxqqxLaX3nKOPqkhAlxZb4UenE/2Q+E D7wYd86EDV179ljPV6Ey3D15oz+OZHRYd8VqhyIgkLFhulRJog2k6lv52IvMmb8sHs5ju8j2 EU1h9fg59DBcjg1uv/qZ3wQfif4bM4S5Dz32KNXn8LNmpuqAo0kATITGp3hUfOvFjsW8/XhL QeHVjMm+RL5UfLSGxGS7EB+ojfBCZeuYjuJKHkU0MtvQDGcIkJYmgUdQDQ52IM/F0Wk3sHge lpj6XYd6xSrz3kEgvItLBT5XmrF8U22Zjc5VYaSKDJX6A9F/ULcLc2dqP91HmRW5JCgphGXJ SqXak4baANBElzBDFflML604NDG+OXNHeuyIczFZrCWoPBfXfOFltq/l5Fr9DGWOoCTL2FvW rclj1FbUykzSKG7030fDjYanCXXY4uHqQegr2dp+9un/q2jWRqzt9LUUf0Iao0pok3ux/vLN vbM1n8ic3ACjctKnCKQjuV6vhZaijkyJWD2S/Ja7naLFuSI3fULRx8DNXEpbJMRvf03hlsXZ JaD2I+nhPkm0ptXQx9EU1flh82kN/sRO2/7LwqbXh/NMaTAPifVhc35Z+WwRNgyxK1VsRa0p DqWQXj4JjrFjGC1DUrpNPEKlzuFehBQvsexf146AGznBroKczWdN9l6xX0zyLww3TbRMHIEd CN7awVLp6GR6iVRhrN+HXZA5zxrN7vMnSHR9OTeJpsM1JkjSi1pi+JX5mg7wLpJ/WlFQvJyg i7bst9ppRmvjOCOzjNtVBcGpCxMgcqHukBrOKOR8ZclOz6M5BUW8WCZEAgHvfN+D8H34eZRz NbIjqf6NDZBtc/S/I4SHcXVIt+dPzwtPFuhGTLZChcEUS/+NWzbgB848rna/XmUo54m75n0z cNVEPkBDwRzT65CTBk2eb5KaI16VT4lj7OB2csB5H7l6QLUWN0fpZffEPSbHfToLj+dy7hCf RoBh73ifuFxfsX23VJvbl5ikcHEAU3VCJpTri1scxE5pG1M9nZ5VGg6x0PmLB6r4TodD/O1l AMshU1ybK5+kVWkq0dyPVfMqCYqxQMpns75hDmKbDPrBLy1QZkMTSvyuU8rN5rnQgUzcAuz2 EJ+OTbOWqheybdtPzMO6keUqd5EHvhSSrdBaRkbyKSMZvkm5l9brz2u2U5N4eat4XRKlQ0kd oSppm5B2ER+at9wK7bdJaBU1FcWiq/c50dAN8gqxRMGfQAM9m2VYisBpE0LcKQgJm+m5OFt4 xGYlH1PdTpUPxLPivNs+EQnPu2cziGmzrhCb06rOu2VMrmW/WTNx5bgfw== IronPort-Data: A9a23:IcHAg6DZeB+mGxVW/y3ow5YqxClBgxIJ4kV8jS/XYbTApDxzgmMCz 2YcXGyPb/bYYmD9Kt10Od+zoRsCsZWBx4AxOVdlrnsFo1Bi+ZOUX4zBRqvTF3rPdZObFBoPA +E2MISowBUcFyeEzvuVGuG96yM6j8lkf5KkYMbcICd9WAR4fykojBNnioYRj5Vh6TSDK1rlV eja/YuGYzdJ5xYuajhJs/jb9Es21BjPkGpwUmIWNagjUGD2zCF94KI3fcmZM3b+S49IKe+2L 86rIGaRows1Vz90Yj+Uuu6Tnn8iGtY+DiDS4pZiYJVOtzAZzsAEPgnXA9JHAatfo23hc9mcU 7yhv7ToIesiFvWkdOjwz3C0usyxVEFL0OavHJSxjSCc51zbL1Xu4P52NmU/L5Ynw+M0BztKz sVNfVjhbjjb7w636Km+VvE2wMUlIs7xOYoDu3Im0DfYSPg8TJHJXr/Fo9NVtNsyrpkVR7CEP JJfMGc3Kkmojx5nYj/7DLogkOelm2fydxVZrlySv68+/2nQihF30f3jKtfUcMGQSoNZky50o 0qfpzSgXUFLa4z3JTyt4iiHhOrgoSrCWL0ROri/+uBUsGG9/zlGYPERfQHi+6jp1hHWt8hkA 0cd/y5rqakp6GSwX9zlVlu5pmSFt1gSQbJt//YS8wSR0vCS4gCXAXIBRyJAa5o7ss5zSyYn1 1WUhdyvCTEHXKCppWy156rIgzGRMjAvCWYQfhA9SEgDud3YmdRm5v7QdepLHKmwh9zzPDj/x TGWsSQz74n/a+ZXis1XGnib3FqRSoj1c+Ij2unAdk6Ihj6Viaa+YpCwsx7a6/hHNoOQUliC+ mUCmo2Q9u0PB4yXm2qBTY3h/Y1FBd7abVUwYnY2QfHNEghBHVb5LOi8Bxklfy9U3j4sI2OBX aMqkVo5CGVvFHWrd7RrRIm6Ft4ny6Ptffy8CauEMIIRP8EpLV7flM2LWaJ29zy0+KTLuf1hU ap3je72ZZrnIfs3kWvsLwvj+eZzmkjSOl8/tbihlk72gebBDJJkYb4BOlaUcqU98a+boQrOt stZNtWH0Q5eTOTzfmHZ64MSJ00QIhAG6WPe9qRqmhq4ClM+QgkJUqaBqZt/INYNt/oOyY/1E oSVARQwJKzX3iafcV3ih7EKQO+HYKuTWlphbXVxYQz0giRLjETGxP53SqbbtIIPrIRLpcOYh dFUEylZKq0XEWyVyCdXdpTnso1peTKigA/EbWLvYyEyc9QkD0bF88PtNFmnviQfLDuFhe1nq Z2Z1yTfXcUiQSZmB53oc/6B9Q66kkUcv+NQZHH2BOdvVn/iy6VQEBypvMQLe5kNDT7h2gql0 x2nBEZEhOvV/K4w3tr7pYGFiIaLC+F7LFRRGjDb4ZmyLw3cwHeq+tZFW+O2ZQHbanLG6fihV 9501ND5CuUMx3xRgrp/EpFq7KMw3MTurLlk1TZZHG3HQlCoK7F4KFyE7NZ/jbJMzbpnpgeGY EKD1d1EM7GvOsm+MlouCCc6T+aEj9c4pyLz6KkrHUDE+yNHxrqLfkFMNR2qiiYGDr9UMpsg8 Ngxqvwt9A2zpRo7AOmo1hkO2Ty3EUUBdKE7urUxIozh0FMrw24fR63sMHb95ZXXZuhcNkUvH CSvu5PDoLZh3WvHTWs4ECnc/OhahKlWgitw8n05Gw2rlObG19gN5z8A1RQsTw9Q8AdL7PIrB EhvKH9OBPuv+xVGuZF9el6CSi99AC+XwEjT82cytXb4ShCoX1PdLWdmNueq+lsYwl1mfTNa3 e+5zWL4YzO7bcvO8HM7ZlV4p8O+VfhOxBzwp8SmE/SnGb0/Wz7Eg7CvV0UMuRDIEcM8v2yZh OhIrcJbS7z3Cj4UmII/U7Kl7LU3TAuVAm5oTdVK3rI7LUuFdB6cgTGxel2MIOVTLPn0wGqEI s1JJPMXcS+h1SyL/wspNYRVL5BaxPcWtcc/IJX1Lms7spyanDpjkLTU0gPc3GYLYdFfofwRG 7PrVQCpMzKv3CNPumr3ssN7FHKyYoAEaC3CzemFyrg1OKxZgt58U3MZ8+WShGqUAjtF7hjPn QLkZo3q9cJA57lovbPRFvRkO13pB/L1DP+F4SKigeRoNNnvC/rDhykRi1vgPjlVA4cvZsRKp eyNnuLajELhl5QqYl/dgKiERvVo593tfe95MfDXDXh9nAmQUv/W/D4CpniyLK5Xm9YE5sWIQ xGcbvWtfOVMXtxY+mVkbRZPIQdACJbMT7zBoBmlpK+mESkt0g3gLfKm+0T2bGpdSDQ6Bp3mB iLwuNes/tp9vq0UIDMlXdRIW4RZJn3nUosYL+zBjyGSVDSUswnTq4ncmgoFwhCVLHu9SeLRw 4/PHzr6fzSM4JD49slT6dFOj0dGHURGoLcCe2wG8IRLkBG8NmkNKNodPbggCp15li/T1onyV ArSbVkNWDnMYjBZTSrSuNjTfB+TJugrCOfLIjYE+0C1aSDvIKiiBLBn1Dlr4lYoWz/F4dykF +oj+SzLDkDs+q1qeOcd2KXqy6MvjPbX3WkB9k3BgtT/SURWS6kD0Ht6WhFBT2rbGsXKj1/GP nUxWXsCekygVErtCox1Tha5wv3CUO/HlF3ErBtjweozf62AyfFYkrv+Pe/0yLgKcMUJYqMIR Db5XWaM6X2M1ToftMPFfj7vbbBcUZq28gqSdccPhjH+W4mx7GogJcYLgSsMCtwk+UtRCV7cn CS27D4yCSxp7WhPjaaOx1xhF41ZCxox4vKgsOI7jT7AnxsjytHFehvs0QT6bJ/qpqnpol9XB jsfBKpUT5t6qxO8zQRDWj8nSpBrzC3f+bQokszlc38qriqRdQ== IronPort-HdrOrdr: A9a23:6F+oia+CLHXcYOZxMLluk+ALI+orL9Y04lQ7vn2ZKCYlC/Bw8v rEoB11726WtN98YhEdcLO7WZVoI0mskaKdMbNhRYtKNTOO0AHEEGgI1/qE/9SPIVyZysdtkY llN4dzAMDtFlRh5PyKhTVQ0OxN/PC3tI6tjefai1F3TQ9rbKlkqyN0EBySHEEzZCQuP+taKH NR3KV6TvObF0gqUg== X-Talos-CUID: 9a23:c8U3g2MA/jyZK+5DSTQ72kw3EdgfVnTP10jpJgy+U2JScejA X-Talos-MUID: 9a23:DDxrpgvDFjmm/n2TE82nlGtJNsJH362XCH8Ov5ABt9e6BRBeAmLI X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.13,258,1732575600"; d="scan'208,217";a="108178978" X-MGA-submission: =?us-ascii?q?MDEjihACAuEmJ/5+uResDDaGuAJAP4f3qyMpz/?= =?us-ascii?q?ub3tezJSXwUq9LpYsrCJPq/AHF8wvoi0fPHYZQB4Up4y/SRSfFps2vuF?= =?us-ascii?q?kmhszdJvdHH01ljNwXz5wQQZkdjFVp1tYoijQnfsYKPMvUKFNYEhoJMu?= =?us-ascii?q?qT4DRJufFSdvX9Xhf90w3mGg=3D=3D?= Received: from smtp2.informatik.uni-freiburg.de ([132.230.150.5]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 04 Feb 2025 15:24:27 +0100 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=informatik.uni-freiburg.de; s=mx2401; h=Content-Type:To:Subject:Message-ID: Date:From:MIME-Version:Sender:Reply-To:Cc:Content-Transfer-Encoding: Content-ID:Content-Description:Resent-Date:Resent-From:Resent-Sender: Resent-To:Resent-Cc:Resent-Message-ID:In-Reply-To:References:List-Id: List-Help:List-Unsubscribe:List-Subscribe:List-Post:List-Owner:List-Archive; bh=wKmvU72cR0dwYBIp/BifPBkFd0QWhj+jqoLzB/mKyc8=; b=Q3D2YQQoV+Rc9QRYwoYUje9bA5 yaz2Ux15TjKjFqTGbKORJV6N0GeTrAs408p/nNwfSroMnYauuHV688A0ULjKVlft5w6meDZvzqRsu ewRM4797d9BfYSKUIrSVIRpub8Wd98WZFSeftUiROMEa/cum0FAh28yLloJqbRGLHebAxUetqi24I HAdZu849FDqQZFjs5rPfwNCtn2ZGa7q081F1KFU6J4qGaEYcqR4GJlbuRZR19vSTtAZ12te438lrl n91n7Q8Bi8Irdy0H8DcTSWE+HGZZNZCqX2KvKlz5a4U/TuASfZIz63FgsxeBjoFHFKJd5k9+7v0ww FeliI56g==; Received: from mail-wr1-f53.google.com ([209.85.221.53]) by smtp2.informatik.uni-freiburg.de with esmtpsa (TLS1.2) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.98) (envelope-from ) id 1tfJrm-000000000b9-4ATd for caml-list@inria.fr; Tue, 04 Feb 2025 15:24:26 +0100 Received: by mail-wr1-f53.google.com with SMTP id ffacd0b85a97d-38db104d35eso293560f8f.1 for ; Tue, 04 Feb 2025 06:24:25 -0800 (PST) X-Gm-Message-State: AOJu0YwV2mzsmjXO5H03cObps0AT/KKtXf8p7IKZIM4GAtdU8bwwGpoh o6lxX9xInsCkzOKF93bAVPIBsIZb0q/smAd7dB3MnV54NtexKL4ZaegpJy4vThay6trFztsGJXw 78nEYB2zItGJd35Zh99fjfeMhhT8= X-Google-Smtp-Source: AGHT+IGi+L0IKjLX7mxXcLIHkeENUDUJ0mCkOZyMGGUN4G1xJSEUEj8rUkZbkziarNTU5QA+dBZuup+OmguFOBOaW4E= X-Received: by 2002:a5d:6d88:0:b0:38a:418e:1179 with SMTP id ffacd0b85a97d-38c519380afmr26173619f8f.2.1738679065621; Tue, 04 Feb 2025 06:24:25 -0800 (PST) MIME-Version: 1.0 From: Bas van den Heuvel Date: Tue, 4 Feb 2025 15:24:14 +0100 X-Gmail-Original-Message-ID: X-Gm-Features: AWEUYZkYn6VGVzNux1ZizVq3HfOT1eTK9iABYdOCrLiUJd2xY23NRUrl8L8Kgk0 Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary="00000000000015c043062d51c427" Organization: Universitaet Freiburg, Institut f. Informatik Subject: [Caml-list] DisCoTec 2025, Deadline Extension and Booking Heads Up: 20th International Federated Conference on Distributed Computing Techniques Reply-To: Bas van den Heuvel X-Loop: caml-list@inria.fr X-Sequence: 19262 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: --00000000000015c043062d51c427 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable [Apologies for multiple postings] ************************************************************************ Deadline Extension and Booking Heads Up DisCoTec 2025 20th International Federated Conference on Distributed Computing Technique= s Lille, France, June 16-20, 2025 Extended submission deadline: February 21, 2025 https://www.discotec.org/2025 ************************************************************************ DisCoTec 2025 is one of the major events sponsored by the International Federation for Information Processing (IFIP) and the European Association for Programming Languages and Systems (EAPLS). It gathers conferences and satellite events that cover a broad spectrum of distributed computing subjects =E2=80=94 from theoretical foundations and formal description tech= niques, testing and verification methods, to language design and system implementation approaches. The three main conferences are: * COORDINATION 2025 - International Conference on Coordination Models and Languages * DAIS 2025 - International Conference on Distributed Applications and Interoperable Systems * FORTE 2025 - International Conference on Formal Techniques for Distributed Objects, Components, and Systems DisCoTec 2025 is organised by Inria Lille and the University of Lille. It will be hosted by Polytech Lille. * Deadline Extension * The paper and artefact submission deadlines have been extended. All deadlines expire at 23:59 anywhere on earth: - Abstract submission: February 14, 2025 - Paper submission: February 21, 2025 - Artefact submission: February 28, 2025 - Artefact kick-the-tires - problem reports: March 10, 2025 - Artefact kick-the-tires - author response: March 17, 2025 - Artefact notification: April 4, 2025 - Paper notification: April 4, 2025 - Camera-ready: April 23, 2025 (TBC) - Conference: June 16-20, 2025 * Booking Heads Up * We strongly recommend booking your stay in Lille as soon as possible. Mid June is a busy period in the Lille area, and Beyonc=C3=A9 will be performing in Paris (which may be an extra incentive to register). * Please visit https://www.discotec.org/2025 for detailed information. * --00000000000015c043062d51c427 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
[Apologies for multiple postings]
****= ********************************************************************
=C2=A0Deadline Extension and Booking Heads Up

=C2=A0DisCoTec 2025
=C2=A020th International Federated Conference on Distributed Computin= g Techniques

=C2=A0Lille, France, June 16-20, 2025

=C2=A0Exte= nded submission deadline: February 21, 2025

=C2=A0https://www.discotec.org/2025=

*******************************************************************= *****

DisCoTec 2025 is one of the major events sponsored by the Inte= rnational Federation for Information Processing (IFIP) and the European Ass= ociation for Programming Languages and Systems (EAPLS). It gathers conferen= ces and satellite events that cover a broad spectrum of distributed computi= ng subjects =E2=80=94 from theoretical foundations and formal description t= echniques, testing and verification methods, to language design and system = implementation approaches. The three main conferences are:

* COORDIN= ATION 2025 - International Conference on Coordination Models and Languages<= br>* DAIS 2025 - International Conference on Distributed Applications and I= nteroperable Systems
* FORTE 2025 - International Conference on Formal T= echniques for Distributed Objects, Components, and Systems

DisCoTec = 2025 is organised by Inria Lille and the University of Lille. It will be ho= sted by Polytech Lille.

* Deadline Extension *

=C2=A0The pape= r and artefact submission deadlines have been extended.

=C2=A0All de= adlines expire at 23:59 anywhere on earth:

=C2=A0- Abstract submissi= on: February 14, 2025

=C2=A0- Paper submission: February 21, 2025=C2=A0
=C2=A0- Artefact submission: February 28, 2025
=C2=A0
=C2= =A0- Artefact kick-the-tires - problem reports: March 10, 2025
=C2=A0=C2=A0- Artefact kick-the-tires - author response: March 17, 2025
=C2= =A0
=C2=A0- Artefact notification: April 4, 2025
=C2=A0
=C2=A0- Pa= per notification: April 4, 2025
=C2=A0
=C2=A0- Camera-ready: April 23= , 2025 (TBC)
=C2=A0
=C2=A0- Conference: June 16-20, 2025
=C2=A0* Booking Heads Up *

=C2=A0We strongly recommend booking your stay = in Lille as soon as possible.

=C2=A0Mid June is a busy period in the= Lille area, and Beyonc=C3=A9 will be performing in Paris (which may be an = extra incentive to register).

* Please visit https://www.discotec.org/2025 for = detailed information. *


--00000000000015c043062d51c427--