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=vi8YUALd; 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]) by plum.tunbury.org (Postfix) with ESMTP id 4D40F40096 for ; Mon, 20 Apr 2026 14:17:42 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=to:date:message-id:from:subject:reply-to:sender:list-id: list-help:list-subscribe:list-unsubscribe:list-post: list-owner:list-archive; bh=5p4zuggp+Z1iuhXu4tiZk6zdNTqEU8rJz5AnEnhy9cE=; b=vi8YUALdcT9/an2381nGnR5+w6mDxhdaELi4ky0bPF9eECfsNI5PHCuk ARRk95yzwhJG6Ae+H2dywf9DW8U72OASxiz2yuzEIk4rIZK4oLUCLLrch 4Sq4N0MKaFf4PV/10dfD5nk76OZynshil2DLvs14/n4RM47lGDYi+Kvgk w=; X-CSE-ConnectionGUID: cuFPyPzsTKim9mrNqm/wMQ== X-CSE-MsgGUID: IrrV4dgsTmWkNLZaG4BlHA== Authentication-Results: mail2-relais-roc.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@prod-sympa-app.inria.fr Received-SPF: SoftFail (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr is inclined to not designate 128.93.162.27 as permitted sender) identity=mailfrom; client-ip=128.93.162.27; 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 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@prod-sympa-app.inria.fr) identity=helo; client-ip=128.93.162.27; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@prod-sympa-app.inria.fr"; x-conformance=spf_only X-IronPort-AV: E=Sophos;i="6.23,190,1770591600"; d="scan'";a="273300137" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 20 Apr 2026 16:17:42 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id E3F56822D4; Mon, 20 Apr 2026 16:17:41 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by prod-sympa-app.inria.fr (Postfix) with ESMTP id 79389822D4 for ; Mon, 20 Apr 2026 16:08:56 +0200 (CEST) X-CSE-ConnectionGUID: 5S4zovEbQQSE5X4ZHylUew== X-CSE-MsgGUID: 24UR/OVNQo64G7YQsspWmw== IronPort-SDR: 69e63378_xLmOGq+jVpOak3zyKjMo8X5g/JJaWbp2xYwWubF/pSwOXxy bZT3KqTWwMIK1iGAU3CmPCd/gbI5klzm4rGn0Fg== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0GZAgCVMuZpgQZZH8BaglmCQYEHXjEDBAuOHIh5nh2BJ?= =?us-ascii?q?QNXBgkBAwENNxoEAQEBAQEBA5IwHwcBBDIHDgECBAEBAQEDAgMBAQEBAQEBA?= =?us-ascii?q?QEBAQsBAQEEAQEBAgEBAgQDAQEBAQIQAQE9BUmGTw2CRYImCTcCAQEBAQEBA?= =?us-ascii?q?QEBAQEBAQEBARkCQSpkL0gwAh4xJ4JvgnMDEaYbkFeBAd4oCSSBUwaBTY5Og?= =?us-ascii?q?kuCcYINgRWDaIEFgVwCgTeEPoIvBIIigQ6BeE0GhCqIB4FmA1ksAVUTFwsHB?= =?us-ascii?q?YFmA4EGbjIdgSM+F4EMGwcFgUuGOYELgzGBDgMLbT03FBuLTiGCBIFvTwFNN?= =?us-ascii?q?BNZDS2SdLNDkESVOgRJqmuTKYVdjgmKDotWE4VBgW8BMoFccoM2TgMZD1eNY?= =?us-ascii?q?YZOgi+/QypvAQEHAgcBCwEDC4FokAA0gUsBAQ?= IronPort-PHdr: A9a23:CL7KXRaLLuj7YwYo3DQtinz/LTHD2oqcDmcuAnoPtbtCf+yZ8oj4O wSHvLMx1wKPBd2QtqIb06KW6/mmBTdcp87Z8TgrS99laVwssY0uhQsuAcqIWwXQDcXBSGgXO voHf3Jeu0+BDE5OBczlbEfTqHDhpRQbGxH4KBYnbr+tQt2agMu4zf299IPOaAtUmjW9falyL BKrpgnNq8Uam4RvJ6gxxxfTvndEZ+tayGNrKF+Rgxr3+8O88IJ+/yhKtP8s+cFNXb/mc6gkS LBTESgrPX0y6MD3uhbPSheC6GEBWWsMiBpIBAbF7BD+Xpjvtybxq/Rw1iqHM8DoVL44QTus4 b9kRxPxlioJOCM3/HnYhcJsgq1bpgmhpwFkzI7PfI6VLvt+cbjDct4cWGFMQ9xeVy1FAoO7c osPE+8MNvtWooXhu1cDqwa1Cg6xCuPy0T9InmH50rEm0+ovFgHG2RYvH9MIsH/JqNn4O6MfX eWzwaLVzzvMculW1C/g5obWfB8vr/KCU7JrfMbN1UUjCx/JgkmKpID5OT6ey+QDs3Kc7+plT e+vhHAoqwZ/ojih3cojlpLJipgQylDF7yp5xYc1KcemR0FmfN6pFoZbuC6GOYVsWMwiX31ot zggyr0AoZO3YCsHxZYpyRPedfGKb5aE7xHnWeqPLjp1gHxodb2wiRiy7EStyfHxWMa03ltEo CdJjtrBu3QM2hHX6cWKTuZx80G80jiB0ADT7/tLIUEylafDJJ4hw6IwlpoOsUvYBCP2mUL2g LeYdkUg/ein9/rrb7T8qp+bLY90hQfzObktlMynGek0LwwDU3aB9emyybHv5070TbFQgvA3l KTSrYrUKt4BpqGjBg9YyoYj5Ai7DzehyNkXh2MHLFdEeBKck4jmJUvBL+3iAfijn1usiy1nx /XHPrL7B5XNL2LPn6n8crZg80JcyQwzws5D559MF70MJOz/VlX/udDFFBM0MAi5z/zmBdll0 4MRQ2OPAquXMKPItl+I4/oiI+aSa48Stjb9JeMo6OL1jXMjnF8dfLOm3Z4WaHyiAPtpPliZb WL2gtgdCWcKohY+TOvyhVKeSzFTYnKyU7s45jE6E4KmEZzORputgbyExCe0BIdaZmFAClCWE HfnbZ+IW/kWaC6KJM9uiSQLVaK9RI85yRGuqAj6xqJ6IubM9S0Xq5Xj2ttv6eDLmx486CR4D 96D3GGTTG96hHsFSCUs3KB6oEx90UuD3rZijPNFD9Bc++hJXh0/NZ7d1eN6DtHyVhjfcdiUV VaqWsipATIwTtI029IAe0lzFNu8gB7fwyekBacZmKGOBJMu6KLTw2D8Kd5kxXje26ctl0ImQ tNBNWC+nKBy6xXdCZPRn0WCj6aqe7wT3C7T+2eHymqDpFlWXhdoX6vKDjgjYR6Cpt384gbGT qSyIbUhKApIj8CYfPhkcNrs2FpLQ/ntEN/FJWewkmKxQxuE2+DfJLH2cnkQiX2OQHMPlBoeq CrXXeBfLiKoomaFSSdrCUqqeET0t+93tHK8SEYwiQCMdUxokbSvqVYOnfLJbfQV0/ofvTs57 S1uFQOy0tXYBfKLvExkfaxZYJUw7EoUnXnBuVlFN4e7Z7tnmkZYdg12u0300BAiBYhHn8YCp 2hsyQt7LKPe3V9cJHuDxZ6lHLrRJyHp+Qy3La7b3laLyNGN5qIG8+g1sX3qpgSoDVYv+nkh2 NJOlX6d75DLSgceTPodS24R8B537/Hfayg5vMbP0GF0dLKzqnnE0s4oA+0szlChec1eOeWKD l26FcpSHMWoJOEw/jrhJhsZIOBf8rI1NMK6ZrOH3qCsJuNpgDOhiyxO/ol81kuG8yc0RPTP2 t4JxPSR3w3PUDmZ7h/pvc3wl45sbipUG2u2zCmiCYJMJ+VzcYsNFWayMpiv3Nwtz5XpWnNe6 BuiHwZfiZXvIkPUPw27g141twxfu3GslCqmwiYhljgoqvHaxynS26H5cwJBPGdXRW5khFOqI I6ujtlcUlL7Cmph3Baj+0v+wLBW4aplKGyGC0hFeCb4B2p5FK6xv7+DJcND9dl71EcfGPT5e l2cRrPn9lEV3iTtEUNV33Y+djivu9P0kwEw2yqNaX10qnTeY8R5wxzSscfdSfBm1T0DXCBki DPTCzBQJvGR9M6P39fGu+G6DCe6U4FLNDLs1cWGvTe64mtjBVu+meqyk5vpC1py3Sj+3thsH SLGyXS0Kobm0Kq0Gel8OExpDVr9rcd2B8lyn5Axi5cZxXUBzszEpzxcyCGjYJMFkavlJGIAX zsK38LY7G2HkAV4I3SFypi4HnSRz819ZsWrN2Yf2yYz9cdPW++f6L1Jmzcwo0Lt9FOLJ6Mk2 GdMj6V9jRxSy/sEswcs0CiHV7UbHE0DeDfpiwzN9Nem6qNeeGeod7G0kkt4h9GoSr+Y8WQ+E D70fIkvGSho44BxKlXJhTf854bqdvHbdpQWtxSRklHNg/Ufe/dT3rIawDFqP27wpyhvxOM8g xJG1or8uYmOLmQr8a6kSE0QJnj+YMUd/SvohKBVk5ON3oyhKZ5mHy0CQJriSf/7dVBa/eSiL QuFFycw72uKAbeKVxHK819o9jicW4DuLXycI2MViMlvVAXIblIKmxgaBVBY1tY4Dlz4nZ27N hwgoGBAoAa/8EcEy/o0ZUClAyGG+17uMWtyEcHXLRxd6hxO6hXiKtSQqO10GC5c89uqqwnoS CTTcQ1MCSthtlWsIVflM/Hu4NDB97PdHe+iN77VZq3Ir+VCVvCOzJbp0418/j/KON/ddn9lR +Y23EZORxUbU4zQhikPRioLlinMc9/TpRGy/Tdyp9y+9/KjURzm5I+GAb9fedt1/BX+jaCGP u+WzCF3TFQQnosL3mPNwaMD0UQ6gjtrdiKxHL0M8yXGV+TVm6ZSDlgWZz4yfMpE4qQg3xVcb M7WjtSms9wwxvUxClpDSRnggpTwNJZMeDj7ZAKBWhXuVvzOPzDAzsDpbLnpTLRRiL4RrBiso XOAFFelOD2flj7vXhTpMOdWjSjdMgYN3eP1OhtrF2XnS8rrLxOhN9oixzI7xrM6rnjRc2sdO D19NU5Bs/fDiEEQyuU6AGFH4nd/eKOcnD2F6uDDNpsMmfJxByVvi+9T7DIxwKAT6SBNQf0zl SfP5I0LwRnugqyEzTxpVwBLozBAideQvElsDq7e84FJRXfO+B9lBYq4AA9MotpsD9yptqxNm IGnfEfbIywE9tPd+MpaCsTJeprv2JsJOADsGSXIAQIJCzWgLifahkVYkbef+mDH9vAH IronPort-Data: A9a23:w20rU6DUyQiNfhVW/wHnw5YqxClBgxIJ4kV8jS/XYbTApD4m0DwBn 2VKDGDXP/rZYzTyeY13bI/l80kB7MKHzYc3TANkpHpgZkwXlceUXt7xwmXYb3rDdJWbJK5Ex 5xDMYeYdJhcolv0/ErF3m3J9CEkvU2wbuOiTraCZmYpHFEMpB4J0XpLg/Q+jpNjne+3CgaMv cKai8DEMTdJ4RYtWo4vw/zF8kgHUMja4mtC4ARiPKET5jcyqlFMZH4hDfHpR5fHatIMdgKKb 76r5K20+Grf4yAsBruN+p7nclcHS6LlJgOHjHxbQcCK2nCucQRvukqTHKN0hXZ/011lrfgoo Dl+ncXYpTMSA0H5sLl1vy9wQ3gvZ/UekFPwCSPXXcS7lyUqepZ3qhlkJBle0YYwo46bDYzSn BCxxf9kgh2r3oqLLLyHpuZE2/9/Ps71EYkmg0pNkAGFP9Y3Ra3OXPCfjTNY9G9YasFmFOzbZ tEFZDNjKh/LeFtKO14SCdQzkPrAanvXKmwC7gnM4/pmpTa7IA9ZiNABNPLad9uES+1ehQCdp 2vD/iL0Dgxy2Nm3kGbZryLy2rGX9c/9cNhOKYf/0cBMuVrNmkNMOSQNTkOEpObs3yZSXPoDc hZKpnRGQbIJ3EeiS924WxyjvFafrxsEUpxRFfc74UeD0MLpDx2xD3IBTyVdZdUq8sQtAzkr3 1qI2d7lGFSDrYF5V1rAzeuGqi2fMxEsFkJfVXM2bRoB3tT89dRbYg30cjp1LEKiYjTI9dzYy iqPrTMiirwfy8UQkaC69FXGxT+gu/AlrzLZBC2KBApJDSsjOOZJgrBEDnCBsJ59wH6xFAXpg ZT9s5H2ABoy4W6xeNylHLxXQu33jxp0GCDagEBiBYIg6yXl/HDreIFZ5TAWGXqFxv0sIGezC GeK4Fs52XOmFCH7BUOBS9jgU5xypUUhfPy5Ps3pgi1mPMcoL1bao3kwDaNStki0+HURfWgEE c/zWa6R4bwyU8yLFRLvH75Fg4w4jDsz333STp3dxhGqm+jWLn2MRLtPdBPEYukl5enW6E/Y4 vROBfuskh9/aezZZjWI0IgxKVtRE2M3K6qroONqd8mCADFcJkcfN9Hrz4gMRalZjoVOt+KR/ niCSk5Sk1X+onvcKDS1UHNoaZKxfJNRvHgEOT4gEmio6VN+Y7f0yboVSJ83d4Yk6d5c96dVT uYESeqEEP9gWjTKwBVDTJjf/ahJVgWnuhKKBAWhOAMARp9HQxeT3M3JZS7txTY+NTW2vs4Av LGQ7APXbp4dTQBEDsyNSvaQ436unHoawsReYlDpJ4RNRUDS74RaESz9ofspKcUqKx+Y5D+71 R6TMCgIt9v2vI4539nYt5+q977zPbNFIXNbOG3H4ZKdFyrQpDOjyLAddte4R2nWUWes9ZiyY elQ8erHD8QGu1R3qKt5LadgyPMvxtnopoIC9D9eIlfwUw2JBI9jc1685useko1Wx7Rchxm6Z VLXxPleJoeyGZ3EFHw/GVMbS9qthN8ongvc1/AXGHnBxTRW+eOHWHpCPhPXhy16KqB0Abwfw uwgmZA37gC7gEAYN++pqDJw8j2UH0NZS4EiiJIWO67wqw8R0loZS4ftOiz3x5Cuatt3LUghJ AGPtpfCn7hxwknjcWI5M3rGzc5xpM4rlkhR7VkgI1+ppIL0tsUv1kcMzQVtHxVn8BpX9slSZ E5pDhRRDoeT9W5KgMNjYTidKztZDkfExn2rmko7r0yHfUyGTWeXEXYcP9yK90Un825xWDhX0 bWb6WT9WwbRY8DD8XouaHFhtsDcY4R9xi/alOCjOva1LZ0wTD7mo62pPE4jiR/sB+Evj0zm+ 8hu2stNapPACC1BmJ1jVrGm1okRRiuUe01EY/Vqp50SEU/mJTqd5DmpKmKKQP1rGcDky0GDJ vZVFpp9bCjmjCeqhRIHNJEIOI5xzaII5sJdW7bFJlwmkrq4rxhvgq2B8xr9rm0gUohymPkTN orqKjawMlGRoVB2mGb9itZOFUTlQNsDZSz6hPuU9sdQHb09kehcS2MA+ZrqgGekay5c4AOyv inPQ4T03t5S491gsKW0G5oSGjjuD834Udq51TyasvNMXIvpCtjPvQZEkWvXFV1aEpVJUusmi InXlsD82X7Em7MEU2r5vZ2lPIsR7OWQWNtnCO7GHEN4rwCjBvC1uwAi/lqmI6NniNlev8mrZ zWpYfuKKOI6ZY1v+213WQN/TTAmFKXFXoXxr3icrtONKCQn/y7pEdeFzULtPEZnLnImGpunB gHN7qPkopgSqYlXHxYLCs13G5IychepRaIicMa3rjWCSHWhhlSZoLb5iB488nfxB2KZFNrhq 4fwLvQkmM9eZImTpD2Yj2BzgvHTJH9nhOgrYk8U95h9gCv8CW8PKOVbPJkbYn2Rfuoey7mgD AwhrkN7Yck+YdiAWR7nptHiVwKeQOECJ78V4xQ3qliMZX7e6JyoWdNcG+QJ35uyUjD4iuSmI NQfvHD8I3BdB32vqfk7vpSGvAus+h8WKr/kN6wwfwwezivy2Yk36UE= IronPort-HdrOrdr: A9a23:7x2uWalKT0UjynWAMBwibhp6FQbpDfJG3DAbv31ZSRFFG/Fw+P rAoB12737JYUgqNk3I8OroUMK9qBjnn6Kdj7N9AV7vZmXbhFc= X-Talos-CUID: 9a23:sNXsLmO/NaYx3u5DBRI75kkKN8ocS0bwkUeMEW+pDVtkV+jA X-Talos-MUID: =?us-ascii?q?9a23=3Azvp4vg6b/E2FJInUyI1+7FWVxowyv5mUT2czt6w?= =?us-ascii?q?B5ZWrah1JICyFszGoF9o=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.23,189,1770591600"; d="scan'208";a="144586460" X-IronPort-Outbreak-Status: No, level 0, Unknown - Unknown X-MGA-submission: =?us-ascii?q?MDEz5SbipStFUos+yKTcNZ/VmY9Z/Emtssp7II?= =?us-ascii?q?FTTC0NesopvCBn2Ku4+sWT50P19Y/0TzxgwFa7imOz6YtedbZxzw0PL3?= =?us-ascii?q?DhYVMCvvVNG/UMJO/xA+ith3pOynymr8caaKkhuiUNMrZeiv/ksaLaJo?= =?us-ascii?q?59xXOmgFkovZu5DLwBCLYEog=3D=3D?= Received: from armistead.cs.miami.edu (HELO armistead.ccs.miami.edu) ([192.31.89.6]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 20 Apr 2026 16:08:55 +0200 Received: by armistead.ccs.miami.edu (Postfix, from userid 3640) id 58EF0A01C56; Mon, 20 Apr 2026 10:08:43 -0400 (EDT) To: User-Agent: mail (GNU Mailutils 3.14) Date: Mon, 20 Apr 2026 10:08:43 -0400 Message-Id: <20260420140843.58EF0A01C56@armistead.ccs.miami.edu> From: geoff@cs.miami.edu X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] PAAR-2026: Deadline Extension Reply-To: geoff@cs.miami.edu X-Loop: caml-list@inria.fr X-Sequence: 19490 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: PAAR-2026: 10TH WORKSHOP ON PRACTICAL ASPECTS OF AUTOMATED REASONING -- co-located with IJCAR 2026 -- -- as part of FLoC 2026 -- July 25, 2026, Lisbon, Portugal Web site: https://paar2026.github.io/ Submission link: https://submissions.floc26.org/paar Abstract registration deadline (extended): April 22, 2026 (AoE) Submission deadline (extended): April 26, 2026 (AoE) Venue ----- IJCAR 2026 in Lisbon, Portugal Scope ----- PAAR provides a forum for developers of automated reasoning tools to discuss and compare different implementation techniques, and for users to discuss and communicate their applications and requirements. The workshop will bring together different groups to concentrate on practical aspects of the implementation and application of automated reasoning tools. It will allow researchers to present their work in progress, and to discuss new implementation techniques and applications. Topics include but are not limited to: * automated reasoning in propositional, first-order, higher-order and non-classical logics; * implementation of provers (SAT, SMT, resolution, tableau, instantiation-based, rewriting, logical frameworks, etc); * automated reasoning tools for all kinds of practical problems and applications; * pragmatics of automated reasoning within proof assistants; * practical experiences, usability aspects, feasibility studies; * evaluation of implementation techniques and automated reasoning tools; * performance aspects, benchmarking approaches; * non-standard approaches to automated reasoning, non-standard forms of automated reasoning, new applications; * implementation techniques, optimisation techniques, machine learning, strategies and heuristics, fairness; * support tools for prover development; * system descriptions and demos. We are particularly interested in contributions that help the community to understand how to build useful reasoning systems in practice, and how to apply existing systems to real problems. Publication ----------- PAAR proceedings will be published electronically in a workshop proceedings venue (such as CEUR workshop proceedings or EasyChair Kalpa proceedings). Important dates --------------- * Abstract submission (extended): April 22, 2026 (AoE) * Paper submission (extended): April 26, 2026 (AoE) * Author notification (extended): May 20, 2026 * Camera-ready paper versions due: July 1, 2026 * Workshop: July 25, 2026 Program Committee ----------------- * Jan Jakubuv, Czech Technical University in Prague, CZ * Cezary Kaliszyk, University of Melbourne, AU * Daniela Kaufmann, TU Wien, AT * Boris Konev, University of Liverpool, UK * Daniel Le Berre, CNRS - Université d'Artois, FR * Ondrej Lengal, Brno University of Technology, CZ * Tomer Libal, University of Luxembourg, LU * Michael Rawson, University of Southampton, UK * Philipp Ruemmer, Uppsala University, SE * Renate A. Schmidt, The University of Manchester, UK * Stephan Schulz, DHBW Stuttgart, DE * Frieder Stolzenburg, Harz University of Applied Sciences, DE * Geoff Sutcliffe, University of Miami, US * Sophie Tourret, Inria and MPI for Informatics, DE * Zsolt Zombori, Alfréd Rényi Institute of Mathematics, Hungarian Academy of Sciences, HU