From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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= Authentication-Results: plum; dmarc=none (p=none dis=none) header.from=informatik.uni-freiburg.de 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=PHuREZws; 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=Eona/9+s; dkim-atps=neutral Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by plum.tunbury.org (Postfix) with ESMTPS id BC9D1B80123 for ; Fri, 22 Nov 2024 17:52:09 +0000 (GMT) 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=Ym/PJnjtCwhCVtlTGCEwOmFgjz31gfD714tphuAzh50=; b=PHuREZws/N+4Or7VDjwldu8Kz+fZsdgPRuewq4bJbibFI0kQteKnAew0 kpoA/aaFxuil5qS8Gf/HMu0OC1ozilzgESCgD5G0Ci9XMAL1FbagZut2o 7jvtNY85LrZAgnGh/ZaOZ/smtO98M5JO/Fz8H6v7jXDEBmtbX/5OD74dr 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.12,176,1728943200"; d="scan'208,217";a="195393280" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 22 Nov 2024 18:52:08 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 4408DE0D21; Fri, 22 Nov 2024 18:52:08 +0100 (CET) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 48CF2E00B6; Fri, 22 Nov 2024 18:52:01 +0100 (CET) IronPort-SDR: 6740c4c0_rfCtJ2VBsOgndzH/lHu4a9KJD5ihTIFQFqAM0cDj/6HtqXs EtwkMxpstCIBcOvMQr4DZRWoHyCgJk0l2SePuzA== X-IPAS-Result: =?us-ascii?q?A0EWBABjw0BnhQWW5oRaDg8BATwBBQUBAgEJAYFoAoIaK?= =?us-ascii?q?H1aMwQLSIRWgSOCLI4fl0WCUIQFgXUJDwEDAQ0UAgECDgcBCgsEAQEDAQOFA?= =?us-ascii?q?IpbAh4HAQQyBw4BAgQBAQEBAwIDAQEBAQEBEAEBBQEBAQIBAQIEBgECEAEBA?= =?us-ascii?q?QFASYV7DYJbO3GBJQEBAQEBAQEBAQEBAQEdAhRXASEFARALBh0BARIUEiU3A?= =?us-ascii?q?gIhEgEFASMSIoIHWAGCZAMRpEaBBUKKRHqBMoEBggwBAQaBCNx7AwaBSAGIS?= =?us-ascii?q?wGBQhoCDoN8ATuEPCcbgg2BFTWCBYEugQUBTIMegy6CaYJEZ4M1diWFBoEAg?= =?us-ascii?q?nuKFYF+jwUmJgMHBw4rSQ4BIQMmMyERAVUTFwsHBYE6PAECASFuaoFNgTaBU?= =?us-ascii?q?UOBFQaBMy8bIQtcgSmBGhQGFQSBDkY/OYIRaUs3Ag0CNoIkJFmCT4UXgiCCT?= =?us-ascii?q?D4OGS8DAwMDgzuCTl2CWB1AAwtiCz03Bg4bTKB9AUaDboEQE2gKDAwXDhiBH?= =?us-ascii?q?aJmoyCCP4FlBaFYM5dRkwCYeyKJY5lPAhOFLhEjgUsFLi+BLU0kFGwGgjBPA?= =?us-ascii?q?xkPV41WCwIJhAuEYYohCbcbQjU7AgcBCgEBAwmTBIFLAQE?= IronPort-PHdr: A9a23:SC1icRG/7rfTbjwAY6VtaJ1GfxRdhN3EVzX9CrIZgr5DOp6u447ld BSGo6k21RmSDM6EuroE07OQ7/u4HzRYoN6oizMrTt9lb1w/tY0uhQsuAcqIWwXQDcXBSGgEJ vlET0Jv5HqhMEJYS47UblzWpWCuv3ZJQk2sfQV6Kf7oFYHMks+5y/69+4HJYwVPmTGxfa5+I A+5oAjfq8Uam4VvJ6I+xhbLpnZDZuBayX91KV6JkBvx6Nu88IR//yhMvv4q6tJNX7j9c6kkQ rNUCygrPXoy6MP3qxfIUBGB5mEbUmUYkxpIBxbK4RTnVZrvsSX0q/Rw1jCCMcL5Ub47VzKi7 7x2SBDzkycIKyQ58GDMhcNuiq9QvQ+sqAZ+w47QZ4GVKeZ+c6bAdt4UWWZNQsBcXDFHD4ihb YUAEvABMP5XoIf9qVUArgawCxewC+Po0TJHnGP60Lcg3ug9DQ3L3gotFM8OvnTOq9X1Mb8fX P2vw6nT0D7DcelZ2THg44fVbB8hp+yHU7BufsrM10kgCQfFhUiXpIz7IjyV1voCs3WF7+V+U eKikG8nqwd/ojio3Mcsj5PGhp4UylDH7yl53YA1JdyhRE51e96rDppQuDqHN4tsTcMuWXxnt zgjx7AApJW0czQExo49yB7Dd/yIbZKI4hT7WeuTPzp1i2xoda++ihux8EWs1unxW8mo3VpUs idIj8fAu34C2hHP98WKV+Vw80a91DuP1w3f9u5KL04pmafZK5MsxKM7mJQUsUTGBCD2mUP2g beLeUUl4ein9+PnYqn4qZCALYN0jRv+Mqsol8eiAuo4KhADU3WV9OiizrHv40P0TKlQgvErk qTVrIrWKMQDqqKnHwNY1pwv5hW/Aju8zdgVnHsKIEhKdR6ZiYXiJk/DIPTlDfekn1Sjji1ry e3HPrzgHJrANmTPnbH8drhn8UFc0hA8zdVH6pJUFL4BJPXzV1fqtNzdEh85KxK4z/zmCNV72 IMeXniPAqqDP6POsF+I5fgjI/SKZI8UoTr9JeIl6ODvjXAihF8dZ6ap0YEKZ3+mBvhmIkOZb mTwgtoZDGsHsBQyQPb0hFCMTTJffWu+UqIg6j0hCI+qFYLDSZqsgLyF0ie7BJpWZmVeB1CSD Hjod5uLW+oSaC2MJs9siT0EVb6vS48mzxGusRX1y6ZmLurX4CEYqJTj1Nls6+3djxE96z10A N+A02GXQGF4hH4HSCEu0KB5ukNy0k2D3rRgg/xECdxT4OtEXwkiOZ7G0+N6E8zyWh7GftqRR lamR9SmDi0qTt8q2N8PY0N9G824gRzZ3iqqBaUVl72RC5Au/KLcxWD9J9xhxHbeyKkhk14mT 9NTOmK8g65/8xHfB4rIk0WCi6anbr8c3S7I9Geb12WCpkBYUAhqUaXER38TfEXWrc7h6kPYU 7CuEagnMhdGycOaNqRKbcTpgUxaS/fnJdTReHm8m3ywBBaN3rODdpDme2Qb3CXHCUgLiRof/ XicNVt2OiD0qHreB3llElThS0Ht6uJ7oXK/CEY/iRyJKwVv0ru+4TYUg+adQrUdxPZMoCAto HBuEVK0w9/aI9OLokxmZqoYKdo8+0hAz2bVnwh8JYC7aaljnVgTb0JwpUyqnxxxDIJdl8Mnh HIswg1oLKuE0VhaMj6Fx5foN/vQMGa2tBqyb6qT2wr20cyX5uEB8rBwoFLltxyzDEck+GRP1 9hOz2CR/IvHFkwOTJ+3VEJzvxR7vK3YYzI366vQ3nYqLKy99DLZn5olAeIjxwqIbc9Fdr6CF UrxFMAeAY6iJahilVGidVcJIu1U6LUcPcK9fP6P2artNe0mgTHixWpIpYln2WqI9jFgUajV2 ZdA2/iU0xGNUC36ylus9oj5nIZJeXQIE3OixDP4LIxQfaZ3dIcPT26lZdC0gp1wgJrpWlZW8 1qnBhUH3sGuPVKddVXhxwR40UUMvWfhhC25iiR9nzwzpK2F2mrCzqCqdBsfN2dAAnF/h1PtK omonvgeXVO0dE40mxaj+QDwyuwTpKN7amjVT0BgeyntM3okSaytrLGPbclV555utyhLFKy9e VmeS6Xhix8byD/4EnFAySp9ayyn/JP921R3lm+bMG1bon/UZNt33RqZ48bTAbZU1ycKSWxlk jTNHXC3JJ+0/Mif0ZrPr6T2UmWqX9hady/s0IWLuQO/5HZ2Rxyj2e2u3MbqVUA8zjfnkthsW yLgqBfnfpKt1qOxd+9qOgFwCUPm6o98F507jYwqgJ04wXUGnJST8GZBl2rvdZ1Dw6X1a2ElR z8QyNvc4Qyj0UYlM3HNj5rjUXrYxsJnaPG2Y2ALnC4+q4hSEqCbqbhNmyRdplujsRmXauM7n zMZyP0p6WVcju0U/EI11CKBD78fWEBeOyvxkR+Fx9S/t7lMIn2zeL6+01By292tEfXKvgFRX 2zoP54KGS5r8t5yKkyK1nr/44KiddXNKZoPthCTiQbGk8BRKYktjfcQm2xhPm70vjsox/N/x RVv2ZiSoY6GIGxouqOlRlZRMDvyesUY9zTgi7pFtsKXxJy0WJx7BjQQQN7lSPilHD4fubLgL QnKWDcg73qGMbbUBkmQ7E4gpnmJDpPvf3qeLnQDy9h+ARSDKUpDmygWXS4xm5c4Ekajz4r8c wMx7TkU4hv8qwBQ4uNuLRj2FGnF4E+jYys5R5+FLRdNxgRe7gHeOIjW5eY2AyFV+YewhAiMM XCAIQ9BCCcAUQqZBBSrMr2G6d2G8PLeAfCxa7PPb7TLou0bWumFw46H1op94y3KKtjKNX1rE uYn2kNHG3x0X4zXnnAGTSoQiiTGYsuWogun0il2tdyktvLiQwup6oyRT/NcNNRp9xG/qayGN qiZj2B4L3IQ2Z8Wg3DQzJAC2l8Mzi50ej+qG7AN8CfJVK/L3KFNS1YUcyh+cc1F8LkU1RILI 8/Qh5X42qM8xv8+TVpMSVf6ss2oI9EMInm8clLbQA6PPa/DITzA2OnzYLigUvtMkaBeuge0u DDdH0KndjCNnCKsVhazPPtBlz2zMBdF/oyxNB9mT3XgCJribRK6O5pzjCYq6b05gmjLM20dd zZ9NwtJqbKR5mVcg+5jM2tc8n5iKurCkCGcq6HcLZkXutNuCzh00f9c4TEwzL1Tqi1JALRwm SDIqcVjuU+nmeSUjzFgVR9TrDdXlaqEukJtPajW7J5dQW2C9xUIqS2oMzMyn/NhC8bzoK1K1 J7Gn6e1Ly1Nt5rM49A0DNPQbtmdMTwqNh+tUCXdCCMOVjrtLnvewUdalbXa6naepd0zrJ7rh ZwFR5dQU1ktC+8XEAJiBtNGaIt3UzQ+nLvelNQP+3ektzHYRYNfv4yBW/6PRb3zOS6UlpFAZ gAU2vXzLY0XM4DhwAp5Zx0yh4nVHFDUUfhWoyJ6aQEo5kJX/zw2RWoqnknhdwmF4XkJFPfyk ARywiVbcd8K3z7q730PA3LBv20tlkg7npPknXTZcCb6aa62W4ZLDSH5n006KdXyRQIzYgqs2 QRlOjLfRr15hKAmaWtnzg7R/dNVB9ZXVutZYQIbg/yberFg1VNTqy6PzlQB/vfMD5Vljgdsf JKx6zpL0gNoNYJtf6XKOqthz0NIwL+Iv2qsy+07zQQdYUoAtCuZfysQvEsHHrI9YSyt5fEq5 ACf33NZdXYHUP8y5/Zr7V8VOeWbxCfp0roFI0v3Ku/bZ62Fp2PomcOQT1U830kJk0hZ7P5xy 8hnO1aFT000ibKXERMUM8HPAQVUdNZJsmPedD3IrP3Ax5QzMomgUqjhQuKIqL08iVniAQMjF MIB4tlFVpC0yFrVKO/jLaUZ0lMx7x+tJVuESvBMZVSHnXNPuMy515ht3IB1IjAGHX47LS6so LfZp0kuhefFUNpyKmwLWIIALlo3Xte7kipBsm8GAiPzmucIww+G6zL1qTndFxH5ZttnYf6SI w5iE9rw8y9s3bKxjAv9+46WOWj8fdhvvJfv5P4EqpLPX+1YTbRgrUrYs4heSXuwVmfTEN3zO p7xLoc2YN3+F2y1FFCy3WFmB/ztNcqge/DbyTrjQpxZ5dHzNFELMMa8EmtbABJsv6QZ46k6Y wQfYp09aBqutgIkNqX5Lh3Lms62TTOLLj1bB+Ja0f38f6ZemjQgbuKn1nYkZpA8we6t9EcRR ZJMkxffgPi5aohUTDL8XHBQKE3UvSRsr2F6La4px/snhhbBsF0SKTeOIfJlaGFZodw4LVKUL 3JsD2MkRlzakIzCpwC20rEY4jFS2dpZgqVeqHarmJjZbXq3XbCz75XYty11dd89v6h4KpDuO OOdsY/GxHreSpfXqAiMTC+5Uedcm51eOi9ZSuRSlicpNKTqoKJn7kw8Hoc7Lr1LUuw3o6yyL CBjBmgUxDMYUIWJ2HoDhP290v3UjEXYdpNqKxECvJhY57lVGydrfiMTorOiXITKhieFTGYMO gIa8QVL4koJiIZxeunv5IeAQoVLznZapPd9Uy2DEZcNlROzVG2WjEXmRfGJkuqn2hhXxe7t0 Z8GXh86B1JQxuxLjERuJLw2Y6gcs4jWsyOZIFvgtTGIqqPuL11QxMvIMlzgWdOe7yymCXVao CBMA9IcrROXXY4fmAd4dqsx8VBFIYT8P137+yRh3YNiWb+xScGswV8h63cAXSajVdRbWIQE+ BraXiNoZ5ezpdDrIZJXFyVO9J2QtklUlG1sNSC+059VN8BOpCMKXX1BuzictsaoR4tP1IUla v1Easc6oHr7FK5ebdKPr307p6LizlfY/T47qlKz2DSwXbK+TqdX5WAfEBgzKCKSpwN8aolku neX+VfLvFdu+u5dDbXalkR9rgF2GZVWDypI33SoR7hqZEFPqP4SaKHccsgGBuI3eQfqIRs1U /gvw02O+0hw23b/eS178AVAqWjRWAw9VC9dhbmI+3VWtM2nNCIERpZgbDMvaD3AIh6ammZKu hcaZVtnWpoEGNkD97xT0YZP/8XEQFqhMmlcB0YkbFlgl6MCzQge1SfQMSnGRRKlb/POrgF6c Y+KocilIe64tAZLh4X7sfwpoqAKRnmogwqoErW858f3styHsFfLdb+tarbmJyWaFH6V0Ej22 ORBbdGC5SXYPQtFJoMvzHMlZcKkEmvXJVFcIKldIUNHVKd8YNEAo+ZAZsYidrxanM0lTh+BW B7rH5Si6fdcKVOGDyrSLyic7OG7iYPV47vHTOH8Z8/K2nDGBqxtM5Zw9CP0Xbvnm9w7mAK+y rJ2+0V2REKTeT6NrNn8OA4PzMikeEz4u5Q1HDCQHZFx1XT3y0BKatAYBSGnusd9qtsR+DP7T uR21VL2uetZ+ux/6IU51LtuzN+9OabYLfkJ+V8iGBWfAR9ms4k8GGUqDX4Eefcfcb2CGMZRx dCrse38ELYbrQGY6/AMI8WSPFnPw4G+Em3OEEce2l1a8XhDc1Pai7aEg/MmEJ3/47KiggR0v gD4c3tkhPhs/dvWo/HS4rWMN12Li+BDAPSiR9ut/O504xrAuvZ8xuRTIjQnP1/1V7ZBM6xVj mbmxqQ3wS9+JNjbEfT7oaIZDjQ8jnT7gY47E1sQXP8ZeNjDtYVYlWMll+GLAcYOfOZZwzrVT 1ihAvkZ02Dt5yWRZmVoykbH1xW6KY+qxHnxqyIwAS7FztO511FQSqHyH0BZGSygJU5/tjqLe gvurtv+/6ovvgkwNST/udSBmXHEWvsfFtDjJNGaPSg/pU4GxJw3SNu13IkHGN27aN4P+XB6Z /Ha5iuliShE66tAgoPf5ImS9JC1VTG4iLaGrryW2D1C4mM9oUllrNGmOPbU4tSWQvfuymAQC illtgrLQgS67LDW7hgVNUGNzEbXidkKM9Vejhxangnt4OkuRs529R0LT92aIalZ/XaqZWOyn AX6AZp/TCSV3jpJE0igFFB5HPJ5w2fspIfTknyW/VQ0R452fkihhBptDox+J1h+jTpfiicFD wUJbgiWSb+yAkGwZ5UIVUUedxmD9Lm8dKAt2ERvw7Dp+enSKOJmCqsHK+xSyAKD1gs+eNpeo egFTbRwdkUIvrbQvRTnApP7UuLOjn8sLafzQ8ZU9tocvmcj4UCiQRvl541O7rwGkp/OeqMOM v2u9Ihsqkxg4zAIbClEhhNy2gi4Xe4rr+fm+tHHsZCs545GsY4sQesQ7R09G2V9yYb2gRUtu 9zW3fpGRcvZhNanmOiiC3+MtoHA1hBgKOlINoSqObh6+nQNOjIRYX4Db4P+gxgU+CpxKG+V5 lpMBdkJbM8ZP4zQnwERhFfkWbtO7MWdFlLKU+9O IronPort-Data: A9a23:kMhTgqLVbLmWvrGUFE+R5p4lxSXFcZb7ZxGr2PjKsXjdYENS32MDn 2tKDD/TOqyLZWugfd9xb4u3pEJUv8fRnINlTQUd+CA2RRqmi+KVXIXDdh+Y0wC6d5CYEho/t 63yTvGacajYm1eF/k/F3oDJ9CU6j+fSLlbFILasEjhrQgN5QzsWhxtmmuoo6qZlmtHR7zml4 LsemOWBfgb/s9JIGjhMsf7a8Uk15K6aVA4w5zTSW9gb5DcyqFFOVPrzFYnpR1PkT49dGPKNR uqr5NlVKUuEl/uFIorNfofTKiXmcJaKVeS9oiY+t5yZv/R3jndaPpDXmxYrQRw/Zz2hx7idw TjW3HC6YV9B0qbkwIzxX/TEes3X0GIvFLLveBCCXcKvI0LuIiLrw9ZpDR4MJJwcot1xJ1tq7 fJFJ2VYBvyDr7reLLOTUexwnp5lLc/lO5kas21hznfEC/djT4rOQq/X/9Ae0DpYasJmRK2EI ZBCMXw2MUyGPnWjOX9PYH46tPmkhnTibTBcgFOTq60t5mHPzQ83zb7sddTPd92AWN9a2EqVz o7D1z2oX0pLb4bDmVJp9FqC2fP1gBjCfrhRK7Dkp+JHgQK23kg6XUh+uVyT+6Dj2x7iBLqzM Xc89C8vprMa712uVtC7XhuioXfCsAR0c9FZFul/7ACW1oLP8gOBDy4FSCRAYZoorqceTjszk 1SNgtnBHi1qqLTTSHSH977SoynaBMQOBXQHeTdeCwoD7d75pYgvjxGJU9BiVaCvg9z/BCv/h TyHxMQju1kNpZ9S0KWY+lGYuSu9osDySCgPwh3ZA23wu2uVe7WZT4Cv7FHa69NJI4CYUkSNs RA4dy62sL9m4XalyH3lfQkdIIxF8cppJxXwrDZS83QJ7DGx4yTlfIZe5yt7LVtoMYAZfz6sb lXeuAlM/pAVMHbCgU5Lj2CZVJhCIUvITIuNuhXogjxmPsAZmOivp3AGWKJo9zqx+HXAaIlmU XthTe6iDGwBFYNsxyesSuEW3NcDn39lnzmKHsCqkkT5jtJygUJ5r59ZbjNiichls8u5TPn9q b6zyuPVm0gOCoUSnAGLrtNORbz1EZTLLcqv8Z0HKrHrzvtOEWUrBuXNhLc8d5NkkL8Qi+HJ4 HynQU5EwVfjzXPdJASAd2psAI4Drr4ixU/XyRcEZA7ys1B6ONbHxPlELfMfI+J4nNGPONYvF JHpje3bWawXElwqOl01MfHAkWCVXE/331/VYHL8OGlXklwJb1Whx+IItzDHrEEmZhdbf+Nly 1F5/lqDGsJRdBcoF8vMdvOkwnW4uHVXyqo4XFLFLpMXMA/g+ZRjYX65xPImAdA+GTOazBuj1 iGSHUg5o8vJqNQL69Xnv/2PgLqoNOpcJXBkOVfnw4y4DxSHwVr787R8CL6JWRv/SFLL/L6TY LQJ7vPkb9wCslV4k6t9NLdJ1ag71cXkouZawitgBlHNUUmiMeplKXy4xfhJiLx/1+JaizCXQ WOKwMFRYp+SCfPmEXkQBQsrVfuC3vcqgQvv7ew5DUH5xS1v9p+FYFpiBAaNgyljM7dFCoMp7 uM/ssow6QbkqB4VHvuZryJTrUKgE2chVvg5i5QkH4PbsAon5VVca5j6CCWtwpWuac1JA3Y6M A2vm6vOqLRN9HXsK0NpOyD24tNcopAStDRh7lwIfQ2Jk+WYoM4H5kRa9DBvQzlFyhlC7flIB VFqEE9IPoSLwSZjgZlSfmKrGjwZPiajxG7K9wIrmlHaHm6SbU6cCE0mOO2IwlIVzHIEQBhf4 4Oj6TjEVRTEQZjP+xUcCG9fhd7td9hTzjH5uduGGp2FFqYqYDC+ja6JY3EJmiTdAsgwpRPmo O13zuMheKfEG3YZnLYmB7bHzZAvegG2G2hDTcFD+ocMJ2X9eS6z6xeKOUueasNAHN2U0E6aW uhFBNNDaAS67wmK9gskPK8rJ6RluvwD6P4pWKLZFURfv5Sx9jNW4Y/trA7gj2oVcvBSuMcaK LKJUQmdE2aV1EBmq0WUoOZqYmOHMMQ5Pivi1+WI8cIMJZIJkMdoVWoQirKUnXGkADFLziKun jHoRvHplrR56IFWgYHTPL1JBFy0JfPNRe24yl2PnOoUX+zfE/Xlll0zkUbmDTR0LLFKetVQl JaxivDV8n7Bno4LVzH+p8HcOYhPvd6/TchGAPLRdXN6pxaPaOXowhkE+l27F6B3rcNg1pGna TeVOMqUXvwJauhZ30xQOnR/EQ5CKqHZbZXAhCKartaeACgnzinGccut8E33ZmQCdiMnP4faD DHpss3349tdkpx9AiEVNeA7AK1DAUTCXJE+fIbbrgioDWiPg3KDtID9lBEm1yr5N3mcHOv+4 rPHXhLbZj3qnI3plvR365dTuD8TB1ZD2dgARFoXoYNKumrrHVw4IvQ4GrRYLJNtywjZ9ozyP RPJZ0scURTNZyxOK0jA0Y6yTzWkJ7I8P/niLWYU5GKSUSC9Ab2ADJZH9itN53RXeCPp/Nq4K OMxq2HBARys/q5HHeojxOS3oeNC9MPowngl/UPckcurJz08Bb4M9mJqHSsTdCjhPvzOqn72J jkOdTgZeH24dE//L58xMTodUhQUpyjmwDgUfD+CioSX8ZmSyOpbjubzIafv27kEd94HP6MKW WixfWaW/mSKwTYGjMPFYT7ybXNcUppn3/RWLZMPgSUJmr2osCImOc0Fhy8GUMAhvhNZEhbTj DSt6WUkCwKJJSi9HVFQJRoho/pMvrAkVlklTzITYRfHlxI+1d3QZxmpih/9KNT+saXitVhCT 3EeYS59ZnWI4SD8q2AWWusz/zS67AJ4KZUAeiEuQJTolx6wSWwbCbZglk8g2tNb7WdLgIlZH EpUPxPR56r/Nh6yM8vYcBv1r1SpQ3rt2ujOtlMxwC9WKw== IronPort-HdrOrdr: A9a23:UsCcca4gU+Ro/4GrfgPXwAPXdLJyesId70hD6qkRc20tTiX8ra uTdZsgpH3JYVoqKRIdcLO7WJVoI0mskaKdMbNhRYtKNTOO0AHEEGgI1/qE/9SPIVyZysdtkY hnaLZ3E9D9ABxXiszg8BCkH9tI+rW6GWOT6tv2/jNCSQlrbuVH9Ad2CgGSFwlTSBNdDZQ0UL qwj/A3wgZItU54Ui1zPBg4Y9Q= X-Talos-CUID: =?us-ascii?q?9a23=3Azz5vzWo09JgsPUyUGxbXMbLmUZF8dX3+y3aPGVa?= =?us-ascii?q?pDT5STpuvbUeepawxxg=3D=3D?= X-Talos-MUID: =?us-ascii?q?9a23=3AYhE9dA6d/SHD4DZFcS0l8J/TxoxGvLiUFXs0t69?= =?us-ascii?q?FhMTYZDBdOmi4lBCeF9o=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.12,176,1728943200"; d="scan'208,217";a="195393248" X-MGA-submission: =?us-ascii?q?MDH0Sy2KxplcXmbzz+7pOjrLXd08iP+0KE1kjl?= =?us-ascii?q?Dk29fwD//tYfet2WiS70VyEyPsYfa5/ljzGXSo/5lIBI9HtvyVJx9nBg?= =?us-ascii?q?e/taLNSJ+lJ5f/16zBHHK8DDBHT5asK0xaA1p+naS1wi1GjgOT5T9ULI?= =?us-ascii?q?yCkJIK2G4L6y+RtVNmvDqItg=3D=3D?= Received: from smtp2.informatik.uni-freiburg.de ([132.230.150.5]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 22 Nov 2024 18:52:00 +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=Ym/PJnjtCwhCVtlTGCEwOmFgjz31gfD714tphuAzh50=; b=Eona/9+sIZOJXPRlGRjA2XDTaO b+nnb4cWyxYxQSORCpdiAw9HphD5QV2i3i3w0antws+liOMFK9mXzDi0QQoRpD6ITjg8wgYq1KQVn h5Wo/fzwksJsYcVGm1gnAARfkwEvS4UcUKul27FFUyMPgSl8wXTXmRIhPnCEMnGIAr0Rb4ktYsIu/ 32RX+/y51jbTBNLyK8nNGh1oeReHGTQev29qhqbg5UQ/1b30KhPY87ye78+iDa0x8dC2Em5BHoR+U vFj163L30q9bbBdJFUlOw+u6QBi/HdWym0DagJPaXqjDwwQBdezc6ZHy66wIB5cXBv8PqguqGJLmk VoAVwJRA==; Received: from mail-lf1-f42.google.com ([209.85.167.42]) 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 1tEXsN-000000000Tt-2SGW; Fri, 22 Nov 2024 18:51:59 +0100 Received: by mail-lf1-f42.google.com with SMTP id 2adb3069b0e04-53d9ff92ee9so2818430e87.1; Fri, 22 Nov 2024 09:51:54 -0800 (PST) X-Forwarded-Encrypted: i=1; AJvYcCUXRarUhJzqZRe7MbAv4IKfX5DqCbIFhHXFilFZULhfIeqkx1g6oV22gMSa+gXh9onDSXu9Epw=@inria.fr, AJvYcCXJoJTdq5MVNKwCu3vrdUyft10l3ZiYZfJvOYeTe2x7jORjwntB9/SGro6x8RcH3CtZR/AJsDPhonY=@inria.fr, AJvYcCXQrkmr4PQw5HWdutPOxPrNdhoq7WKRlyi5ua5jxNclTBsANnBeWFhDUumoB8SUGCoYWoxPMm2jDvI=@inria.fr X-Gm-Message-State: AOJu0YxQjfDFhgc17kktKy/L0T5NImcR/4VE2qDhWbyRcFFXo0jYq4qx 5WRACyj4mzqA/j/vJ3WlYqe1rMRJcw0xzeyzI7ZpI3Iev3H8ykyrcBEYix8Orqh7Cu8ESw9uMJE /xlR109NO/xaN6/KlBsj672lMwVA= X-Google-Smtp-Source: AGHT+IFYpsxtZsgwme8lXUHWZfnwstHcTw+pYjGsbtd42+lqKHJ3cbL+3px4ChUKV7fYIB0/+9tH1QNJ/OB/bMgWO7Y= X-Received: by 2002:a05:6512:4011:b0:53d:d665:c702 with SMTP id 2adb3069b0e04-53dd665c728mr1988919e87.18.1732297912209; Fri, 22 Nov 2024 09:51:52 -0800 (PST) MIME-Version: 1.0 From: Bas van den Heuvel Date: Fri, 22 Nov 2024 18:51:40 +0100 X-Gmail-Original-Message-ID: Message-ID: To: cphc-conf@jiscmail.ac.uk, fmics@inria.fr, podc-related@acm.org, aisworld@lists.aisnet.org, announce@informatics-europe.org, bull-i3@irit.fr, concurrency@listserver.tue.nl, distjisbd@lcc.uma.es, dmanet@zpr.uni-koeln.de, facs-events@jiscmail.ac.uk, fg-arc@lists.uni-paderborn.de, fmnet-request@jiscmail.ac.uk, folli@folli.info, gratra@lists.uni-paderborn.de, hipeac.publicity@lists.ugent.be, hol-info@lists.sourceforge.net, ipalist@listserver.tue.nl, events@fmeurope.org, maude-users@cs.uiuc.edu, moca-announce@list.it.uu.se, nwpt-info@lists.ioc.ee, petri-net-world@petrinet.net, procos@jiscmail.ac.uk, prog-lang@diku.dk, prog-lang@lists.cs.illinois.edu, protege-announce@lists.stanford.edu, theory-a@listserv.nodak.edu, theorynt@listserv.nodak.edu, aila@unicam.it, announcements@lists.artist-embedded.org, bt-eu@dcs.gla.ac.uk, cabernet-events@jiscmail.ac.uk, caml-list@inria.fr, categories@mta.ca, cl-theory@lists.cam.ac.uk, dl@dl.kr.org, ifi-ci-event@lists.tu-clausthal.de, fm-announcements@lists.nasa.gov, fmindia@cmi.ac.in, gdr.gpl@univ-grenoble-alpes.fr, gpce-news@cs.rice.edu, ic.eatcs@di.unipi.it, las-lics@lists.tu-berlin.de, lfcs-interest@dcs.ed.ac.uk, logic-list@helsinki.fi, logic.list@outlook.com, logic@math.uni-bonn.de, microservices-community@googlegroups.com, PPOPP@listserv.acm.org, pvs@csl.sri.com, sal@csl.sri.com, tccc-announce@computer.org, theorem-provers@ai.mit.edu, types@lists.chalmers.se, seworld@sigsoft.org, coq-club@inria.fr, FMxSOCandBPM@cs.unibo.it, hpc-announce@mcs.anl.gov, ifmsig@cs.tcd.ie, rv@cs.uiuc.edu, logic@cs.stanford.edu, caic1402arvi@isp.uni-luebeck.de, complog@cs.nmsu.edu, revcomp-list@jiscmail.ac.uk, fttc@dependability.org, types-announce@lists.seas.upenn.edu, agents@cs.umbc.edu, appsem@lists.tcs.ifi.lmu.de, sensoria@lists.tcs.ifi.lmu.de, synalp@inrialpes.fr, mycolleagues@mailman.ufsc.br Content-Type: multipart/alternative; boundary="000000000000b3e3b20627840944" Organization: Universitaet Freiburg, Institut f. Informatik Subject: [Caml-list] Call for Satellite Events (Workshops / Tutorials): DisCoTec 2025 Reply-To: Bas van den Heuvel X-Loop: caml-list@inria.fr X-Sequence: 19213 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: --000000000000b3e3b20627840944 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable [Apologies for multiple postings] ************************************************************************ Call for Satellite Events (Workshops / Tutorials) 20th International Federated Conference on Distributed Computing Technique= s DisCoTec 2025 Lille, France, 16-20 June 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. * Main Conferences * - COORDINATION (https://www.discotec.org/2025/coordination) 27rd International Conference on Coordination Models and Languages PC Chairs: Cinzia Di Giusto (Universit=C3=A9 C=C3=B4te d=E2=80=99Azur, = FR) and Ant=C3=B3nio Ravara (NOVA School of Science and Technology, PT) - DAIS (https://www.discotec.org/2025/dais) 25st International Conference on Distributed Applications and Interoperable Systems PC Chairs: Daniel Balouek (INRIA, FR) and Ib=C3=A9ria Medeiros (Univers= ity of Lisbon, PT) - FORTE (https://www.discotec.org/2025/forte) 45st International Conference on Formal Techniques for Distributed Objects, Components and Systems PC Chairs: Carla Ferreira (NOVA University of Lisbon, PT) and Claudio A. Mezzina (University of Urbino, IT) * Satellite Events * The DisCoTec 2025 organising committee invites proposals for satellite events to complement the three main conferences. The aim is to provide a vivid and open forum for discussions, presentations of preliminary research results and ongoing work, as well as presentations of research work to a focussed audience. The satellite events will be held in conjunction with the main events. Prospective satellite event chairs should contact the organisers and provide the following information: - the name and the preferred date of the proposed satellite event (June 16 or 20, 2025); - a short description of the satellite event (up to 300 words); - if applicable, a description of past editions of the satellite event, including dates, organizers, submission and acceptance counts, and attendance; - the name and short CV of the organizer(s); - the expected number of participants; - for tutorials: the DisCoTec conference most related to the proposed tutorial (COORDINATION, DAIS, FORTE); - for workshops: the publication plan (only invited speakers, no published proceedings, pre-/post-proceedings published with EPTCS/ENTCS/...). Important dates (for all workshops): - February 10, 2025: proposal submission deadline - March 1, 2025: Notification of accepted satellite events - Mid April, 2025: Paper submission deadline - Mid May, 2025: Notification of accepted papers - June 16 or 20, 2025: Satellite events The submission and notification deadlines of the satellite events are at the discretion of the individual event chairs. However, the notification must be no later than the early registration deadline for DisCoTec 2025 (to be announced). * DisCoTec 2025 Satellite Events Chair * - Larisa Safina (INRIA, FR), discotec-satellite@inria.fr --000000000000b3e3b20627840944 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
[Apologies for multiple postings]
*********************= ***************************************************

=C2=A0Call for S= atellite Events (Workshops / Tutorials)

=C2=A020th International Fed= erated Conference on Distributed Computing Techniques
=C2=A0
=C2=A0Di= sCoTec 2025
=C2=A0
=C2=A0Lille, France, 16-20 June 2025
=C2=A0
= =C2=A0https://www.discotec.org/20= 25

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

DisCoTec 2025 is one of the major events sponsored by th= e International Federation for Information Processing (IFIP) and the Europe= an Association for Programming Languages and Systems (EAPLS). It gathers co= nferences and satellite events that cover a broad spectrum of distributed c= omputing subjects =E2=80=94 from theoretical foundations and formal descrip= tion techniques, testing and verification methods, to language design and s= ystem implementation approaches.


* Main Conferences *
=C2=A0<= br>=C2=A0 - COORDINATION (https://www.discotec.org/2025/coordination)
=C2=A0 =C2=A0 27rd= International Conference on Coordination Models and Languages
=C2=A0 = =C2=A0 PC Chairs: Cinzia Di Giusto (Universit=C3=A9 C=C3=B4te d=E2=80=99Azu= r, FR) and Ant=C3=B3nio Ravara (NOVA School of Science and Technology, PT)<= br>=C2=A0
=C2=A0 - DAIS (= https://www.discotec.org/2025/dais)
=C2=A0 =C2=A0 25st International= Conference on Distributed Applications and Interoperable Systems
=C2=A0= =C2=A0 PC Chairs: Daniel Balouek (INRIA, FR) and Ib=C3=A9ria Medeiros (Uni= versity of Lisbon, PT)

=C2=A0 - FORTE (https://www.discotec.org/2025/forte)
=C2=A0 =C2= =A0 45st International Conference on Formal Techniques for Distributed Obje= cts, Components and Systems
=C2=A0 =C2=A0 PC Chairs: Carla Ferreira (NOV= A University of Lisbon, PT) and Claudio A. Mezzina (University of Urbino, I= T)


* Satellite Events *

The DisCoTec 2025 organising comm= ittee invites proposals for satellite events to complement the three main c= onferences. The aim is to provide a vivid and open forum for discussions, p= resentations of preliminary research results and ongoing work, as well as p= resentations of research work to a focussed audience.

The satellite = events will be held in conjunction with the main events. Prospective satell= ite event chairs should contact the organisers and provide the following in= formation:
=C2=A0 - the name and the preferred date of the proposed sate= llite event (June 16 or 20, 2025);
=C2=A0 - a short description of the s= atellite event (up to 300 words);
=C2=A0 - if applicable, a description = of past editions of the satellite event, including dates, organizers, submi= ssion and acceptance counts, and attendance;
=C2=A0 - the name and short= CV of the organizer(s);
=C2=A0 - the expected number of participants;=C2=A0 - for tutorials: the DisCoTec conference most related to the propo= sed tutorial (COORDINATION, DAIS, FORTE);
=C2=A0 - for workshops: the pu= blication plan (only invited speakers, no published proceedings, pre-/post-= proceedings published with EPTCS/ENTCS/...).

Important dates (for al= l workshops):
=C2=A0 - February 10, 2025: proposal submission deadline=C2=A0 - March 1, 2025: Notification of accepted satellite events
=C2= =A0 - Mid April, 2025: Paper submission deadline
=C2=A0 - Mid May, 2025:= Notification of accepted papers
=C2=A0 - June 16 or 20, 2025: Satellite= events

The submission and notification deadlines of the satellite e= vents are at the discretion of the individual event chairs. However, the no= tification must be no later than the early registration deadline for DisCoT= ec 2025 (to be announced).


* DisCoTec 2025 Satellite Events Chai= r *

=C2=A0 - Larisa Safina (INRIA, FR), discotec-satellite@inria.fr
--000000000000b3e3b20627840944--