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=Sky4JAbX; 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 027D54009A for ; Mon, 3 Aug 2026 11:14:32 +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=Rhrp/lFYxa4yr7xYQm7hVhpCgT5CNAulnbKj0cvbHVQ=; b=Sky4JAbXawOjuaB26u5/yyOn9tpJoAjU8g9iQU+y6+QQgvmc/uVDfGZR kBFzivuFkK5DjQ4g5ErlJ7ddw+CBeQvT5MNefQQWUmPFHGNN44/9nHQYg EUbWFBTgebEc+Uqhn/mAveqwl/sBvjSacZedhip6wEA8h9adcD+f2gRjy I=; X-CSE-ConnectionGUID: iPBZLZa8RJmYj1ABQEX1cQ== X-CSE-MsgGUID: kCEon7i8S1al0/j648ebWQ== 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.25,202,1779141600"; d="scan'";a="288897297" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 03 Aug 2026 13:14:33 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id B89D481513; Mon, 3 Aug 2026 13:14:32 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by prod-sympa-app.inria.fr (Postfix) with ESMTP id C3AF380530 for ; Mon, 3 Aug 2026 13:06:39 +0200 (CEST) X-CSE-ConnectionGUID: Xo6lHq3qRRecZL1MbKNnqw== X-CSE-MsgGUID: +lBWeZU+RDmkWpPbIswqjw== IronPort-SDR: 6a70763f_KRnWKXvGTiTsho5lUnzXq3h/zOAjGFgr8i/IP2tEtCw2v+q h/RLZPgFvQS1+zEn6aTMlq3l7uskZL9ohlorG3A== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0FEHAAmdXBq/wZZH8BahRqBCl40BAtJiCeBHIQPiHmeM?= =?us-ascii?q?oErPw8BAwENPRQEAQEBAgEDkmgfBgY0EwECBAMCAwEBAQEBAQEBAQEBCwEBA?= =?us-ascii?q?QQBAQECAQECBAMBAQEBAoEKE4ZPDYJbO3FjCDoBAQEBAQEBAQEBAQEBAQEBA?= =?us-ascii?q?QEBAQEBARMCDTQqQyEnAwVIMAIeMSeCb4J0AxEGr3eQV4EBgxzbQIFVBoFNj?= =?us-ascii?q?lWCTYIvQoINgRWCeoNQAQIBGIEIFYQ+gjAEgiKBDIMDjyyBZgNZLAFVExcLB?= =?us-ascii?q?wWBZgOBBjI8Mh2BIz4XgQ0bBwWBHYErLIRTIxk2fIEvdUp1LWoSF4EagxUCg?= =?us-ascii?q?ngDC209NxQZjx0ggXAfgT0GKgITDy1ONBMgM8Z6kEiVOgRJixufUAGIBJEEg?= =?us-ascii?q?jOLV5ViAhODRYF9gX8mgVl9gypQAxkPV5ZfxyIrMj4BBwIHAQELAQOBc5AAN?= =?us-ascii?q?IFMAQE?= IronPort-PHdr: A9a23:Td5rkBc85qBY59o0Cgh6K59GlGM+RNXLVj580XLHo4xHfqnrxZn+J kuXvawr0ASXG92CoK0U2rSempujcFJDyK7JiGoFfp1IWk1NouQttCtkLei7TGbWF7rUVRE8B 9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUhrwOhBoKevrB4Xck9q41/yo+53Ufg5EmCexbal9I Ri4rAjdrNUajZZtJqszyRbEpnpFcPlKyG11Il6egxnz6sCs8ZB57i9eoegh98lOUaX7e6Q3U 7lVByk4Pm42+cPmqwDNQROA6HUEXWoaiwRFDQfY4h3iUZj/riX1tuxm2CmHJsL2Vqw7WS6j7 6hwVhDljjoMOiMj/2HWjsxwi79boA6kqhdizYPYfJ2ZOfxjda7bYNgUR3dOXtxJWiJcHI2zY YUBAekBM+tDs4Xxu0cCoQeiCQS2GO/izCJDiH/s3a091uQsCQ7G0xInH9IAvnTZt8n1NL8OU eCt1qXIyi/Db/xQ1Dzg54fGbgovruuQXbJsb8XR008vGhvFgFiSqIHpIS2Z2+oMvmWV6+dtV uKihnIkpgx1oDWixtsghInUi44IyF3I6yp3zZs1K9O2VUN3f8CpHZRQui+UMYZ9X80sQ2Ztu Ckgy70Gv4a2czYSyJQ9wB7fdeKIc5KS7hLkTuaRLi90i2x/d7Kkhxe97Uigxff9VsmuylpKq TBFktbKu3sQ1BLT8tCKRuZ580u/wzqC2R3f5vtHLE0wj6bWKpgsyaMqmJUJq0TMBCr2lV32j KCIckUk/fCl5P79YrXjp5+cLJN0hR/kPaszgMCwHfg3MhMUU2ie+OSzzrjj/UzjTLpUk/I2j 7HVsJHcJcsFuq60GxJZ34I95xqlATqqzc4UkHoDIV5feR+Ll43pNEvPIPD8A/e/mVOskDJzy vDJILLhBZvNLnbYnbf9ZbZ991ZcxBA0zdBF6JJYEqsBL+7rWk/tqNzYCQc0PBCuzObiDNVxz 4ceWWOUAq+FK67Sql+J5uc3I+aWfoMVuTD9K+Ik5/H0l3M5l0UdcbGv3ZQMcH+4BOhpI12FY XrwhdcMCXoGshIxTOP0j12MUiRdam68UKwh/j07EpypDZnASI63mLGOxj27HphXZmBdFlCDD 23neJieV/gQcyKeOMphkj0eWrikSo8tzw+huxLny7Z/M+XU+SwYtZf72dZt6OPcmw88+yBoA sqby22CUmR0kXkSRzAqxK1xuVVzxE+M36RgmPxYDdJT6utRXAkjLZDSwPR2C8vqWgLPZtiJS EipQtGhATwpVtw/2scAbUkuU+ml20TI1i+uRrsUjKCjBZou86ua0WKndOhnzHOT26QmgVcOX tNTLSuhnKEspEDoG4fVnhDBxO6RfqMG0XuVnI/i5W+HvUUCFRV1Tb2AR3cUIE3fsdX+4ErGC b6oE7UudAVbmoaZMqUfTNrvgB1dQev7fszEaje+lmC+Cz6U3q+UKo3wdDZVxz3TXW4DlQ1b5 nOaLU47DyalrXjZCWlhGFXhbWvw6fVm7nShQRx81BmEOmtm0bf94RsJnbqcRvcUi6oDozsko i5oEUyV1sjTCsGcqgNtOq5XepU44V5C1CTUuxEV0oWICadkixZedg12uxmrzBBrEsBalsNsq no2zQ10IKbe0VVbdjre04qicrvQYnL/+hyiccu0khnXzcqW96ET6f85t0SrvQenEVAn+mlm1 N8d2mWV55HDBg4fGZzrVUN/+x9/rrDcKi4zguGcnXJhNqe6miPax8pvA/Eqi16hc9pZLKKYB VrqCcRJT8OqKeEshx2odkddbboUr/dyb5LgKajjuubjJutrkTO4gH4S5Yl81hjJ7C9gUqvS2 J1DxfiE3wyBXjO6jVG7s8mxl5oXAFNaVme51yXgA5ZcI6NoeoNeQ2ijJMO57slmm4arXGRXv g3rFxYd1cmldADHJVPw2gNe/VgPvWThnjG3hW8R8Xlhvu+U2yrAxP7nfRwMNztQRWVsulzrJ JC9k9EQWEXAgxEBshyj6A66wqFaoP46NGzPWQJSeCOwKWh+U6y2v77EYshV6Zpuvz8FGOK7K UuXTLLwuX54m2vqAndeyTYndjqrpoSxnhp0j3iYJWpyq3yRcN95xBPW7tjRDfBL2T9OSC59g DjRTl+yWrvhtdqZkJnNmvymS3rnUYdcMGHqwY6GqCqn9DhvCBy7keq0n46vGgw73CnnkthyA HyZ9lCnO8+7huLkYocFNgFyCVTx6tR3ANR7m4o03tQL3GQCw4+S9jwBmHvyNtNS3eT/amAMT HgF2Y2wgkCt1Ut9I3aO34+8WG+ax54raNS9bG0+xjoh94ZNEqjev/RU2DB4pFa1t1ebbvV6k Dk11eMy8Dgdme5D629Phm2NR7sVG0dfJynlkR+Fusu/oKtgb2GqabGs1UB6kLhNFZmkpQdRE Db8c5YmR2pr69lndUjL2zv1453lf9/ZaZQSsAeVmlHOlbodLpV5jfcMiSd9XAC19XQ41+42i wBv1pCmrcCGLWtq5qewHh9fMHX8ecoS/jjniasWkNyR2sijGZBoGzNDW5WNL7rgCDUJqfHuL BqDChU1sHKaAqbSFAPZ40x96XfOGpWqcXybOThRzNlvQgWcOF0KgA0QW2Zf/NZxHQSrycr9N UZhs2lAvBij810cm6Q2ZHydGi/FqQylayk5Us2aJRtStERZ4lvNdNaZ5aR1Fj1Z+ZuoqEqML HaabkJGFzJsOATMClb9M72p/dSF/fKfA7/0IPbJb7umtfRCT7GP353lge4Et36cc96COHVvF ahxwk1YQXVwANjUgR0GUSkWjD7AZsLdrxynvCh2p8W+tvnnRUi8gOnHQ6sXOtJp9ReshK6FP OPFnyd1JwFT0ZYUzGPJwrwStLbzoyh0cji2DbkJuWjGR7mWn65eCh9dZi9uZpMgB0cUwhFRI YjckNynjtaQYdYpE0tdE1v7lZPxDfE= IronPort-Data: A9a23:aDdpB64f2GYAJRSXR/HxKwxRtFHDchMFZxGqfqrLsTDasY5as4F+v mcdXjjVOPyJMzOgeIx+PYS2p0MCv5HVyYQ3HQBp+ys2Eysa+MHILOrFEkqhZCn6wu/rHBs2t Z1GAjXjBJlpFSGE/k/F3pzJ9yQUOXSgH+KkYAL8EnkvA1ciFGF50EwLd9cR2uZAmcK+Dx6Gp eT8qsjePE7N8zNvOwr40YrawP9UlKq04m5wUmAWP6gR4geOzyJNVfrzGInoR5fGatkMdgKFb 72bpF2J1jux1wsgDNqjjoH6fiUiKpbOPRKDg2ZhQKOrhB5PvEQais7X49JBAav/o2zhc+FZk L2hh7TpIesaFvSkdNAmbvVtO30W0ZtuqOaWeyDn2SCk5xaun3PEm52CBaytVGES0r4f7Wpmr JT0JN2RB/wqai3fLL+TE4FRasofwMbDDIRBvlF5lijjN/stc7SaZq/pw9lBw2Jl7ixONa62i 8sxYCBqbQ/cbhRDfFwcE9Q7ne6thz/yfyAwRFC9/PttpTOKilwgluaF3Nn9IrRmQe1ak0GWq Era53jhRBYAO7RzzBLfoiL817GUx3mTtIQ6V7mSyfNYvR6p6mkQNwUuX3qgvuC7lRvrMz5YA xBNoHRy88De7neDRdD4W1i8oWWYlgUNXsJZVew88gCEjKTOizt1HUANVDtAc8ArvcNwTids0 16AmtKvCDBy2FGIdZ6D3oeT8zeSIHMMF1UPbh0gFC4PwP/luZ5m23ojUe1f/LiJYsoZ8AwcL hiDti0/nKkehMJN3L79+FHOhjPqq5TUJuLU2uk1dj/8hu+aTNT5D2BN1bQ8xawcRLt1tnHb4 BA5dzG2tYjjzfilzURhutnh441FF97ZaWeC3QAH82gJ6jKs5XO5ZoFM8Xl5Kg9sM88BeFfUX aIS0CsPjKJu0IyCNP8qPdrtWpt7k8AN173ND5jpUzaHWbApHCfvwc2kTRT4M7nFwRhyw5Isc 4yWa9itBns8AKFqhmj+DeQE3LNhgmh0yWrPTNqph16qwJiPVk6zEL0lCVqpavxmzaWmpA6Oz c1TGfHXwDpiUcr/QBLtz6gtEX4wI0MWO7XKuu1MV+vaIgNZCGArUPDQ5rU6er1apadel8aW3 3STS0VnzEjzqkPHGy7XaEE4Ta7lYpJ/p004IB4TBw+J2mciU6mr/qwwZ5s6Rph51e1BnNpfb egJRNWEOdtLEg/4wjU6aYKnip5PbzGptB2+BDWkaz0BYJJQfQzF1dv6dA/J9iNVLC6ImeYhg r+njCX3fIEiQll8McPod/6f9VO9knwDkuZUXUGTAN1yel3pwbd6OR7Kkf47DMEdGyrtngLA+ V6tPi4Zgu3Rr6se0trD3/mEprj0NdpOJBNRGm2D4IumMSXfwHGY/rZBd+S1ZhHYanL//fSzR OdSzsykCsY9onRxj9NeHYponIUE3Pm+g59Bzw9hImfHUETzNJNkPUu9/Jduso9j++ZnnDWYC 2yz/utUA7GrAP/eMUUwIVMlZ9uT1PtPlTj16+80EXrA5yR23eSmVElWNUO+jRV9FqR5EKo4y 7wDvu8X9A2NpR44OfmWji1v1jqtL15Rd44Fp50lEIvQpQ5z8W57YLvYET7Q4ruDT/5uI3saC GaYq4SajosN23eYVWQ4EEb8+NZ0hLMMiUhs90ADLVHYoej1rKY78zMJ+AtmUzkP6AtM1t9yH W1ZN0dVA6Gq1BUwjehhW1GcIS1wNCe7yGfQlWRQzHb4SnO2XFPjNGc+YOaB3H4I+lJmIwR0w uuq93bHYx3LIufKwSoAaWx0oafCTPtw1DH4tuKJIsCnJ6Q+MB3Z2vKARGxQsBb2I9IDtGuer 8lQwetAQ6naNykRnq4FN7enxYkgEBCpGWgTbsxirYUoHH7dcg6cwTKhCV68UeITKu3o8X2XM d1PJMVOZU6AyhSLnBkXJYRUKJQpgvUs79smUZHoLF4grLGwgGdIspXR1y6mn04tYYxkvvgcI 7PrVQCpMzKvl1oOvkGVt+hCGG6zQedcVT3GxOrvrdk4TcMSgt9jYWQZ8+WSvUzMFCBF4hjNn gfIR5GO/txY0Y42wrfdSPRSNT6Vd+H2ev+Dqj2oktJ0atjKD8fCmiUVpnTjPCVUJbEhYMt2p 5vcrO/I2F75g5huX1D7g5WhE4x71fe2VsdTMeP1KyB+tgmGU8nO/RAC2j6ZLbpkrdBj3fSkF jCIMJaISd0oWtljnSwfL2AUFhsGEK34Y5vxvS73/bzGFhEZ1heBN9+9s2PgaWZAbCITJpniE UnOtu2z4sxD5pF5bPPe6yqK37cjSLMiZUcnSzE1nTCCC2iznl6Ltv3pngFm7DDCD3jCHcrni X4Aqt4Sazzq0JwkDvkA22CxgvHTJGplnfF2eVgSkzKzZ/ZWE0ZeRdnw8vw65lV8jjTuzNf/f j6lgK7Oz8nidWwsTCgQK+gPkutS6iLi9zs5yvEUE5uoVhqL IronPort-HdrOrdr: A9a23:uiXMkarOhWLWb9JaAm+FIrkaV5pBeYIsimQD101hICG9Hfb2qy nDppUmPGHP5gr5MUtI8bu90cK7K080m6QZ3WBcB9ufYDU= X-Talos-CUID: 9a23:LoZW1WNr4p2IdO5DaC458G4NQdkfSHDW/lOJBkWbL2BwV+jA X-Talos-MUID: 9a23:EPHLLgjJQUFFQ7jltsRq7cMpd8NC3KmcNQM3vZAFhNG8Pw1rJC6fk2Hi X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.25,202,1779141600"; d="scan'208";a="288896322" X-IronPort-Outbreak-Status: No, level 0, Unknown - Unknown X-MGA-submission: =?us-ascii?q?MDGji2l57Wnwtbd+UJdwzPXW/eRPTCdBaLDKX3?= =?us-ascii?q?72+eCrT6k+MB/y/eTee6vaAAfwbAv8JR2nLyZxzcdPxGZrH4UQx3wuXw?= =?us-ascii?q?AohpHHq8zKy08KalVS6aDAli4oKBo6F3ZMZRkz54J1QmGa0ETsuxIkJZ?= =?us-ascii?q?1Td4H9rcHD6Qt2ULNJqURQsA=3D=3D?= Received: from armistead.cs.miami.edu (HELO armistead.ccs.miami.edu) ([192.31.89.6]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 03 Aug 2026 13:06:39 +0200 Received: by armistead.ccs.miami.edu (Postfix, from userid 3640) id 67334A01757; Mon, 3 Aug 2026 07:06:26 -0400 (EDT) To: User-Agent: mail (GNU Mailutils 3.14) Date: Mon, 3 Aug 2026 07:06:26 -0400 Message-Id: <20260803110626.67334A01757@armistead.ccs.miami.edu> From: geoff@tptp.org X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] CFP - 16th International Workshop on the Implementation of Logics (at LPAR-26) Reply-To: geoff@tptp.org X-Loop: caml-list@inria.fr X-Sequence: 19556 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: 16th International Workshop on the Implementation of Logics https://eprover.org/EVENTS/IWIL-2026.html CALL FOR PAPERS: deadline August 10th, 2026. The 15th International Workshop on the Implementation of Logics will be held on 25th October 2026, in conjunction with the 26th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, on Spetses, Greece. We are looking for contributions describing implementation techniques for and implementations of automated reasoning programs, theorem provers for various logics, logic programming systems, and related technologies. Topics of interest include, but are not limited to: - Propositional logic and decision procedures, including SMT - First-order and higher order logics - Non-classical logics, including modal, temporal, description, non-monotonic reasoning - Formal foundations for efficient implementation of logics - Data structures and algorithms for the efficient representation and processing of logical concepts - Proof/model search organization and heuristics for logical reasoning systems - Data analysis and machine learning approaches to search control - Techniques for proof/model search visualization and analysis - Practical constraint handling - Reasoning with ontologies and other large theories - Implementation of efficient theorem provers and model finders for different logics - System descriptions of logical reasoning systems - Issues of reliability, witness generation, and witness verification - Evaluation and benchmarking of provers and other logic-based systems - I/O standards and communication between reasoning systems We are particularly interested in contributions that help the community understand how to build useful and powerful reasoning systems, and how to apply them in practice. Researchers interested in participating are invited to submit a position statement (2 pages), a short paper (up to 5 pages), or a full paper (up to 15 pages) via the EasyChair page for IWIL2026: https://easychair.org/conferences/?conf=iwil2026 Submissions will be refereed by the program committee, which will select a balanced program of high-quality contributions. Submissions should be in standard-conforming PDF. Final versions will be required to be submitted in LaTeX using the easychair.cls class file. The proceedings will be published as a volume of Kalpa Publications in Computing. Important Dates: - submission of papers/abstracts: August 10th, 2026 - notification of acceptance: September 3rd, 2026 - camera-ready versions due: September 17th, 2026 - workshop: October 25th, 2026 Program committee (to be completed): - Haniel Barbosa (Universidade Federal de Minas Gerais) - Armin Biere (Universität Freiburg) - Jasmin Blanchette (Ludwig-Maximilians-Universität München) - Franz Brauße (The University of Manchester) - Julie Cailler (Loria, University of Lorraine & Inria) - Oscar Contreras (Amateur Programmer) - Katalin Fazekas (TU Wien) - Pascal Fontaine (Université de Liège) - Petra Hozzová (TU Wien) - Jan Jakubův (Czech Technical University in Prague) - Daniela Kaufmann (TU Wien) - Lydia Kondylidou (Ludwig-Maximilians-Universität München) - Konstantin Korovin (co-chair) (The University of Manchester) - Cláudia Nalon (University of Brasília) - Jens Otten (University of Pernambuco) - Adrian Rebola-Pardo (TU Wien and Johannes-Kepler Universität Linz) - Michael Rawson (co-chair) (University of Southampton) - Giles Reger (Amazon Web Services & The University of Manchester) - Andrew Reynolds (University of Iowa) - Stephan Schulz (co-chair) (DHBW Stuttgart) - Simon Schwarz (Max-Planck-Institute for Informatics) - Martina Seidl (Johannes-Kepler Universität Linz) - Nick Smallbone (Chalmers University of Technology) - Alexander Steen (Universität Greifswald) - Melanie Taprogge (Université Paris-Saclay) - Christoph Wernhard (Universität Potsdam) - Zsolt Zombori (Alfréd Rényi Institute of Mathematics, Hungarian Academy of Sciences)