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=sqH3DB1R; 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 884054008C for ; Wed, 5 Aug 2026 08:33:28 +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=GzraC7DBcEjPlu6gr7uYe8XVOycq3o4UkYjAIU0DsYQ=; b=sqH3DB1R15FwxX/02lRdtu42kSLJoP+PwYdnc2JKpAT8GhTM/LZCWxnL UL9N1/pt3VGvXYIzZ3Oah5t22zlKhNVYcHr3VEcgIGtYOpGstLruzf6J2 epdWqKvnvNWuQmv8Li6n9207d9RfPsxTSGpGYn+8Z5pK9kxZkBo5E6IPq A=; X-CSE-ConnectionGUID: NPA6X5vXT5C5G4+SuIicTA== X-CSE-MsgGUID: fdoVCEXMQ9u6c2OIJwV9rA== 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,206,1779141600"; d="scan'";a="289157865" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 05 Aug 2026 10:33:28 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 0F20181532; Wed, 5 Aug 2026 10:33:28 +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 1CA3881889 for ; Wed, 5 Aug 2026 10:32:28 +0200 (CEST) X-CSE-ConnectionGUID: UGohBSX2TRGLYZ8LVOd1Xw== X-CSE-MsgGUID: fblK68VbR1KxeQ3PNTwOwg== IronPort-SDR: 6a72f51b_WH+l3CPYy2Lo7U1XjtA6KaCv9+yzE7HLA5bLt4iCesR6v0Q 4Zc0HmUIbpX4/tDV0RdBWtOaoWgOgtg6iB/wm8Q== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0H6BFuP9HJqcgZZH8BaHgENHgsGDA4LhBqBCl40BAtJi?= =?us-ascii?q?CeFK4h5n10/DwEDAQ09FAQBAQECAQOFTxGNCB8GBjQTAQIEAwIDAQEBAQEBA?= =?us-ascii?q?QEBAQELAQEBBAEBAQIBAQIEAwEBAQECEAGBDIZPDYJbO3FjCDoBAQEBAQEBA?= =?us-ascii?q?QEBAQEBAQEBAQEBAQEBARMCDTQqQyELH00UHAIeMRwMgm6CdAMRrzKQV4EBg?= =?us-ascii?q?xzbQIFbgU2OVoJNgi9Cgg2BFYNpglYLBBiBHnWDSIIwBIIiehKSUYFmA1ksA?= =?us-ascii?q?VUTFwsHBYFmA4EGbjIdgSM+F4ENGwcFgR2BKIRtIxk2fIEJXoEtKmUSF4EJg?= =?us-ascii?q?nsCgnpvC209NxQZjx8ggguBKSUgAROBCiVCxy2QSJU6BEmqbJkIgjOLV5ViF?= =?us-ascii?q?YNFgX2BfyOBXH2DKglHAxkPV5QlgjrHIisyPQEBBwIHDgMLgWiQATOBTAEB?= IronPort-PHdr: A9a23:twQJbRyGE+SGFYjXCzImwVBlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z xKZvawm3AOVB83y0LFttan/i+jYQ2sO4JKM4jgpUadncFsor/tTtCEbRPC/NEvgMfTxZDY7F skRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiTS8bL9oM Bm6sArdu8oZjIZtNKo61wfErGZPd+lKymxkIk6ekQzh7cmq5p5j9CpQu/Ml98FeVKjxYro1Q 79FAjk4Km45/MLluwHMQgeW+HYSXXgYngJHDAbZ4h76WIzxsjbhuepmxCaaJ8z2QqsqVjmk8 qxmVQXniCYDNz4+7WHXlsl9h79VrR69uxByxZPfbYeIP/R8Y6zdZ8sXS3dfUMlfWSJPAYOyY pATA+YdIepUs5XxqkESoRa4GAKiBPnvyjhNhnLu0q01zeMhEQ/I3AE7A9IOqGjUrM3vOKcVS +C1w6/FxijMYP1Kwzny8pTIcgw/rvGWW7J9acjcxEsyGw7bklidpoPoMj2I2+kTrWSX8fdsW PyrhmAoqwx/rTihy8gih4XUhI8bylDJ+Dh6zYg1ONG1VlN3bcCiHZBNuS+aMI52TdkjQ2Fuo Cs6zqUGtoShfCQT1pgqxgTTa/2Bc4iG5RLvTPieLi1jhHNlZL2/hwy98Um6yuHmUcm0yllKo yxYmdfPrnAAzwHf58yZRvdn8EqtxCyD2gPX5+1eIE05k7fQJYQ7zb4qjJUTtFzOHi/ol0Xyi 6+bbl8r+vKt6+TmebXmuoGTOJVphQ3kLqshhte/Df49MggPRWeb/OW82Kf98kLkXbVGlvw2k q/Hv5DGPckXu6q0DxFP3ost9hqzFTSr3dACkXQGNF5FfQiIj4ntO1HAOvD4CvK/jkyjkDh1w PDGMLPhD47RLnjbjLfhZaxx60lGyAo81dxf/Y5bCqkdIPLvXU/8rMDXAQU8Mwyw2urnDNR91 pgCWW+UGa+YMKbSsUeS6e41IumMYpUVuDfnJPQ/6f7ul2c1mVkGcqaxx5sYdGi4Huh6I0Wee Xfgn88NEWgUsQo5T+LkkkWPXjBOaXqqRaIz+C87BoG8A4rbXI+tmrmB3CagHp1KeG9JEE2DH W30eIWfQfsMbSOSLdVkkjwFT7SuVZIu1Qy2uADnyLpnL+/U9zUAu5zs2td7+fHdmA00+zBsE sud1nuCT3tokW4QXzE4xbhxr0NlxleYyah4jeRVG8RK6f1RXQk2LYXcz/R0C9/qWgLOYNOJS FG+T9u+GD8/Vt0/kJcyZBMpENynilXH3jG2K74Tjb2CQpIupPHyxX/0cslwzHjI/LU5k0FgR dFAZj7uvbJ26wWGX92BqE6ejav/Lcz0vQbI/WaHly+VuV1AFRR3WuPDVGweYU3fqZL44FnDR vmgE+dvKRNPnOiFLKYCcdj1lRNeXv62N9nZbWyZh3+sHVCP3LzfJJHydTA72yPQQFMBjxhV+ H+HMQYkASL0rG/ZAjJGCUrzewXr6+Yt4GijQBoSyAeHJ1Zky6Lz+hMRgqmETOgP27sfpCo7g zxuGVemw9/fB5yLrBEneaRVZNJ77VtavY7Anyp6OJHob6Vrh1pENh9yo1urzRJ8TINJjcktq nouigt0M6ORll1bJXue2tjrN7vbJ3OXnljnYrPK2lzYzNed+7seoPU+pVL5uQi1F00ku3x52 thR2nGY693EFg0XGZ72V0828VB9qdS4KmEy6oTa21VwKbWs9DjY1JNhBecozAqhY8YKKLmNR 0f5F8wXAdTrKfR/wgnzKElderADsvBnWqHuP+GL06OqIut6yTevjGAdpZt4zlrJ7S13DOjBw 5cCxficmAqBTTb1ylm74aWV0chJYy8fGm2nxG3qHolUM+d9cIEFB0+yO9GvgNJkiNS+E24d7 1OlC14cjYWmdB2cYXThxRFIk0MNrjb0/EnwhywxmDYvoK2F2SXIyOm3bxsLNFlAQ2x6hEvtK 4y55zwDdG6vaQVh1B6s5EKggrNeuLw6NW7YB0FBYynxKWhmFKq2rLuLJcBVutsutm1MXeKwb Er/KPa1qgYG0y7lA2pVxSwqPzCstJLjmhVmiWWbZH9tpXvdcMt0yF/R/tvZDfJW2zMHQmF/h 1y1ThCzMt6n8/2Ij4vb9OekWCPpV5FedzXq0ZLVsSK64WNwBhjs1/u3m9DhDU07yXqihoMsD nyO/Ee6PNqOtezyK+9sc0h2CUWp7sN7Hts7iY4snNQK3nNcgJyJ/H0BmGO1MNNB2Ku4YmBeI FxDi9PT/gXh31Vua3yTwIesHHqQxcVvT8WifntQ3TgypZMCGOKP4bpIkDEg6FW1qgzfSeRlg i9bzuEhoi1/4alBqE8mySOTBaoXFE9TMHn3lhiG2Nu5qb1eeGeldbXYOFNWu9enAfnCpwhdX Cy8YZI+BWpq6c45NlvQ0Xr144Wied/KbNtVuAfG2xHHx/NYLp48jJ9ozWJuJH79sHs5yuU6k Q0m3Je0u5KCInls+6TxCwBRNzn8bccesj/3iqMWksGT1oGpVpJvf1dDFIPvVu6tGSkOuO7PP hyLESYgp36XX7HUBkma6U5jrjTCH43qf3CbKX8FzMlzERmQIEsM5WJcFD4+n5M/CkWr3Jm4I R0/vWlXtg++9EgpqKogLRT0X2bBqR39bz41TMLaNx9K9kRY4EyTN8WC7+V1FiUe/5u7rQXLJ HbIAmYARWwPREGAAEjue7e04tyVueeVAeSwB+fWfa3IrvZRHaTtp9rnws598jCAO9/adGFlF OE+01FfUGpREt7cmi4TRiUb0SnGdIiepR65+2t6ot31o5GJEEr/oICIDbVVK9Bm/Ru71LyCO +CnjyF8MT9E15kIyBcgJ5ADxEIKzSZ0eGv1eVzhnSfXSaPLhqJeA1gQYDg1McpB6qN60wVQa 5azYjbdyqZklrgyEVgXDTTc IronPort-Data: A9a23:CGGovaAL6WWT7RVW/yXnw5YqxClBgxIJ4kV8jS/XYbTApDt2gjwDn DNOCzyPafbcZ2v8e4p0PY2/oRkF6pWEmtAwTANkpHpgZkwWlceUXt7xwmXYb3rDdJWbJK5Ex 5xDMYeYdJhcolv0/ErF3m3J9CEkvU2wbuOiTraCZmYpHFEMpB4J0XpLg/Q+jpNjne+3CgaMv cKai8DEMTdJ4RYtWo4vw/zF8k4HUMja4mtC4ARuPa0T5TcyqlFMZH4hDfHpR5fHatIMdgKKb 76r5K20+Grf4yAsBruN+p7nclcHS6LlJgOHjHxbQcCK2nCucQRvukqTHKN0hXZ/011lrfgoo Dl+ncXYpTMSA0H5sLh1vy9wQ3gvZ/UekFPwCSPXXcS7lyUqepZ3qhlkJBle0YYwo46bDYzSn BCxxf9kgh2r3oqLLLyHpuZEu+skLOPQDNkjgF5E/AOJKcgBTcnzXPCfjTNY9G9YasFmFOzbZ tEFZDNjKh/LeFtKO14SCdQzkPrAanvXKmwC7gnM4/pmpTa7IA9ZiNABNPLad9uES+1JhlqA4 GXc8AwVBzlAZI3GlGXbrinEaunnkyn/e9xCKreCr916jWTI/kovFzoJWg7uyRW+ohLnAYwDd ST44BEGpqE38AmvT8LhdwappWaN+B8aQdtZVeMggDxh0YLd+QOYHXQJRzIHY8dgsc4/QD1s2 1OU9z/0OdBxmIC6TnK3zYfOkQmdHRknfUs8QiNdfRRQtrEPv7oPYgTzosGP+ZNZY/X8AzTx2 CyHpSR4jK5ViM8C0qT98Fza695NmnQrZlNsjuk0djj5hu+cWGJDT9b1gbQ8xawcRLt1tnHb4 BA5dzG2tYji961haxBhsM1RRev3u6jt3Mz0nFhuAZQ77DWx6jakc8hV4Th7JS9UDyrwQhe3O xW7kV0Ku/du0I6CNPMfj3SZUphylfCI+BWMfqy8U+eilbAqJFXbpX8zOxXMt40v+WB1+ZwC1 V6gWZ7EJR4n5W5PlVJans9MgeF59TN03m7JW5HwwjKu1LfUNjbfSq4IPBHKJqo15b+N6ledu dtOFdq4+zMGWs3HYw7T7dEyK3IOJiMFHpzYkZFcWdOCBQtEI1sfLcHt74kvQbE4oJQNpNz0p im8fmR61GvAgWb2LFTWS3J7N5Lqc5VNjVM6Gi0OO2SXin0RYqz354claL8yLKgV5c147PtOV /JeUd6xMvdObTXm+jomcpj2qrJ5RimrnQ6jOymEYiA1WpxRWDzy5d7vezXw+Bk0DiaYsdU0p 5ui3Fj5RaUvahtDDsGMTt6S1HK04GYgndxtU3vyItV8fFvm9K5oIXfTit41O8Q9FgXR9ACF1 gq5AQYqmseVmtUbqOL2vKGjq5ulN8BcHUAARmnS0uuQBBngp2GmxddNbfaMcTXjT1jLwaSFZ 9hO7vTCIfYCzUdrsY19Lu5R9pgAxeDT/p1U8gc1O0/wTQWPKqhhKXy4z8VwpvVz5rtGizCXB GOL2PdnYIusBu20MWQ/BgQfasa76co1gRjXtPQ8H1X77nR4/Z2BSkRjACOPgy18cppwPIcvm 9Ukge4s9ACfowcgafSAryFL9lajKm4LfLUnu6o7Xq7qqFsP4XNTbaPMDhTZ5Mm0VOxNFU0xM xmWrqbmrJZN9HroKnYcOyDE4rtAuM4ophtP8m4nG32Ivdj03tkMwxxb9GUMfDR/lxlo/bp6B Tl2ChdTO66LwjZPgfpDVUCKHyVqJkWQ2m71+mszuFzpdWuafU2TEzRlIseIxl4TzExEdDsC/ L249nfsYQy3QO7PhBkNSWxXgN29a+du9z/yutGtROWEOJgYXQDLoIGTYUgwlh+2Jv9p2WPmo 7Fx8fdSeJ/LE3cag5cGBrmw0ZUSTxG5J1J+f8xxwZNRHU/gVWGz/ROsN3GOfth8Iq2W0E2gV O1rCMF9dzW/8yesrjseXLYHeIVwrcEQ+etYXKHPIDcegoTGth5sjpHczQnlpWoRW941u90MG oDQUDOjE2KrmnpfnVHWnvREImaVZdolZhX2+uK+4MElNsgmnrl3UEcQ1rCUgS2kADF/9UjJg DKZNr7k8eNy7K9Nwa3uK/xnLCepI4rRUO+ozliCg+5WZ4mSDfaU5hInkXi5DQF4JrBLZs9Wk 46Ku9vJ3E/omrY6fmTaupuZHZly+sSAc7tLA/3zMUVls3OOaO307zsH3lKIG5hDvddex8ugH i+TSs+7c/wLUNZ8mlxRTQVjECgmNqemVZe4+BuBrMmNBCZEgEaDZJmi+GTyZG5WSj4QNtesQ kXosvKp/ZZDoJ4KGBYAAOp8DoRlJEP4H5ErbMD1qSLSG1zAboluYVc+vUFIBfD35ni4/ALS6 IjARwPieR2+/qrD15dcsoV3v1saAGsVbSzcuK4C04Yettx4JDduwSch3VEuFolIimr1zp6Qi PQhqoc9IX2VYNmHGCkQJPz/RhuHQOsUNb8V49DvE1y8M0+LOW9LPFetGuqMLZu7lvsPAdxL8 e0jx0A= IronPort-HdrOrdr: A9a23:wPY+gaP1s/0m3MBcTgijsMiBIKoaSvp037BL7SxMoHluGfBw+P rAoB1l73HJYVoqOU3Is+rhBED4ewK+yXct2/hyAV7AZniChILXFvAH0WKK+VSJJ8SZzJ876U 4KScVD4bPLZ2STeazBkW+F+q4bsaC6GCvCv5an85/mJjsaEJ1I3kNcAgafEkozewVcH5o+E/ Onl7B6T4PKQwVrUviG X-Talos-CUID: 9a23:VE6ToG6CkX5vIB0QcdssyWETGuoeQifh9lj0En3oLVhOROSlVgrF X-Talos-MUID: 9a23:rUsiyAaAwSnZrOBTuTXop28yCs1Suoe+BXlWqbM6pO6bOnkl X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.25,206,1779141600"; d="scan'208";a="289157643" X-IronPort-Outbreak-Status: No, level 1, Malware - Malware X-MGA-submission: =?us-ascii?q?MDFmPNeRJp7jor1P5LEVHVRoLMEHRhn6iSvqC5?= =?us-ascii?q?EcLI8lFSyrbfmokh0pXtf5DJRMpdWungWAbb2u3vpV5pKdNy81rVIkWr?= =?us-ascii?q?ouZUVsTgZjIN1uwGMJJEXSgLMk0Z3nIAyo8QYtTBvnN7ilszDWqYb1ew?= =?us-ascii?q?lbGTbXV7R8DjsMxqz4wwehWA=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; 05 Aug 2026 10:32:27 +0200 Received: by armistead.ccs.miami.edu (Postfix, from userid 3640) id 67CCBA01CF7; Wed, 5 Aug 2026 04:32:09 -0400 (EDT) To: User-Agent: mail (GNU Mailutils 3.14) Date: Wed, 5 Aug 2026 04:32:09 -0400 Message-Id: <20260805083209.67CCBA01CF7@armistead.ccs.miami.edu> From: geoff@tptp.org X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] LPAR-26: Call for Short Presentation Papers Reply-To: geoff@tptp.org X-Loop: caml-list@inria.fr X-Sequence: 19560 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: ****************************************************************************** The 26th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR-26) will be held on Spetses Island, Greece, 25-30 October 2026. See www.LPAR-26.info CALL FOR SHORT PRESENTATION PAPERS The International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is an academic conference aimed at discussing cutting-edge results in the fields of automated reasoning, computational logic, programming languages and their applications. LPAR's slogan is "To boldly go where no reasonable conference has gone before". LPAR brings first class research and researchers to interesting places, and exposes the conference attendees to interesting cultures. True to LPAR form, there is a separate track for short presentation papers. You can submit short presentation papers at any time up to the deadline and accept/reject decisions are made by PC chairs with a short turnaround. Short presentation papers are published in Kalpa Publications, see http://www.easychair.org/publications/Kalpa. The LaTeX and Microsoft Word templates for the Kalpa series can be downloaded from http://www.easychair.org/publications/for_authors. There is no strict page limit on short presentation papers, but apply reasonable judgement. Short paper presentations themselves will be short. Authors of accepted short papers are required to ensure that at least one of them will be present at the conference. Papers that do not adhere to this policy will not be published. Submit at: https://easychair.org/conferences/?conf=lpar2026 Paper submission deadline: 17th August 2026 Notification of acceptance: 3rd September 2026 Final version: 17th September 2026 ******************************************************************************