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=Z0346Yzv; dkim=fail reason="signature verification failed" (2048-bit key; unprotected) header.d=uib.no header.i=@uib.no header.a=rsa-sha256 header.s=selector2 header.b=WGOgTtfP; 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 7259940065 for ; Thu, 1 May 2025 19:59:32 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=from:to:date:message-id:mime-version:subject:reply-to: sender:list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner:list-archive; bh=vu/Z1Ip1nXWNDB4HsDgT2iicNRY882plsPmFxKJ4W1s=; b=Z0346YzvP0rTxgILrdPvwGRAZ1q9US7RqXujsQ08pY2N4u3+q8qgEgRT yxRExTvSLvbaAWkUIVuqsO7hepcWR5TiFu+/CMxLRR2Fy/LSMGvuNpkXE mUb1u0ZaHoQd1AFr6ey2uTcZH4V8ORIJvfDfnaA4v8KOkWnQ5b9VDERXH I=; 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=@uib.no X-IronPort-AV: E=Sophos;i="6.15,254,1739833200"; d="scan'208,217";a="220322355" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 01 May 2025 21:59:32 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id BB97EE0AF1; Thu, 1 May 2025 21:59:31 +0200 (CEST) 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 07416E0131 for ; Thu, 1 May 2025 21:59:26 +0200 (CEST) IronPort-SDR: 6813d29d_PkU3Em48cjxVDOtfytgyHhEIUqnW0pBzshcjufQ1dunsFnp dKTKDIVnSw3mBM07yYZHBVGQXjQAxTtMJZABGjg== X-IPAS-Result: =?us-ascii?q?A0G2BwBx0RNofFsVayhaHAEBASsLBgEBBAQBAQIBAQcBA?= =?us-ascii?q?RWBUwKBPzFSewJbMgcISIgkhSyIdp4XgSUDGD4PAQMBDAEUAgECDhILBAEBA?= =?us-ascii?q?wEDhQACizggBgEEMAkOAQIEAQEBAQMCAwEBAQEBARABAQUBAQECAQECBAYBA?= =?us-ascii?q?hABATsHDhIphXsBDIJFUXFjCDoBAQEBAQEBAQEBAQEBAQEBAQEBAQEBARMCD?= =?us-ascii?q?QdXOAsjAQEkAgMPEQFAAT4nBBsagmGCHA07BAIOpWcBfwESLgICiyGBNIEBg?= =?us-ascii?q?gwBAQYEBIEAPgXaVYFlAwaBSQGFbIJjASqBM4QPOIQ/ggtEgRVCgjWBdoFcA?= =?us-ascii?q?gIYgUgrg2iCL4IxgRaCURaHTYE6hFgohCqJEIFHSzMsAVUTFwsHBYFpAyo0F?= =?us-ascii?q?RxuMx2CD4Ufgg+JTYFAhE4tT4UxgSpDQAMLbT03FBsJgTWUcAcKCz2DZQIbg?= =?us-ascii?q?SQTPU0TBB1DGBweEY8Wg2aPNYF7oXQHhB6KG4F+lWYXqleIA5B7Io1kkR6EP?= =?us-ascii?q?BOFFwIEAgQFAhIGgWc6PIEgMxqDWk8DGQ+VBYIMI7hmRDQ8AgcBCgEBAwmQQ?= =?us-ascii?q?4FLAQE?= IronPort-PHdr: A9a23:wY+1exbXojPHv8UBWxoo40z/LTGC2IqcDmcuAnoPtbtCf+yZ8oj4O wSHvLMx1wWPBd2Qsa0c17SempujcFJDyK7CikxKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxB sVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSizewb61+I A+qoQnNucUan4lvJro+xxbIv3BFZ/lYyWR0KF2cmBrx+t2+8Jl//SpOpvkv7dRAUaL0f6Q5S bxXEjErOH0r6cPoqBfOUxKB6mMTXWsKnBVIBRPF7AzhUZfqriT6rOt91zKEMsDwULs5RC6t7 6ZvSB/vlScHKzs0+3zZh8BskK5Wpg+qqBtizY7Je4GVLORxcb/Bfd0UQmpBW9xeVy1HAoiha 4cCAO4MMeNeooLgpVUBsAG+CBGsCu3x1zFImnH4064m3OsuCgzJxhAsE84UvXjIsNn5KaEfW v21wqnSyjXDautb1Cnn6InIaRAhveuDXbZtesfPyUkgDQXFjlqNooLrPjOV0PkGvm+F4up6V eOvkHInpBt1ojS1yMksi4/Ji5kIylDF7ip12oA1JdqhRUN9fNWrH4deuTuAOItqXsMtXXtou CAix7AYpJK2YjQHxZYoyRLBd/CKb4uF7xH+WOuTITp2inJrdK6/iRqs80WtxPPxWte73VtUs CZIk8TBu20M2hLT9MSKTOZ28Emm2TaKzQ/T6+dELFgqmqXHLJ4hxaYwmoAUsUTZES/6gFv5g 7WNdkQk5ueo6/7oYrT8ppOGMI90kA7+Prwhmsy+HeQ4MhUOUHOB9eS9073u+1DyTrZSjvAun aTVrIrWKdkHqqO7GQNZzJsv5wy7Aju7yNgUg3gKIE5LdR+CkoTlJ0vBLfH9APuin1ihlTlmy vHaMrDkB5jBM3bOnbH8drtj705c1REzzcxB6JJOF78BIfPyVVHpudDECBIyLha6zPz9CNpn0 4MTQWKPDbGdMKPVqVKG6ewgLfWQaIIVoTryJPsr6+P3gX8+glASY7Ol3ZwKaHCkBftmJFiZY XzxjdsbCWcKpA0+TPD0h1KeTT5TZnGyX6Qm6jE8FYKmEYPDRoeqgLyCxiu0AppWZmVeBlCNF 3fnaZmEVu8DZS6OOMNtjyAIWLq7R4M/yB2irgv3x6d/IurR4CIYtJbj1NZv5+3UkBE/7SJ5D 96d0mGWU2F7hGcISyU40qB+p0xw0UqD0aljjPBCE9xT4OtFUgEhOpHE1ex1F8jyWh7dfteOU FuqX82qASstQdIp398Of0F9Fs2+gR/Z2iqqB6YZl7iKBJwv7qLRxGPxJsZ4y3bezqYtlVgmQ s1VNW2nnKFz7QbTB5Sa23mewuyhfKEYmSrM73urzGyUvUgeXhQ6GfHOVHUbI0/XtsjR50XYT rboB65xYSVbzsvXAbFbccHgiR1tRP7lN5zyYmT5z0yqFA2Uz7fKQIvsU3gc1mPbDx5XwEgo4 X+aOF1mVW+aqGXEAWkyRDoHAmvp+Oh68zagS1MsihqNdwtn3qa0/RgcgbqdTekS1/QKonRps C16SXC62d+eEN+cv0x5ZqwJSsks+0tO0ST1tgpVI52qaaZl1RYFawoih0r1zF1sD5lY180jr Xck1g13fImCwUhdfjfe8ZH2EqDWIC/0+0PncLbYj2nXy83e4aIT8LI4plHk6RmuDVYn+m573 sN9/kamvsiPMitLFJX7XwAw6gRwoKzcbm8l/YTI2HZwMK6y9Djfx9YuA+hjwRGlFztGGIWDE gK6U8gTBsz1bfcvh0DsdRUceuZb6K8zOcqiMfqAwq+ieuh6znqgiixc7YZx31jplWI0Q/PU3 5sD3/CT3xeWHzb6glC7t8nrmIdCLTgMF2u7wCLgCcZffKp3NYoMDG6vJYWwyLAcz9bGQW9D6 FenQX8H3ue0eBDUaVu8lQxc2EILoGC2zDOixm88mDUoo6yDmS3Wlri6MkNfZSgRHS8z1ASJQ 8D8ld0RUUm2YhJ8kRKk4R2/3K1HvOFkKHGVR05Ufi/wJmUkU62qt7PEbdQcjfFg+ShRTum4Z kiXD7DnpB5PmQj5DnBCzTR9WzCskoj4lVp8jyjOSRQ75GqcYsx2yRrFsZb3X+9KwjMCAgV5j xHKB1L6Od7jrp2E0pzEtO65TWeoUJZeJDLqwY23vyy+/WR2ABe7kphfg/XfGBMhmW/+3thuD mDTqQrkJ5Lsz+K8OP5meU9hABn97dB7E8dwiNl4iJYV0HkczpKbmBhP2UzpIM5H0Ka4QHsLb SMKyZjT50Dp1VZiIXSA24/iHinFhJI5OJ/gOyVHg2o09IhSBb2R7aBYkCcQwBLwtg/XbfVn3 38cxfYo9H8GkrQMsQspwD+aB+NaFk1ZMCrw0hWQuozm6vwPOyD1KP7hjRkb/5jpFryJrwBCV Wysf54jGXQ19cBjKBfX12W17Ij4ed7WZNZVtxuOkh6GgfIGTfB53vcMmydjPnrw+HM/zOtux zd0zIqmtYzBB2Rr1L+4CFheMXemAqFbsiGolqtYksuMisqEBIR6BjwPGrfpS9q1EThUs/OtZ E6eVTY7rHmcA7/WGwSSvVxno3z4GJeuL3iLJXMdwIYHJlHVNAlFjQsTRjl/go8hG1Xg2pn6a EkgrGNZ9hvipxBL0O4tKxTvTjKVulKzcjltLfrXZBtOslMevwGEa4rGqLo0RnwQ/4X9/lDVb DXDOEIQSzlOAxLMBki/bOT0o4CYq67AQLL5dqarA/3GqPQCBarSg8v3iM0+uW7Lb5vHP2E+X aBhnBMbBjYhXZyewmpHSjRLxXuVM4jH+1HkvHUw95/akryjWRqxt9GGU+IAaIw2qR7q2f/RZ anM1G54MWgKjJpUnC2RkeFN0gJK0HM8MGX8dNZI/S/VEvCKk/cOXUdCMnF9aJMTvfJkhlEfa 4mG05v0zuAq1PdtUgUcDAWzlJ3xPp4BeznlZgGAWR/uVvzOJCWVkZv+OfruEOQJ3usI70bit 27DSx2xeWnZ33zgUxTlWQ1VpBmSJwcW+IS0cxI2THPmUMqjcRqjdtl+kTwxx7QwwHLML28Vd zZmIQtBqbiZ7CUQhfsaeSQJ9n1+MeyNgDqU9cH1F6xO7L5VI30xkOhXpnMn17FS8SdIAuRvn zffpcJvpFfglfSTzj1gU1xFrTMu5srDsUh5OKrf/4VNQj6YpFRUtTrWUU1M9oItA8ano61Kz 9nTiK//YCxP9d7Z54pUBsTZLt6GLGt0MRftH22xbkNNRjqqOGfDwk1Fxa3KsCTN8d5g8969w clrKPcTTlE+G/IEB14wGdUDJMwyRTY4ifuAi9ZO43OirR7XTcEcv5bdV/vUD++8TVTRxbRCe RYMxqv1aIoJMYiukWd4e0JmlYCMN0vWdc1MqGtnaUVnxScFuGg7VWA110//P0m152QPEPevg hMsoiZDW7xwsQnNuhIwLFeMozYsmk4sn9mjmSqWbDP6MKa3W8dRFjbwsE8ydJj8RkwmCG/61 VwhPzDCSbVLirJmfm0+kw7Qt6xEHvtERLFFahsdlrmHIu8l2lNGpmC71FdKsKHbXIB6mlJgI vvO5zpQnhhuZ9kvKenMKbpVmxJO07mWsHbg1/htklNGYRdXtjvUIGlR5QQJLuV0e3Lup7Qzr 1TEw3waJg1uH7Iruq44qxl7YrzYiXqmi/kadwiwL7DNcvnf4jCa05bOGhRpiAsJjxUXoOIwi J94NRLSDwd2k97zX1wILZaQcFkJKZYNsiCVJWHX7q3M2cwnZYzlT7KxFLbcuvpM2hD2W1p5e uZEpsUZQMv22RmBf56+dewLlU12tlaseATNDewXKkiCyG5V+pjmnpErhdIPdmlFWTcvdnjug 9Sf7g4y3qjZVY9vMC5DB9kKaiptCsbiw3YL7TMdVXG2yrxLkgHatm2l/32CAmWkNIhtPK/MN 0ErVYv+vDw79+LeYb//36jkfzy/C/U7/9jF5KUduoqNDO5SQf9lqUDAloJERnusFWnSDdqyI Ju2YI4pP4Wc4pOST121zTQyHZ+Z1DmFM6mCxwfvF988jQ== IronPort-Data: A9a23:XIyqTqsjZpQDoHAFg/NLq4WSK+fnVCBVMUV32f8akzHdYApBsoF/q tZmKW7UaKmNZTCgKNgnaIjn/EwCvceEz95nG1dupSlkEXhBgMeUXt7xwmXYb3rDdJWbJK5Ex 5xDMYeYdJhcolv0/ErF3m3J9CEkvU2wbuOgTrSCYEidfCc8IA85kxVvhuUltYBhhNm9Emult Mj7yyHlEAbNNwVcbCRNtspvlDs15K6v4G5A5wRnDRx2lAa2e0c9XMp3yZ6ZdCOQrrl8RoaSW +vFxbelyWLVlz9F5gSNz94X2mVTKlLjFVDmZkh+A8BOsTAezsAG6ZvXAdJHAathZ5plqPgqo DlFncTYpQ7EpcQgksxFO/VTO3kW0aGrZNYriJVw2CCe5xSuTpfi/xlhJF8YM78SovtePTtX2 ONHDQ0BUD6duMvjldpXSsE07igiBOTWBttC/09BlHTeB/tgRo3fSaLX49MexC03ms1FAffZY YwedCZraxPDJRZIPz/7CrpixKHx3ia5KWQe+Qv9SakfuwA/yCRayqn2LNPRPPCLQ+1In0zeo GWuE2HRW0hHaoHFlGvemp6qrsnrwH/0QrgALrqx695UmEeM5E8VViRDADNXptHi0RTiBLqzM Xc88SMrqe029Ve3ZsLsWgWx5n+CpB8VHdRKe9DW8ymIw6vQphiYX2UZVGYcb9p87J5vAzs3y lWOgtXlQyR1t6GYQm6c8bHSqi6uPS8SLikJYipsoRY5D8fLvq89vBiXU/9fSreYkYLQJD3O7 S61hX1r71kMtvIj26K+9FHBpjujoJnVUwI4jjk7uEr0tmuVg6b1NuSVBUjn0BpWEGqOZnC91 EXoduCb5eEKSI+MzSGQWr1QG7fzv6fcdjrBnVRoAp8tsSy3/GKudpxR5zc4I1p1NsEDenniZ 0q7VeJtCH17bCHCgUxfOtjZ5yEWIU7ISImNuhf8M4YmX3SJXFXblByCnGbJt4wXrGAikLskJ bCQetu2AHARBMxPlWXqGb9Gju50nXximAs/oKwXKTz2idJyg1bEEd843KemML5ptstoXS2Jr YkCb5fUl32zrsWnPnmIrt5MRbz1EZTLLcut8ZAIHgJyCg9nE3smEPjf3fsqfJZ995m5Zc+Zl kxRrnRwkQKl7VWecVviQik6NNvHA8wjxVplZnZEFQjzixAejXOHtvt3m20fJ+R/rLQLID8dZ 6VtRvhs9dwQG2uZpG1NNMOVQU4LXE3DuD9i9hGNOFAXF6OMjSSQkjM9VlK3rXFcPTn9rsYkv byr2yXSRJdJFUwoD9/bZLjrhxm9tGQU0rA6FUbZAMhhSGO1+qhTKgv1kqAWJeMIIk793Te07 VudLioZgujvmLUL1uf1q5qKlKqXNtdvP1F7GjDb5ImmNCOB8WuEx5RBYdmyfjvcdT3V+5ucW Od8ltXCAt8ipw9Ugo9BDrww8/oP4oq2rbpj0w9EPmvHQGqpBpxkPHOHgNdDhpdWzOUIoy+zf FyFwfhBGLCzIMi+OkUgFAkkSeWi1P8vhTjZ68ouEnj6/CNa+LmmU11YGhux1AhxCaRTC5w05 ssEo+gU4BybpjtxFejelQFS1WCHDkJYYpUdrptAXbPa0Fs6+G9Ncbn3K3HT8pqQT/5uL0NzA DufpJSatoRm3kCYLkYCTync79F826YLlgtBlmIZBlKzndHAuP878TtR/RkzTSVX1h936P1yC Ec6K3xKIbiywBkwiPhhR2yMHyRzNC+d8GH1yHoLkzT9ZGusXWrvMmY8GLis+GY0zmFiRQVYr YqokDvdbTXXfc/KznQTX2xhoKfdVtBfzFDJt/2mOMWnJKMERwTZrJWgX1dVlCu/M/gN3BXGg cJI4NdPbbbKMH9Mgq8jVKif+7ciaDGFA21gGPhe3b4DGDHdXBqQ2jG+DV+7Ve0QBv7N8G6+U 9dPIOAWXTuA9S++lBIpLo9SHK1VxdkHvMEjfJHvLk4464qvlCJj6s/sx3KvlV0VTMVLuudjD IHoLhapMHGa3FlQkE/z9Ph0AHKyO4Q4VVetzdKO0bs7ErwYu7tRamA06Ly/ukuVPCZB/x65u ADiZbfc/9d9yLZDzpfdLaFeOzqacd/DdvyE0ASWgeR8adniNcTvtQRMjnLFOw9QH6UaWvUpt LCrneP04nj4v+cNYziEo6WCKqhH3tXtfex1NsmsEmJWsxHfU+DR4jwC2VuCF7p3rP1n6PKKf TCIMPmLSYZNWvN25mFkVCxFIhNMV4X1dvjBoA2+ndStCz8c81XOE/K6/3q5bEVwVCwBC7vhA CDa5tes4dF5qtxXJRkmXvtJPb5xEGXBa4AHKeLjlGC/IDGzo1WgvrDCq0IR2QvTACPZLPegs IP3eBfuUT+T5ofK9Yh9mK5vtEQ1CH1dv7EBTngF8YQrtwHgXX80FsVDA5AoEZoOrzfT0qv/b zTzbGcPLyXxcDBHUBfk6uTYQQatKb0SC+j9OwAW0RuYWwWuCKOEJYlRxCNqznN1WznklcWMC 9UV/F/uNRmQnLBtY8su5cKAvOQ2/cOCm0o0+n38nfKrUlxaSf8P2Wd6FQVAaT3fHouf3A/XL GwyXiZfTFv9VUf1Ft16dmVIHA0C+gni1CgscTzF1eO3V193FwGc4KaX1yDPPrw/gAAiCYM0H S6yeUrUpmec1zoUpLcjvM8vjelsE/WXE8OmLajlAwoPg6W37WdhNMQH9cbKZN934xZRSjsxi RH1i0XSxmzcQKyS5FFS4RgI8dR3VRrgyhnX2RXnq2aufQMRlrDkltvD8O4/AYzxoe7luC20h dvUgFm5+zWridcvmdWyWjn3aLBK7QH92EQoihwVc64= IronPort-HdrOrdr: A9a23:zMQByqGhAofJpSA+pLqFdpHXdLJyesId70hD6qkvc3Fom52j/f xGws5x6fatskd2ZJhSo6H4BEDgewKryXcR2+Us1NiZLW3bUQeTTb2KjrGSigEIeReOkdK1vJ 0IG8cRNDSaNykYsS+O2njcLz9W+qjkzEnHv4fj5kYoaTsvR7Br7g9/BAreOFZxXhN6CZ0wE4 fZztZbphK7EE5nJfiTNz0gZazuttfLnJXpbVotHBg88jSDijuu9frTDwWY5BEDSDlCqI1Su1 Qt0jaJq5lLgcvLhSM05FWjoai+X+GRi+erMfb8xvT97A+cyjpAKr4RGIFq9wpF2N1HoGxa6+ Uk5S1Qd/ibokmhA11crXbWqnPd+Sdr5Hn4xVCCh3z/5cT/WTIhEsJEwZlUax3D9iMbzaRBOY 9wrhGkXqBsfGH9tTW448KNWwBhl0Kyr3ZnmekPj2ZHWY9bbLNKt4QQ8E5cDZ9FRUvBmfcaOf grCNuZ6OddcFucYXyctm5zwMa0VnB2GhudWEANtsGczjATlnFkyEkTwtAZgx47heYAYogB4/ 6BPrVjlblIQMNTZaVhBP0ZSc/yEWDJSQKkChPjHb0mLtB3B5vgke+I3Fxu3pDXRHUh9upMpK j8 X-Talos-CUID: 9a23:AsnVNm+vhN3Ro0kwaECVv1A6FPIvKmD08C3JDlDnLFtldpOLdnbFrQ== X-Talos-MUID: 9a23:95SiTAX6g5Opimfq/BnI2W1tLv162aOnFWAziY8ZmeqCaxUlbg== X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.15,254,1739833200"; d="scan'208,217";a="115652593" X-MGA-submission: =?us-ascii?q?MDEzXWWT8/Rx40KigxXP40+wIG79tgY7jZsp5N?= =?us-ascii?q?Hq4efQRnlmA9ERNnVvTNvyv2y6LBgt6Gx0ORJQJmoxc3q2ducSnSVJVd?= =?us-ascii?q?6+CZJEZ/+opNaKlLbkinMmnMTQFJsVf6+xj5UmWLmTNfEyzQ3+in13sT?= =?us-ascii?q?O1on0ZAMm/3VKYfgXA4MD5GQ=3D=3D?= Received: from mail-vi1eur05on2091.outbound.protection.outlook.com (HELO EUR05-VI1-obe.outbound.protection.outlook.com) ([40.107.21.91]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 01 May 2025 21:59:25 +0200 ARC-Seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=nZvEehnAn0axyuL8nQZlwNQs8yU5DS/syPt2paRZCmrXZRjJHKFSPA6sJiRiM9DFVzfEzzMioHiaqtaqAnFyMpcI63MYWAsyu/n6mX+MTZJtupBSK6+qs4NoJNQztqBmj6BRarD2kTeASTVtt9UFeTn1rU/DmWPgV43PYdMdiCjsBJW/B/jYXQSxTwKOrR/eYbuUcH+gitFRRe2QLxql2vpm8AuRZZcQgR8bVWzjOnrdzXM4x1qy16TAJUcDD6EmQWOTwTm8kp9enpqgwSi5T7Mb75oAnPzkZzzUkxOqz+K3VpCbon16jQgzQQ2QEP6FZY+Sf5kUqJzNaLxR1TqOaw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=vu/Z1Ip1nXWNDB4HsDgT2iicNRY882plsPmFxKJ4W1s=; b=mKOCbysygDNbYwHq1dApZjMkj/BVVWH5kr1ozSXNGnpJWbAiOT2k25k4QEmWIaML04Q5FZFm8HUE/6mhgyPv6WhwqKHDj9/vyp3HPWxZz7KnKTV9Zr+9+Z9xmXeVhB+eUQ+r51azZBiBosfp6OO4/df3qCFDaXjY13g4fPW/2XkgNvVT6Rr6LgBn/aNN8+iop0KErJZeSDicDsHCrC6Tk8QoyZJzv6uJXnSTbWYdc8NCPa9Gv41H1sJd7yD0GmNvVPBTetYoKvCogjeMtp0T0rzgtqakKzRqyIBhoWztYo4tzBdU/GJzWxXhH4SrGcTaPhJMK5F3c+oTYZjTsqN46A== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=uib.no; dmarc=pass action=none header.from=uib.no; dkim=pass header.d=uib.no; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=uib.no; s=selector2; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=vu/Z1Ip1nXWNDB4HsDgT2iicNRY882plsPmFxKJ4W1s=; b=WGOgTtfPPGxckezx4MsJqUfYdFMgF3ca0SyUHtH+NR8O/M1VjJJAX7cA46oRY+NKQUSZ9mSl7TDK4SzVGdkdALZyElSuqK91fSBbYVGRwUexHxVBtMAM0HM+/RPbTmvXLbGpXpCYapGhSZyQ9B08kKqKl7zC8J5J16+RklXVVtoKxb7+OrRLB0LSSEDbgVBI8b9hEaB3Wl2e5NoFzwcUP7txw41bLaGTqyLSQTyxl2UZrfSTcznpy+H4Rk51PSyNBBqYPSjbaorx29VU9O/VCWbN6wgNOu1uCwRU3+CY8LXwMczPGPRjzLqOZC7guM0Dn6i7ZYlI7gGYwdnxb9Tz2A== Received: from DB9PR01MB9392.eurprd01.prod.exchangelabs.com (2603:10a6:10:360::13) by GV1PR01MB10613.eurprd01.prod.exchangelabs.com (2603:10a6:150:166::20) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.8699.21; Thu, 1 May 2025 19:59:22 +0000 Received: from DB9PR01MB9392.eurprd01.prod.exchangelabs.com ([fe80::493a:c33:a7f3:5f24]) by DB9PR01MB9392.eurprd01.prod.exchangelabs.com ([fe80::493a:c33:a7f3:5f24%5]) with mapi id 15.20.8699.021; Thu, 1 May 2025 19:59:22 +0000 From: Crystal Chang Din To: "caml-list@inria.fr" Thread-Topic: FTfJP 2025 - 4th Call for Papers Thread-Index: AQHbutNZkEr95pFEm0uEEP/9V/ZxNw== Date: Thu, 1 May 2025 19:59:22 +0000 Message-ID: Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: msip_labels: x-ms-publictraffictype: Email x-ms-traffictypediagnostic: DB9PR01MB9392:EE_|GV1PR01MB10613:EE_ x-ms-office365-filtering-correlation-id: 3843942e-9d1f-4281-0e48-08dd88eaaa93 x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0;ARA:13230040|1800799024|366016|376014|13003099007|8096899003|38070700018; x-microsoft-antispam-message-info: =?iso-8859-1?Q?CJ1C4LJ+qgFgsiTYt2VaEkve7NPj1gagtxhrtxPFP3AImK0z/ioKEl34vM?= =?iso-8859-1?Q?MGnafD8xfMyrLS+x/bM9yH8HRd1sSiDXzmhu2noyxfs7NkrhQSiFRamD0P?= =?iso-8859-1?Q?molaq+LGZv9zSrJ270ce8CyR7W3ZB5uzST9Wr4+ER56cfVG1DyYiPJuAvp?= =?iso-8859-1?Q?Q+HS/PT9QdI2NnyWzDrfyV2S7t1QdTwU/ICidXbmeAswmlO1W2gwmnYErG?= =?iso-8859-1?Q?s4YV9jwNxc28sbYAFaeabglXISheve0nuAhD2AVrhjluWPPDSfvzacVmlv?= =?iso-8859-1?Q?nP1uZz+yM6MyYfM0z4rG4VLI8Qli2evkH7eEs3+yJ/EjcAFDywXglWJKxa?= =?iso-8859-1?Q?uO1rC0ZQZWrPUcjAmNIMfJ2pgr4k2+TfHK30Oi4gAb0x6HZ0CSZCpQL6e0?= =?iso-8859-1?Q?e1c4ZcOTb7ZGgN8Eil6DiqemaHHK3egcjwXMFE3o7W/hzfAZl7Am1vu74B?= =?iso-8859-1?Q?2O+1o/T3ZhCBtON3qSmK717z/wPzENXsjiaoNEupZGoAh37M1mwIEI+jxF?= =?iso-8859-1?Q?Z4P3InZsgAAtHUHL25dM6jiymtBy3f/gkOadC9/nfwBtQgjraIaKuT0O57?= =?iso-8859-1?Q?jX3d4AxVL7LThGt5/acUdVy1SyEkJ2QlbY1RFdW8MrcQzDcplzmS7VlzsV?= =?iso-8859-1?Q?sM5DL7gdOWnY5B7kHFZak9xIzI+RlfzVPFq0i8/vTk1BS0pOfQfSmHHzNg?= =?iso-8859-1?Q?6drkpnn8ZeLCrZM5goESbvt8SSOqZEJ6HMZQIW/smSAwnJi6mNIImT3NQL?= =?iso-8859-1?Q?L1norPhsz2IuF6UUjnvVQklz0Bq10s30f5V2Sf41pKyGZb+ovekCRy50bK?= =?iso-8859-1?Q?p2tvyhp9CHO8HEHQdmnUfZRlNhUvVyD2JqCp2JrPpnMoJ7Z2cER2Vakya4?= =?iso-8859-1?Q?8PhAarlnNFJziwYi3/TAljz7e+9vO1FJHnTfhCRIkM3urwNX3VXijSnX0/?= =?iso-8859-1?Q?HQWaHFgiELYZZW6Ltkx7EmkQQfMs2zyebwCw45YG/RwTEiFTso0Y3kokMw?= =?iso-8859-1?Q?ZYXdmVz0z4aR4PS5Shg+BIfGXQhCzMPt+hFRnEuf+FxEmUrCcv0mAX45ud?= =?iso-8859-1?Q?UP7lf03cIFJmveprxKI+moncCI5e78ucFB5lswtqcoBnecoItZIFq+FoXn?= =?iso-8859-1?Q?NxviyHgoCv4e2ua3xsgMMZ1AEWulxNPA81e202OpdRX+0yV2AET4MmX3YG?= =?iso-8859-1?Q?L31MT+i9FH2vonyQps3OFg81Jh7dtiLaAybEuvGwLRpygZGaPKUmAqLHbN?= =?iso-8859-1?Q?x1yehgtY7FUQGoHJV9VApDBUnctCtkv3iZhqNOSHczzdGGjYCh6t6sHBS/?= =?iso-8859-1?Q?lcFatGJHZhQ0sDb2M9uA+cHzcrZu+Rx0M4tp5gToYZnZ07DwzQCT/LVNpN?= =?iso-8859-1?Q?7g57+PheHPadjxcd/vaIYdNKI740j7Nnv8IwTTuSza75upd4tQPl2JcHwy?= =?iso-8859-1?Q?P9vMlR6/Gg41aNwCEy+hZ/GGJz2HHjWyy8DNdO3YP0lM1nXhef95yMM0cS?= =?iso-8859-1?Q?g=3D?= x-forefront-antispam-report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:DB9PR01MB9392.eurprd01.prod.exchangelabs.com;PTR:;CAT:NONE;SFS:(13230040)(1800799024)(366016)(376014)(13003099007)(8096899003)(38070700018);DIR:OUT;SFP:1102; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?iso-8859-1?Q?Src0VVDB8WjCfVWqtdw42jKY2SQJyBumiE1Ho56HSDcmgqfL/S+oJcJw76?= =?iso-8859-1?Q?2WR/ndYQtNTjKcQkPJLN/m88Cp8rYD9xp5xji32+vxrQOaGRKESgLVCm4i?= =?iso-8859-1?Q?7m92OxqVg15oBjqZtN7xcNcvfzoPnT5ENxMyRRHM16ZRwcItCysVGqkd/l?= =?iso-8859-1?Q?rtGFCftfNCzbWn9V+doqxSqXhmGSVgYEGodYXJYZjGOWvtvw9nM//BnMwb?= =?iso-8859-1?Q?PuLkl1z87M19MR9Lpse6zEIQCA7+hZT8XBS6QNF89WPvY233y/zAkRo8Ao?= =?iso-8859-1?Q?rz9fMTtxfdjeyuxqa+TvAMtIjarA5L8Rqwqfm/EMUw/wsKuKtsv+D2JUY1?= =?iso-8859-1?Q?faZnRKUdjgyqxLxPH83hFy1gUIQIEkkG5TVK1g3h29QRl834R2XQKGg0CF?= =?iso-8859-1?Q?LjCEBcoR3HdltDrEwnTHb/3jRtav4zl291f7xqfBhZsGYQ3HD3O0UdLQN9?= =?iso-8859-1?Q?ASYnu71XGt1kLcthhGy5WfgJ9vEEHj5e7j3EwtzUos4esDdxetuavNoLDM?= =?iso-8859-1?Q?Q1cPMVCIGq0mgXzl352Bmv3KEu0l1vVlLMPtHxxUJUSSOk7HexRYwwSFZ7?= =?iso-8859-1?Q?v/mer98llolEuYtozEaVb4KUcEAh91mZcQhsFcMYH5pcUUv36VQj7vAegT?= =?iso-8859-1?Q?T3QZss4sKtM5cA97FxbcLWbPZFtia0wr7UhzAlFTUbBmueGYq4uScS5sS3?= =?iso-8859-1?Q?z8tm/5Ss1MD9Od5xUntcUbztccf6KVyn6ovOPF+7byPSIsUUFBaFHgaWWg?= =?iso-8859-1?Q?sgpUXfYZa5jy74odZGE8d6C31h2Ac38+t/jGzTaEhZQ/RhTLF4KCB/axse?= =?iso-8859-1?Q?DTzJ9XcvVex5ymT4Kj3/x1pmuESMBKFAmzj30Mbs4itzf33LCZrxKYXk9l?= =?iso-8859-1?Q?5FQOOe8ZqvvSPF0Uah0NVBKT9G+sc8PZcmY411dtdhAetEVkLkO5lT1OQc?= =?iso-8859-1?Q?FY8kRUT/o19bDZlcLNfh7PUkf+o75LH26tY7tZV04drfPBoJTq03+9D7Gy?= =?iso-8859-1?Q?GPAamKOUGNbwawQ+sVLWJi6NBP+kEI5exwpxiVI+888PQw/wQ1eY6Rxbev?= =?iso-8859-1?Q?N6zBBLg3ln6Uu7vftG89//LoIvPZyrwniH/61B2CyAva42FH2+9LGQOxmc?= =?iso-8859-1?Q?+o21/xW0U7aYGPN/gy+O+Rs01gMIlcU8TCwCdyj/Vu2fwG5Vd3ZHyAFrtR?= =?iso-8859-1?Q?EksquDzhLh+p7ZERkypvTRhScFJPhfbrgQekZCj9Gqiq8B+NYoSRRyHUqj?= =?iso-8859-1?Q?QEQbBx1WqDJAkng8LHVLkB/YmJr5yS20bV1PVJrrZNvJ0lBVr4N8tc5oAd?= =?iso-8859-1?Q?bnCjFJR2yulf2KRzfsOnSG8Ko7wUaSY0oNrIt25TThCmCJdwlCO2aiqPHi?= =?iso-8859-1?Q?4QMU+M9bQVeF6wxjWf8vWNR7J37Io7502tgpFItoz9czoEbnGkjPukJynt?= =?iso-8859-1?Q?3FFvbQajWNhsMPionRdYzPiUyszR8UOLPVMjS2DD34zYnc6zyHiZvcaI+b?= =?iso-8859-1?Q?F/vvk3sGdCaKrj4yzcTbdn1+FA03mCSJnF4pFtk/ug078bYcE+ICkv/reE?= =?iso-8859-1?Q?lTOdchYN0J9SD44cK41Y/4sQAiRx+SWQoHJwkLd/uv/X74DYWAbqsSu622?= =?iso-8859-1?Q?Yl0z9AhAlg79w=3D?= Content-Type: multipart/alternative; boundary="_000_DB9PR01MB939252F8D7607F36E2214E8A84822DB9PR01MB9392eurp_" MIME-Version: 1.0 X-OriginatorOrg: uib.no X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: DB9PR01MB9392.eurprd01.prod.exchangelabs.com X-MS-Exchange-CrossTenant-Network-Message-Id: 3843942e-9d1f-4281-0e48-08dd88eaaa93 X-MS-Exchange-CrossTenant-originalarrivaltime: 01 May 2025 19:59:22.1914 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 648a24bc-a98d-4025-9c60-48c19a142069 X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: 8LmxLbaW31bJqVMph/Bw26R/0x1V9l+kao8uwQqTuWZqqc0nbfXD8VlYrpbuqiPlRkoRl/nN9Rn9dMyhhztEMw== X-MS-Exchange-Transport-CrossTenantHeadersStamped: GV1PR01MB10613 Subject: [Caml-list] FTfJP 2025 - 4th Call for Papers Reply-To: Crystal Chang Din X-Loop: caml-list@inria.fr X-Sequence: 19313 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: --_000_DB9PR01MB939252F8D7607F36E2214E8A84822DB9PR01MB9392eurp_ Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable FTfJP 2025 27th International Workshop on Formal Techniques for Judicious Programming,= 03 July 2025, Bergen, Norway Conference website: https://2025.ecoop.org/home/FTfJP-2025 Submission link: https://easychair.org/conferences?conf=3Dftfjp2025 =3D=3D=3D Important dates =3D=3D=3D - Paper submission: 07 May 2025 (AoE, extended) - Paper notification: 21 May 2025 (AoE) - Workshop date: 03 July 2025 (co-located with ECOOP 2025) Deadlines expire at 23:59 anywhere on earth on the dates displayed above. =3D=3D=3D Objectives and scope =3D=3D=3D Formal techniques can help analyse programs, precisely describe program beh= aviour, and verify program properties. Modern programming languages (such a= s C#, Java, Kotlin, Rust, or Scala) are interesting targets for formal tech= niques due to their ubiquity and wide user base, stable and well-defined in= terfaces and platforms, and powerful (but also complex) libraries. New lang= uages and applications in this space are continually arising, resulting in = new programming languages research challenges. Work on formal techniques and tools and on the formal underpinnings of prog= ramming languages themselves naturally complement each other. The Formal Techniques for Judicious Programming (FTfJP) workshop is an esta= blished workshop which has run annually since 1999 alongside ECOOP, with th= e goal of bringing together people working in both fields. Webpages for pre= vious workshops in this series are available at https://ftfjp.github.io/. Example topics of interest include: - Language design and semantics - Type systems - Concurrency and new application domains - Specification and verification of program properties - Program analysis (static or dynamic) - Program synthesis - Security - Pearls (programs or proofs) FTfJP welcomes submissions on technical contributions, case studies, experi= ence reports, challenge proposals, tools, and position papers. =3D=3D=3D Paper Categories =3D=3D=3D We solicit two categories of papers: - Full Papers (12 pages, excluding references) present a technical contribu= tion, case study, or detailed experience report. We welcome both complete a= nd incomplete technical results; ongoing work is particularly welcome, prov= ided it is substantial enough to stimulate interesting discussions. - Short Papers (6 pages, excluding references) should advocate a promising = research direction, or otherwise present a position likely to stimulate dis= cussion at the workshop. We encourage e.g. established researchers to set o= ut a personal vision, and beginning researchers to present a planned path t= o a PhD. Both types of contributions will benefit from feedback received at the work= shop. Submissions will be peer reviewed and will be evaluated based on thei= r clarity and their potential to generate interesting discussions. Reviewin= g will be single blind, i.e, submissions need not be anonymized. The format of the workshop encourages interaction. FTfJP is a forum in whic= h a wide range of people share their expertise, from experienced researcher= s to beginning PhD students. =3D=3D=3D Submission guidelines =3D=3D=3D Papers must be formatted according to the guidelines for Springer LNCS pape= rs. Submissions should be made via EasyChair: https://easychair.org/conferences= ?conf=3Dftfjp2025. There is no need to indicate the paper category (long/short). The accepted papers will be published as post-proceedings in JOT (Journal o= f Object Technology), though authors will be able to opt out of this public= ation, if desired. At least one author of an accepted paper must register t= o the workshop by the early registration date and attend the workshop to pr= esent the work and participate in the discussions. =3D=3D=3D Steering Committee =3D=3D=3D - Rosemary Monahan, National University of Ireland, Ireland (SC chair) - Radu Grigore, Facebook, United Kingdom - Gary T. Leavens, University of Central Florida, United States - Werner Dietl, University of Waterloo, Canada - Alexander J. Summers, University of British Columbia, Canada =3D=3D=3D Program Committee =3D=3D=3D - Crystal Chang Din, University of Bergen, Norway (PC Chair) - Richard Bubel, Technische Universit=E4t Darmstadt, Germany - Syed Ali Asadullah Bukhari, Maynooth University, Ireland - Claire Dross, AdaCore, France - Erik Ernst, Google Inc., Denmark - Marie Farrell, The University of Manchester, United Kingdom - Carlo A. Furia, Universit=E0 della Svizzera italiana (USI), Switzerland - Atsushi Igarashi, Kyoto University, Japan - Marie-Christine Jakobs, LMU Munich, Germany - Taylor T Johnson, Vanderbilt University, United States - Matthew Lutze, Aarhus University, Denmark - Wojciech Mostowski, Halmstad University, Sweden - Wytse Oortwijn, TNO-ESI, Netherlands - Violet Ka I Pun, Western Norway University of Applied Sciences, Norway - Anton Wijs, Eindhoven University of Technology, Netherlands - Elena Zucca, University of Genoa, Italy --_000_DB9PR01MB939252F8D7607F36E2214E8A84822DB9PR01MB9392eurp_ Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable
FTfJP 2025 

27th International Workshop on Formal Techniques for Judicious Programming,= 03 July 2025, Bergen, Norway  

Conference website: 
https://2025.ecoop.org/home/FTfJP-2025  

Submission link: 
https://easychair.org/conferences?conf=3D= ftfjp2025


=3D=3D=3D Important dates =3D=3D=3D

- Paper submission: 07 May 2025 (AoE, extended)
- Paper notification: 21 May 2025 (AoE)
- Workshop date: 03 July 2025 (co-located with ECOOP 2025)
Deadlines expire at 23:59 anywhere on earth on the dates displayed above.


=3D=3D=3D Objectives and scope =3D=3D=3D

Formal techniques can help analyse programs, precisely describe program beh= aviour, and verify program properties. Modern programming languages (such a= s C#, Java, Kotlin, Rust, or Scala) are interesting targets for formal tech= niques due to their ubiquity and wide user base, stable and well-defined interfaces and platforms, and powe= rful (but also complex) libraries. New languages and applications in this s= pace are continually arising, resulting in new programming languages resear= ch challenges.

Work on formal techniques and tools and on the formal underpinnings of prog= ramming languages themselves naturally complement each other.
The Formal Techniques for Judicious Programming (FTfJP) workshop is an esta= blished workshop which has run annually since 1999 alongside ECOOP, with th= e goal of bringing together people working in both fields. Webpages for pre= vious workshops in this series are available at https://ftfjp.github.io/.

Example topics of interest include:

- Language design and semantics
- Type systems
- Concurrency and new application domains
- Specification and verification of program properties
- Program analysis (static or dynamic)
- Program synthesis
- Security
- Pearls (programs or proofs)

FTfJP welcomes submissions on technical contributions, case studies, experi= ence reports, challenge proposals, tools, and position papers. 


=3D=3D=3D Paper Categories =3D=3D=3D

We solicit two categories of papers:

- Full Papers (12 pages, excluding references) present a technical contribu= tion, case study, or detailed experience report. We welcome both complete a= nd incomplete technical results; ongoing work is particularly welcome, prov= ided it is substantial enough to stimulate interesting discussions.

- Short Papers (6 pages, excluding references) should advocate a promising = research direction, or otherwise present a position likely to stimulate dis= cussion at the workshop. We encourage e.g. established researchers to set o= ut a personal vision, and beginning researchers to present a planned path to a PhD.

Both types of contributions will benefit from feedback received at the work= shop. Submissions will be peer reviewed and will be evaluated based on thei= r clarity and their potential to generate interesting discussions. Reviewin= g will be single blind, i.e, submissions need not be anonymized.

The format of the workshop encourages interaction. FTfJP is a forum in whic= h a wide range of people share their expertise, from experienced researcher= s to beginning PhD students.


=3D=3D=3D Submission guidelines =3D=3D=3D

Papers must be formatted according to the guidelines for Springer LNCS pape= rs.  
Submissions should be made via EasyChair: https://easychair.org/conferences?conf=3Dftfjp2025.  
There is no need to indicate the paper category (long/short). 

The accepted papers will be published as post-proceedings in JOT (Journal o= f Object Technology), though authors will be able to opt out of this public= ation, if desired. At least one author of an accepted paper must register t= o the workshop by the early registration date and attend the workshop to present the work and participate in the di= scussions.


=3D=3D=3D Steering Committee =3D=3D=3D

- Rosemary Monahan, National University of Ireland, Ireland (SC chair)
- Radu Grigore, Facebook, United Kingdom
- Gary T. Leavens, University of Central Florida, United States
- Werner Dietl, University of Waterloo, Canada
- Alexander J. Summers, University of British Columbia, Canada
    

=3D=3D=3D Program Committee =3D=3D=3D

- Crystal Chang Din, University of Bergen, Norway (PC Chair)
- Richard Bubel, Technische Universit=E4t Darmstadt, Germany
- Syed Ali Asadullah Bukhari, Maynooth University, Ireland
- Claire Dross, AdaCore, France
- Erik Ernst, Google Inc., Denmark
- Marie Farrell, The University of Manchester, United Kingdom
- Carlo A. Furia, Universit=E0 della Svizzera italiana (USI), Switzerl= and
- Atsushi Igarashi, Kyoto University, Japan
- Marie-Christine Jakobs, LMU Munich, Germany
- Taylor T Johnson, Vanderbilt University, United States
- Matthew Lutze, Aarhus University, Denmark
- Wojciech Mostowski, Halmstad University, Sweden
- Wytse Oortwijn, TNO-ESI, Netherlands
- Violet Ka I Pun, Western Norway University of Applied Sciences, Norw= ay
- Anton Wijs, Eindhoven University of Technology, Netherlands
- Elena Zucca, University of Genoa, Italy
--_000_DB9PR01MB939252F8D7607F36E2214E8A84822DB9PR01MB9392eurp_--