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=fail (p=none dis=none) header.from=tu-dresden.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=iREQofxU; dkim=fail reason="signature verification failed" (2048-bit key; unprotected) header.d=tu-dresden.de header.i=@tu-dresden.de header.a=rsa-sha256 header.s=dkim2022 header.b=o6idZ5vX; 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 5A1B3B80123 for ; Sat, 22 Jun 2024 17:33:19 +0100 (BST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=message-id:date:mime-version:to:from: content-transfer-encoding:subject:reply-to:sender:list-id: list-help:list-subscribe:list-unsubscribe:list-post: list-owner:list-archive; bh=/HE2wenpcckVwFjkJQBO1Ia44MAjIw+aiiEV49NVd6s=; b=iREQofxUlYG5d98/n3tdXwc/x+0y+zgBleXi9GsG2c1yTJPOyNuWX3Er GXRY4Hh5pNiJYRo42ONtz8S0F/3Or6jlu5hgoc3g0S743DItS6t/XQrFU 7DJyB6vM8qSZJUXf2KAc5DEu1cZQcOJP2LvBNa85sWLX1DHffqEYoqfZy g=; 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: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=@tu-dresden.de X-IronPort-AV: E=Sophos;i="6.08,258,1712613600"; d="scan'208";a="171969811" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 22 Jun 2024 18:33:19 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id DAE51E01A8; Sat, 22 Jun 2024 18:33:18 +0200 (CEST) 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 7F103E00B6; Sat, 22 Jun 2024 18:33:13 +0200 (CEST) IronPort-SDR: 6676fcc9_j3u9Rr1tOwjS8DNBIdYe9mTjnC40FQSh7ENj/oy7y+DK+vi jN++wS3CupN0qeiWH8h7gSIlwFF21444TL0aKeQ== X-IPAS-Result: =?us-ascii?q?A0EMAwCY+3ZmmEtDHo1aDnuEE3xaMwQLSIRWj0iBdS2gD?= =?us-ascii?q?g8BAwEMATkLBAEBAwMBjgMCHgcBBDQTAQIEAQEBAQMCAwEBAQEBAQgBAQUBA?= =?us-ascii?q?QECAQECBAYBAhABAQEBAQEBAR4ZBRADCyeFdA2CYIEmgSYBAQEBAQEBAQEBA?= =?us-ascii?q?QEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQIUgRgGDwEFCAEBOBgcA?= =?us-ascii?q?iYCXgEUAQGCfAGCZAcNknKcNoEygQGCDAEBBtwdgWMDBoEaLogxAYFZiQqBZ?= =?us-ascii?q?ESBFSeERoMZcoMOgmmTIIFWhGKCGoh1fyYLjS0JgUh4IRMBVRMXCz4dAhYDG?= =?us-ascii?q?xQEMA8JCyYpBjkCEgwGBgZZNAkEIwMIBANCAyBxEQMEGgQLB3eDJQQTRAOBN?= =?us-ascii?q?waJZoMRAgUhBIIXgSOCd0uBAAErXQKCZIFrDGGETIJKcYFygT6BZUyBHQaBY?= =?us-ascii?q?C8bJQtjgVmBCwVROR1AAgELbT01BgMLGwaqcYNHgW8TD1cCSggEk2wlslgHg?= =?us-ascii?q?jaBYIwPlScGQpdIBpJrh3aQcCCNVppqAgQCBAUCF4F8I4FcTSRPgjMBM08DG?= =?us-ascii?q?Q+OOAKEFIELjXYJAb0JQTUCOQIHAQoBAQMJiSKBSAEB?= IronPort-PHdr: A9a23:RXOuDBTQpvFc7LoCEyVjexoHOdpsomyWAWYlg6HPa5pwe6iut67vI FbYra00ygOTDMOAsKwP0rKM+4nbGkU+or+580o+OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF 95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjWwba12I RmsowjcuMgbjYR/Jqot1BfCv2dFdflRyW50Kl2fmArx6N238JB/7Spbpugv99RHUaX0fqQ4S aJXATE7OG0r58PlqAfOQxKX6nQTTmsZnBxIAxPY7B7hRZf+rjH6tutm1yaEO8D9UK05Vi6j7 6dvTx/olTsHOjsk+2zZlsB8kKRWqw+nqhdiwYDbfZuVOeJ9cK3TctwVS3RPUMZMWSNdDY2xd JcPAukbMOpEs4XxuVkDoB2jDgesHuPvzTpIi2fv060+0uQhDx/J3BY9FNwOrnvUttP1O70UU e+o0qbJzCjIYfJX2Tf59YPFdRchofWNXbJub8XR01MjFw3bgVWKr4zqJTWV2fkTvGma9OdgS f+vh3c6pAFrvDev3dojhZfPho4P11/L6zx0zYAoLtK3VEB1e8SrEIdMty6ELYt2RNsvTm50t Sg017AKp4O3ciYWxZkk2xPSZP+KfouW7x/sVuucPSl0inJrdby/gxu/7FStxvH/W8Sq31hGs DZJn93Qun0Lyhfd5M+HSv5n8Ueg3zaCzxzT6vxdLU8pj6rUNYUhzaMumZoVq0jMAzH5lF33j K+QbEUk+/Kn5/7pYrX8oJKXKox6ihnmP6gzlcGzHP40PwYSU2SB+Omx1qfv8E/5TblSjfA7k bPVvI3EKckYvKK0BxFZ3pwt5hu+CTqtzcoVnX0aLFJeZBKIkZLpNUzPIPH5E/iym0ignTF2z P7cJLLhGI/CLn3bnbfhY7l970lcxRI2zd9F5pJUDrYBIO/vWkL+rtDZDx45Mwyuz+b7FdVxz 54RWXiRDa+CLazdr1mI6vgyLOaSfIMVuTD9JOY55/P2kHM0lkIRcbOn0JcLcny1H/ZrL1+bb HfsmtsBFH0Fvgs6TOzkkl2CVjtTam61X6I45zE7FpypDZ3ZSoCjnrOBxiG7EYdQZm9bFF+NE Gzld5mZW/sVdS2SONFukicZWre/TY8tzwyhuxHix7phNeXb4jcYuo771Nhp++3Tkgk/+SJsA 8SHz26NV310nn8PRzIuwK9/plV9xk6f3qh8nvxXDsde5+hJUwc/LZ7T1fZ2C9H0WgLbf9eGU kyqQtu8AT0pVNI+38cOY1phG9Wllh3MwzClA7oRl7CSAJw087nc32TqKsZmy3fG0bEhgEM8T stOM22mnK9/+BLJC47HiUXK35qtIPAG0THX9XuCy2WmsUdDFQphVqODU2pJIgOCptPgo0jGU rWGCLI9MwIHx9TUbuMeYdTsiRBCRez/ENXYeWO43WmqU1LAkouWa43kR2UQ2z/MIEwFiBwIu 3yPKQh4DyznvmGISHQ6G0nkbwXn9u9wpWm2SEQ55w2BZAtv3Pyo4lgNmarYA6cP3r8DojZkr zJ7HV2V1MmQAN+d4QdtYfMYKYc25BJGzmvTugh5M9m9NK14nXYach9rpAXl3hAxA44GjMt8/ 10wyw8nDqaZzl5bPx2Vx5b5PLHaOCHd/RTnP6nS20/TypCY970J4fI0pkfLoBzsGlAv6Hlq1 Z9Z3i3Ptd3xEAMOXMepAQ4M/B9gquSCCsFcz4bd1Hk2dLKxrieHwdUiQu0s1hened5bdqKCD g77VcMAVIC1MOJ/vV+vY1ofOfxKsrYuNpahc/qY1bTtMut6mjuggWlVyJxgl06W+jFwR+iO0 5tWi+qA0F6/XiznxEykrtixnIlFYT8IGW/qzizlGoNLIKN/Z4ACD2ujMeWr25BynZP2V3Nes lKuVBsdwMH8Xx2UYhTm2BFIk0QapXvygSyj0zl9iC0ktIKa1S3KxPn+KFwVO24NWHQngU3hO oS5iZYWUSBEdiAPkx2orQb/zqlf/uFkKnXLBF1PdG7wJn1jVa25svyDZdRO4dUmq3cfVuP0e l2cRrPnxnlSmyr+A2tTwiw6fDC2q934mRJ9kmeUMHd0qjLQZ8hxwR7V4NGUS+RW23IKQyxxi D+fAVbZXZHh+tGViZrZ9O6zTWSoUJFeYwH30MaMriag6WBsRxGy3riyltDhDQkmwHrjzdA5M EeA5B34Y4Tty+G7Kbc+IhAuXwe6tZU8Rdwt9+l4zIsd0nUbmJiPqH8OkGOpdM5exbq7dn0GA zgC39/S5gHhnkxlNHOAgYzjBRD/ioNsYce3ZmQO12cz9cdPXe2T6L1akDEzrFeiqwvXbfVvt isAjPc05WUWjudPtAdnnUD/SvgCWFJVOyDhjUHC6NS/sqhNImiia7650kZzj/i9EfSOuAxHV Hv/PJsvV3wVjI03IBfH13v97Zvhcd/bYIcItxGapBzHivBcNJM7kvdiaTNPAWvmpjVlzuc6i UYrxpSmpM2dLG4r+qulAxlePzmzZsUJ+zirg7wM1sqR2omuGN1mFFBpFNPvSfO2HShUu/n9M Q+IHDAugmuGXLbFEBST5UEgo3+HH52wNn6RLWUU1p07GEDbfxQZ3l9SA2hyl4VcdEji3MH7d UZl+j0drkX1rBdB0KMgNhXyVHveuBb9bz41TJaFKx8FpgpG5krTLYmf9rcqQ3gepcXn8lPLd THIAmYARXsEUUGFGV35a7yn5N2atvOdGvL7NfzFJ7OHte1ZUf6Mg5OpyIpvuTiWZaDtdjFvC eM23k1bUDV3AcPczn8ITy0JmjiLYcOBoh669iBlhtyitfjxVRnj6I3JB7YYYrANs1imxLyOM eKdnnMzLjJZyJ4Wg3HF0r4W2lIfmQlyanyhC7kbuSPLCq7d0PwybVZTe2Z4M81G6Lg51w9GN JvAi9/74bV/i+Y8F1ZPUVGy0tHsf8EBJHuxcU/WHEvefqrTPiXFmoukBMH0Aa0VluhfsAe8/ CqWA1O2dCrWjCHnDliuKb0e1X3CekcG/t/iNEk3TjKyKbCuIhyjbI0u0WRwnuNy3SmMbzREd mMkO1VEqrnahc9BqtN4HWEJrn9sLO3e3j2c8/GdMJEd9/1iHiVzketepnU80bpcqi9eFrRzn 2PJo9hirkvD8KHHwyd7UBdItjdAhZ6a9URkN6LD85BcWHHCtBsT5GSUAh4OqpNrENrq86xXz 9HOkur0JlIgu5rM+tAAAsHPNM+dGH8oMB7uBSKIShkETXi3KCTTnUFGnPyUsHGY79A7ppXqh JsSW+pbWVgyRZZ4QgxuGN0PJosyXytxyOLCypVQoyTh6kaMF6A49tjdW/mfAOviMmOchLhAP V4TxK/gaJ4UPcv90lBjbV9zmMLLHVDRVJZDuH4EDEd8rUNT/Xx5VmB21Vjib1bn53sSC/Ou2 BA7kA13Z+gg5h/w/hI7PFfRqCY21kU804aA43jZYHvqIaG8UJsDQTLzrFQ0O4jnThxdaASzm Ut5KGuCVbNRyad9MGxxhRTQtJ0JFfMWHsgmKFcAgPqQYfsvy1FVrC6qkFRG6eXyApxnjAI2c JSoohqoPip/cZs5P6HLKKdPiFRd1PrmVs6A0+kwxAgDOxpL4mKSPjIV/UASO6IqKizu8uE+s WRqdBNfZS0ATfcxrv9ssE8wab3o8g== IronPort-Data: A9a23:XvtGZqLAWHlkkiyyFE+RhJ4lxSXFcZb7ZxGr2PjKsXjdYENS02RSn TAbWz/SPqqNZWfwLd5/Otu2/UtSsZXcmNRgSVMd+CA2RRqmi+KVXIXDdh+Y0wC6d5CYEho/t 63yTvGacajYm1eF/k/F3oDJ9CU6j+fSLlbFILasEjhrQgN5QzsWhxtmmuoo6qZlmtHR7zml4 LsemOWBfgf1s9JIGjhMsf7b9kk15K6aVA4w5zTSW9gb5DcyqFFOVPrzFYnpR1PkT49dGPKNR uqr5NlVKUuEl/uFIorNfofTKiXmcJaKVeS9oiY+t5yZv/R3jndaPpDXmxYrQRw/Zz2hx7idw TjW3HC6YV9B0qbkwIzxX/TEes3X0GIvFLLveBCCXcKvI0LuV3zx5/cxFGcNIaoi0Nd+P0NO9 +MAN2VYBvyDr7reLLOTT+BtgsM+MJWtLoIf/G19iD3DAO0qTJaFT6iiCd1whWtpwJsWW6iBI ZVEAdZsREyojxlnPVMWFp8k2umlnH/2dTFVunqJuO87+WXIwAF3lrTgWDbQUoXVHJQLzxnI+ Qoq+Uz6Kxc5FfKWkAG4rEOPlNDPp3LYQLorQejQGvlC2gTInDFKWHX6T2CTqv6gz0W6Rth3M F0R4iNorK4o9UXtQMOVdxaxpXrBuh8HR/JLAugi4UeMzLDV6kCXHAA5oiVpbdUnsMgrWWBsx F6J2c/0QDB1vaaZRHTb+rr8QS6O1TY9CWgfQS1bVS0+//7ZirA6sDDPTMl7D/vg5jHqIg3Yz zePpSk4orwci88Xyqm2lWwrZRrx/vAlqSZpt23qsnKZ0+9vWGKyT6CFgWU3AN5FJYedSUSd4 D4WmsjY8P1LAYuAjyCARqMBEdlFBspp0hWD3jaD/LF4qVxBHkJPm6gMu1mSw281aK45lcfBO hO7hO+ozMY70IGWRaF2eZmtLM8h0LLtE9/oPtiNMYMeM8ktKl7dpXw0DaJ144wLuBV0+U3YE cvKGftA8V5HYUia5GPtHrxHgdfHOAhkmji7qW/HI+SPi+PFPiPMGd/pwXOSY+s56qKfqwXYu 8tZNtWH0Q5eTOTzfmHb64MIIV0MRUXX9rirw/G7gtWre1I8cEl4Uqe56ep4K+RNwf4I/s+Wp SvVchEDlzLCaYjvdF/ihoZLMu2/BP6SbBsTYEQRALpf8yR5P9b3sfxELsBfkHtO3LUL8MOYh sItI62oasmjgByek9jERcCl9NIwRwfhng+UISuubR42epMqFUSD+cbpckGrvGMCBza+/5l26 bCx9BLpcbxaTSRbDeHSdK2OyXG1tiMjg+5cZRbDDeRSX0TOy7JUDRLNoMU5GOwyDCnS5yC70 l+WCCgIpOOWrI4S9sLItJ++rIyoMrVfGxNaFlbL87qGDHH++HK7yKQdCOqzJDPWUV3myoqce MFQ9fXdMeIGrnlOoYFTA7Zm9oNgxtrN9ptx7BVoI2XPVHuvUohfG3ih2dJdk4F03ZlbshuSd mPV3/cCIpSPGsfuMGBJFTofdu7ZiM0lwGjD38o6MGDRxXFR/oPedW5wIhPVqihWDIUtAbMf2 e175fInsV2uuCELbOSDoDtfrVmXD3o6VK4iiJEWLanrhicvyXBAeZbsMTD30r7ed+RzNlQWH RHMiJrgn7h8wm/wQ0g3H1XJ3stfgs0qkzJOx1kgOV+Iu4Tkgtka4R5vygk0Hz9llkh/7+FOO 2ZQJxJUI4eK9GxWn8RtZT2nNDxAIxy7wXbP7WU1ulfXdXT1aVyVHlYBYb6M2Gs771NjeiNq+ eDE6WT9DhfvUsLD/gozfk9H8/DYFN968zPQqu+ZAuCAJZ0bYCXksICqd2EnuxvqOuJvpUzl9 M1B3vd8Vr3/DgEU+5YEMoi90a9KbgKpP0lAcO5Rx7wIFmTiZz2C4ziCBESvcMdrJfaR00uHJ +FxB8BIDTKS6T2vq20FOKsyPLNEpv4ly94ccLfNJ2Rdkb++rCJsga3A5BrFm24nbNV/o/kTc rqLWWq5LVWRon9Il0vmjspOYDO4aOZZQjzM5rm+9eFRGq8TtO1pT1oJ7YK1mHeoKypiwQOfu VLSRq3RztE6879WoanXLvxhCTm3ePTJb8bZ1CCost9LU8HDDteWiSMRtWvcHlp3OZk/Zo1Js Iqj4f/N8mHLhrIUa1ziuoKgEvBJ7PqiXeAMPcPQKmJbrBS4W8TtwkUi/VrhDaNzgeFtwMqVe FelWuSNdPo+edRU9FtKYQdwTjcfDKXWaP/7hCWf9v6jNDkU4TblHviGq0D7XDp+TTAZHZ/UB ivfmeec1voBoKtiXBY7VuxbWblmK1rdaI4aXtzWtwjAKFK3g1mH64DQpTB55R7lUnC7QdvHu 7TbTR3DdTO3iqHC7Pddl6dQ5hQ3LnJMsdMcT3In2exdqm6FVTYdDOEnL585JIlekXXy2LHGd Tj9VjYeJhunbwtUUyfXwYrFZRieNNwsK92iBz0O/mGoUQmUKr6EIoNc8nZH3y8rVBrlle2pE IRLsDm4dB282YpgSusv9+S2y7UvjO/TwnUTv1vxiYruChIZGq8Hz2FlABELbyHcDsXRjw/eE ADZn4yfrJ2TEiYd0PqMekK53DkctTLryCg0MWGdwdaZp5jewPdN0/HyPaf/39XvqSjMyKEmH RvKq6mlugh6GUD/fYM1ppclm6JvBf+NWMS3REMmbRNHhLm+swzLIOtb9Rfij6geFMp3D06Ym iOh+HQzAgKJJSi9HVFQJRoho/pMb57HM90FYMMTa9MLfdzVAuU1oySX8T8= IronPort-HdrOrdr: A9a23:emOJiqrjldp8hQ+QfJoU1DAaV5oCeYIsimQD101hICG9Afb5qy nIpoV96faUskd0ZJhEo7u90ca7Lk80maQFg7X5Xo3NYOCFggeVxehZhOOJrgEIcBeOk9K1u5 0QEJSWROeQMbAs5vyKhjWQIpIc/PTCz6Cymf2b9X1kSgZnZshbnn5ENjo= X-Talos-CUID: =?us-ascii?q?9a23=3AKiag52nJtdqd5Fkpbv74n6qJ6IDXOVna0VPSfFe?= =?us-ascii?q?eMnpOcpekQGGy+KF7i9U7zg=3D=3D?= X-Talos-MUID: 9a23:rsh/qQjBJFlJ+UP0+Fp/qcMpN+5uwIWAARk2rMs3mNu7NRYhGC+ltWHi X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.08,258,1712613600"; d="scan'208";a="171969787" X-MGA-submission: =?us-ascii?q?MDHbxZnaIdbQFEMZvok9eb9O7lBMzHgqsNjN+w?= =?us-ascii?q?NpQzu5LTgYCEHbiX+fWLX1eeDri2KePwmRHbKbf9SRK72OeDbdqSgccm?= =?us-ascii?q?KOir/PXKOih8HEdArqweRUI5yXkGH+EASoZrrusMWAUOVvYSYv+vEw65?= =?us-ascii?q?pNBqQwl+PE4FWxHjaOykQWrQ=3D=3D?= Received: from mailout4.zih.tu-dresden.de ([141.30.67.75]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 22 Jun 2024 18:33:12 +0200 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=tu-dresden.de; s=dkim2022; h=Content-Transfer-Encoding:Content-Type:Subject :From:To:MIME-Version:Date:Message-ID:Sender:Reply-To:Cc: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=/HE2wenpcckVwFjkJQBO1Ia44MAjIw+aiiEV49NVd6s=; b=o6idZ5vXngalvooabMaBs8UmGZ Eha0MznYi97QlsV1heu38LvvtsCFe2Rupvk5WiDUTokUV1v1MOTFU7CFLb8dAiMwYYgsDzoGv4KKl uI794c1KeJqfcsDfpUDePusya4nkoLqEqGciJH6RKw2MnBAPQ0NaqkLLl3DWu2lgVeCVkg+INcw5/ 4trFkSvCS9oI2RHVkqeUyZU49x5Ycxxwg7qEfHlACar20/4G6HEQV1BPXovpWqIYc6c+2gdB/0YvE PagaUJ31IB1I/OIfE68FDNO8bia4PWeXytbCmt6F7f1g17dg6NkF2uYC2LNSpiy96dScvLkwgCLjm D4q1bHtg==; Received: from [172.26.35.113] (helo=msx.tu-dresden.de) by mailout4.zih.tu-dresden.de with esmtps (TLS1.2) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.94.2) (envelope-from ) id 1sL3fr-003paI-5N; Sat, 22 Jun 2024 18:33:12 +0200 Received: from [10.239.254.220] (88.128.92.36) by MSX-T313.msx.ad.zih.tu-dresden.de (172.26.35.113) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.1.2507.39; Sat, 22 Jun 2024 18:32:50 +0200 Message-ID: Date: Sat, 22 Jun 2024 18:32:49 +0200 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Content-Language: en-US To: , , , , , , From: Oliver Fernandez Gil Content-Type: text/plain; charset="UTF-8"; format=flowed Content-Transfer-Encoding: 8bit X-ClientProxiedBy: MSX-L312.msx.ad.zih.tu-dresden.de (172.26.34.112) To MSX-T313.msx.ad.zih.tu-dresden.de (172.26.35.113) X-TUD-Virus-Scanned: mailout4.zih.tu-dresden.de Subject: [Caml-list] UNIF 2024 - Call for Participation Reply-To: Oliver Fernandez Gil X-Loop: caml-list@inria.fr X-Sequence: 19148 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: [Apologies for multiple copies]      UNIF 2024: CALL FOR PARTICIPATION The 38th International Workshop on Unification              Nancy, France, July 2, 2024 A satellite workshop of CADE/IJCAR, affiliated with IJCAR Website: https://lat.inf.tu-dresden.de/unif2024 * The International Workshop on Unification (UNIF) is a yearly forum   devoted to unification theory and its applications. Unification is   concerned with the problem of making two given terms equal, either   syntactically or modulo an equational theory. It is a fundamental   process used in various areas of computer science, including automated   reasoning, term rewriting, logic programming, natural language   processing, program analysis, knowledge representation, types, etc. * A non-exhaustive list of topics of interest includes: syntactic and   equational unification algorithms; matching and constraint solving;   higher-order unification; unification in modal, temporal, and   description logics; admissibility of inference rules; narrowing;   disunification; anti-unification; complexity issues; combination   methods; implementation techniques; applications. * Invited speakers: George Metcalfe (University of Bern), Daniele   Nantes-Sobrinho (Universidade de Brasília, Imperial College London) * The details of the invited talks, list of accepted contributions and   the schedule of technical program are available on the webpage. * Registration: visit the IJCAR registration webpage at:   https://merz.gitlabpages.inria.fr/2024-ijcar/page/registration/   (registration possible until June 24)