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=YEBhpv9X; 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 83DEB4009D for ; Thu, 19 Feb 2026 17:44:26 +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=VL4OgJrGctgxXy9Z78Lav4764IbJz+ItTrpNPPSbMZg=; b=YEBhpv9XUitq/PaUYYgxMG9lLNtbf7KT3bAe3TOPJuCDBKWAXWhkCTYD RPVVBspFT+jrEf5mDSMqOALwQAD0aUAdrH2ExMrChOiPamQen8095tEgI GcIs9EPTI7K4fileanbh/HbFiWQosWu255jQgp+ox8kX9UsUc9fFNoPCb M=; X-CSE-ConnectionGUID: ZUIr3GacRMu2YZ3zpCg6Ew== X-CSE-MsgGUID: hrCINzZsRF2zOvxnMZ5CLA== 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 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@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.21,300,1763420400"; d="scan'";a="264300855" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 19 Feb 2026 18:44:26 +0100 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 5C1D68331D; Thu, 19 Feb 2026 18:44:26 +0100 (CET) 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 B9ED682F7A for ; Thu, 19 Feb 2026 18:38:05 +0100 (CET) X-CSE-ConnectionGUID: RrGu4FvCSpmdX1si23HAsQ== X-CSE-MsgGUID: BeXa8HNEQGmCoz5ZsD2pfA== IronPort-SDR: 69974a7d_/jUdf8mYn7yAIdT4WCgu+8B6rUs7VjKSSbTgEo8ux1DzOQc RGdBvFGds1DNsPoFnB8I/LSe2VMsFoIRoHxhN2Q== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0EBBQCOSZdp/wZZH8BahHEpgQdeNAQLSYgnhSyIeYEWk?= =?us-ascii?q?DeOEBYpBgkBAwENRA0EAQEDAQOCDJAXHwcBBDQTAQIEAQEBAQMCAwEBAQEBA?= =?us-ascii?q?QEBAQ0BAQUBAQECAQECBAYBAoEKE4ZPDYJFUXFjCDoBAQEBAQEBAQEBAQEBA?= =?us-ascii?q?QEBAQEBAQEBARMCDQctKkMhKk0wAh4xJweCD1mCcwMRnAeQW4EBgxw+BdpJC?= =?us-ascii?q?SSBWYFNkRSCcYINgRWBO4E3g1cBAQKBNQuEM4IvBIIiehSBeYsOCQuGM4FmA?= =?us-ascii?q?1ksAVUTFwsHBYFmA4EGbjIdgSM+F4ELGwcFgQyGRw+Ka4EggRgDC209NxQbj?= =?us-ascii?q?2U/gX4uMW8RDwETDy0BKQwYFxEIBBNmLZJ0C5Iqn1CBPpBElToESapriAORA?= =?us-ascii?q?4smgmOKDotUAg8EGIUpgX8mgVlyLYMICUYDGQ9XkAGCM4F6gXQ7ux4oMgI6A?= =?us-ascii?q?gcBCgEBAwmRajSBSwEB?= IronPort-PHdr: A9a23:Dmh5Txbe6vbpNIQN77QyLFv/LTFO2YqcDmcuAnoPtbtCf+yZ8oj4O wSHvLMx1wOPBd2Qsaga0rGempujcFJDyK7JiGoFfp1IWk1NouQttCtkLei7TGbWF7rUVRE8B 9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUhrwOhBoKevrB4Xck9q41/yo+53Ufg5EmCexbal9I Ri4ogjdrNUajZdtJqov1BfEo2ZEdupLzm50OFyfmArx6ci38JN/6Spbpugv99RHUaX0fqQ4S aJXATE7OG0r58PlqAfOQxKX6nUTSmsZnQNEDhbK4h/nRpv+vTf0ueR72CmBIM35Vqs0Vii47 6dqUxDnliEKPCMk/W7Ni8xwiKVboA+9pxF63oXZbp2ZOOZ4c6jAetwUWHdBXt1JVyNfHoy8c 4UBD+0EPelCron9oUYFoR+xCASoAe/izCJDiH3r0q0gy+kvDB/I0wIuEdwNsHrZt8n5OLsOX eyp0KXF1ynPYvVL0jn98ojIdRUhrOmDXb1udsrRx0cvGhjZgVWLs4DlOjKV2f4Is2ia9eZvS /+gi3MhpgpsrTeh2t0ihZPVhoIJ1F/E7yN5zZ4pKdO2R0N2b8OpHpRNui+UK4Z7RsAvTmJ1t Cs5ybALupC2cSgIxZkmxBPSb+GKfYaV7h/+V+ucISl0inJ5dL+jgRu57Eauyur5Vsau0VZKq DJIncLWtnAK2R3T7NKLReVg8Ue8wTqP2AHT6v1EIUApjqXXMZ8hwrkompoOsETDGSH3l1/sg KCIa0ok5/Ck6+bkYrX7vJOTLZN0hhnlMqQthMO/HeU4MhMUU2id5+u8yKXv8lPjT7VRjvw5j qnZv4rbJcQBvKK5BBVV0ok75xaxCzem18gXkWcGIV5ffxKHlYfpN0nSIP/mF/e/hlWskDFxy PDaP73hBZPNImHbkLfmZ7Z991RTyA4pwdBY/ZJUBbcMK+/wVE/prNHUExs0PxKuz+vpFdlxz IATVGaVDqKYNq7ZrEWG6fg1I+aWYY8YoDb9JOYh5/7plXI2g0Udfayo3ZsMdHC3AO5pLFiDb XXwntgBCn0Gvg8/TOPwjV2CUCRfaGivUKIh/j07CYSmApnfRo21nbCM2Dm3EodYa2xbEFyBE nPle5+FVvsUbSKdOM5hkjgKVbi7TI8h0AmjtADkxLpgIOrU9DYVuo741NRv4u3TlAs99Tl1D 8iHzW6CUnx0knsSRzAqxKB/vVB9ylCb3KdkmfNYENhT6+pNUgc7Lp7c0/d3C8vyWwLEZteGU kyqQtSgATErT9I+2cUCY0hnG9m6iBDMxDKlA6UJmLyTGJw07qXc0mDsK8plxHbJyq4hgVo8T MZXO2Kom7Zz9xLNCI7XkEuXjb6ner4G3C7I9WeD1naOs19CXwFtS6nKQWsfalHTrdT4/EzCS r6uBa45PQRc1M6OMrZFat7ojVVDXPrtINvQbGyvlWmsGRuGwKuAY5fve2oHxiXSFFAJnRgK8 3ieOgYyHjyho3rQDDF2D1zif17i//RmpHOgVk80wRmFb01/2Lqx/R4YneSSReoL0LwL628dr GAgF1+425fSCsGcjwtnZqRVJ90ntgRpz2Xc4gNwOZKuB6t5wFsfegF2+U7iykYkQr5cmNQn+ St5hDF5LriVhQ8QH9v59ZX5O7mNb3L34AjqcandnFfXzNeR/K4LrvU+sVTq+g+zRQI563sy9 d5T3jOH44nSShIIWMf+X0E5+TBxvPffYyA45sXZ2WA/ebKsvGr60skyTPAg1g7met5eNK2eE wqnHMAdCcaGI/dsnlmgaxNCMexPp+YvJ83zUfyA1eawOfp42jKriWMS+IdmzkeF7DZxUMbBx ZME2O2V1wfBXDznylKgu8X2341IeFn+B0KZzi7pTM5Ub6x2J8MQDHu2ZtewzZN4joLsXHhR8 BiiAUkH0YmnY0jaaVu1xgBW2UkNxB7v0SKl0zx5lS0opauDzWTPxerlbh8OJm9MQiFrk17tJ YG+i91SUlKvakAlkx6s5ECywKY+xuw3IGTUT0lgdDOwKmBrV6r2u7afIoZO5J4urSRLQbGke 1nJArX5ohYcz2biBz4HlWp9LGjs6sS/wU8f6irVNnt4oXvHdNslwB7e4IaZXvtNxn8cQyI+j zDLB1+6Nt3v/NOOlp6FvPrtMgDpHpBVbyTvypuN8SWh4mg/SxKymP69stb8Vw072Cr6kdRmS G+byXS0KpmuzKm8Pe99KwNnCVjy5eJxAcd7k4I1hdcd1WVQ1d2FuHEAl2n0K9BS36nzOWEMS TA8yNnQ+AH52UdnIxpl3qrBX26Giotkbti+OCYN3z4lqtpNA+GS5aBFmi18phy5qxjQaL5zh GVVxfwr4X8cy+YH3WhlhiqQBb4cNUJDeyntnhGJqd2yse1baX2ufr65yEdl1YnwVvfZ+0cMC TCnMp45VTd99MB+LE7B3BiRosn/dd/cYMhS/hyYnhHcjvREfZc4l/4Eny1iair2uXwozfJ+j AQ7hMDg+tPebTU8uvzqZ3wQfif4bM4S5Dz32KNXn8LMmpuqAo0kADIAGp3hUfOvFjsW8/XhL QeHVjMm+RL5UfLSGxGS7EB+ojfBCZeuYjuYKX4Xw/1pX1+YJUVagUYZUChwzftbXki6gdfsd kt0/GVb6VP/pBVkwfkuMhj2V2aZqQu1IGR8WN2UKxxY6RtH7kHePJmF7+59KCpf+4WosA2HL mHIAmYARXFMQEGPAErve6W//dSVufbNHfKwdrGdKaXLs+FVUO2EgI6iwpcztSjZLd2BZxwAR 7U6whYRBCEjXZ+A3WVeDXRQzX6FbtbH9k7mq2su8Zn5q6itAVun5I2ED6ZePIdY4Ai4x6iEM OGUiWByLjM9tNtE03bMzPJ3MEc6rSZoenHtFL0BsXSIV6fMgupNCBVdbSpvNcxO5qZ63w9XO MedhMmnnrh/xuU4DVtITzmD0omgeNAKLmehNVjGGFfDNbKIIifOyt32ZqX0QKNZjeFdvRm98 TiBFEqrMjOGnjjvHxehVIMExDmcJwBbsZqhfwxFAHLmTcn6ZxS3dtR8lnszwLQxhzXHOXNde TlwfkVRr6GBuCNVhvIsfg4JpnFhLOSCh2OY97yBe8xQ6qItUnUyybE/gjxy0bZe4SBaSeYgn SLTqoQruFS6iqyVzTEhVhNSqzFNjYbNvEN4OKyf+IMTPBSMtB8L82iUDAwH4tV/Ddi68a9dz dbBvKnobjJD+tfVu8YQGoKHTaDPeGpkKhfvFDPOWUEdSiW3MGjEm0FHuPiI83yOspUzpt7nk 4FIT75SUV1zG/8HQBcAfpRKMNJ8WTUqlqSehcgD6C+lrRXfc85du4jOSvOYBfiHwNOxhqICY hoBxLK+IIgOZNWTM61KY0N/nZ/WFkPcG9tGuWtkbwYxoQNA/GUsFgXbNGrucUWo4XYWFLi5k gNk02ND IronPort-Data: A9a23:IUE8Eay9LL4yJnadJQd6t+dFwirEfRIJ4+MujC+fZmUNrF6WrkUGy 2AfXmiDMqmKZDDzfo8laNu28E1Q65TUyt5mSgpoqlhgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliOfVAOO6ULOZUsxIbVcMYD87jh5+kPIOjIdtgNyoayuAo tqaT/f3YTdJ4BYqdDhNg06/gEk35qqq4mpJ5gVWic1j5TcyqVFFVPrzGonqdxMUcqEMdsamS uDKyq2O/2+x138FFtO/n7/nRVYBS7jUMBLmoiI+t3+K33CuDgRrukoKHKJ0hXV/011lrPgto Dl5jqFcfC9yVkH6dEvxZDEDe812FfUuFLYquhFTu+TLp6HNWyOEL/mDkCjalGDXkwp6KTgmy BAWFNwCRiqZqP/q7qyQcfFpivR6N8ixZ6M2oUg1mFk1Dd5+KXzCa6zQ4N5DwDo5ioZFFu2YY ssQbDspYRjdC/FNEg5GUtRlxaH41z+hG9FbgAr9Sa4f7GXUwgJZ26OrNdvcf93MSMlI9qqdj jiYoz6oU0BFZLRzzxKv/0Kl1s/psBrUXakVBuCK7dIwmFO6kzl75Bo+CQLh/6Xn4qKkYPpUI kkQvy4vtrQa712uVtC7XhuioXfCsAR0ZjZLO+Qg7QCW1qfd70CSHS4BTzdEaZoruNJeqSEWO kGhpcnGGGBBrpauUXeRxu6PrGnpGQEOFDpXDcMbdjfp9eUPt23as/4iZt95Fa+uktD8FXf72 HaPrSE7hvMegdNjO0SHEbLv327ESnvhFFJdCuDrsoWNtF0RWWJdT9b0gWU3FN4ZRGtZJ3HY1 JT+pyRh0Az+Jc3UznLRHo3h7Zm04febPSfHgEJ+V54vvzGs8nuiFb1tDfAXDBkBD/vojhezP RaI4FkNvc4KVJZoBIcuC7+M5w0R5fCIPbzYujr8NLKiu7AgJVPVzzIkfkOKwWHmnW4llKx1a 9/Rct+hATxeQe5rxSa/DbVVm7I65DEM9UWKT7DCzjOjzeW/YlyRQuw7K1egVL0yw56FhwT3y OxhEfW25S9Ra8DEWRmPw7UvdQgLCVMZGaHJr9dmc7/fAwh+R0AkJfzj4ZIgXI1Hna9Ey/vBw V+hU3QFzGjfuHzjAieJY0BFd7nAc8ter3U6HCp0Jneu+SEpTriO5ZclVakcXOcY5t046MVrX t8HUcmkKdZeeATtojgyQ8H0k91/SU6NmwmLARuAXBE+WJxRHyry5d7ue1rUxhkkVyaYm5M3n Oy961n9X5EGegVFCfTWYtKJy3eanyAUuMB2bnvyDuhjQmfe26k0FHWpld4yGd8GFjvbzDjD1 wq2PwYRldOQn6ALquv2lYK2hKb3NdBhH3hqPXjRtpe3Eij4wlCN46F9VMSwQDSMc1+spYuDY 71OwuDeIc83ug9Ak7BBHoZByYM84NrSpIFm8Dl0IUWTb3qXJ+NhBlKkwfhwsrZ8w+4FmAmuB WOK1NpoGZSIH8LHEFUUfRIuNd6H5M4thwiIy+YRJRzi1RAu5J6Cb0ZeBDiXqSlnNLAuGpgU8 eQgn8836gKElRshNOidvB1U72ihKn8hUb0tkJMREKvHq1AO5AlZQJr+DiTW3sm+W+9UOBN3H g7O1bvwubtM42HjLVwxLCHp9shAj80svBtq8gczF26RkICYus5tjQxjyhVpfAF71R4d7vlSP FJsPEhLJamj2TdkqcxAfmK0ETF6Gxyr1R3t+mQNiVHmYRGkZk7VIE05HNS9zkQT3mZfXzpcp ZWz6mLuVxT0d8DQgAo2f2NYqMLYcN8gzT2axfibHPmEEaIqPhvjoKulPlQTpzXdXMgeuUzgp MtRxthWV5HVDyAqnvAEO9Go7ohIEBGgD05ecM5l55IMTD39eint+D2gKHKRW8JqJt7I+l7lF 8VRCN5GbEm65gazrxQwJ60FE5lrltEHufsAfbLKIzYdkr299zBGjrPZxhLctkQKHep8oJ0YE ZzAUTCoHki7p2pmq0WUoOZqYmOHMMQ5Pivi1+WLwcA1PpMkstA0V3ot07Gx7k6nACE+8z265 Ar8NrLrlcp8woFRnqzpIKVJJyOwDfjRDO2o0gSCg+5iXOP1E/Xlll0q8wH8HgFsI7Eudcx9l u2NvP7JzUr1husKfF6DqaaRNZtixJuUZ/VWAPLVPXMBvCqlWe3Q2TUh1V28C6R0lIJ62pH6a Sq+Mce+TItAEZMVjnhYcDNXHBshGrz6JPWo7z+0q/OXTAMRy0rbJdeg7mXkdnxfajROAZDlF wvooLy707i0dmiX6MMsXJmKwqOUIWMPnYMvbdjwriWVB2XuiViZ/L7jnB8hrzzHFxFo1So8D Y3tHnDDmNaa4ckkD+21d6R5pVsSDX94gK89cl91FxtelWWhFGBfRQgCGcxuN3yX+xAeELnzf 3fIbWInCGPwUSksndAQJjj8dl/3O9Hi8esV6tDkE414pst26E697GNdyxpd IronPort-HdrOrdr: A9a23:yR2Pi6jfadY0vTsgd6WVmIi5gHBQXrAji2hC6mlwRA09TyX2ra +TdZggtCMc9gx+ZJhIo7npU5VoKkm3yXca2+Qs1PuZMDXbhA== X-Talos-CUID: 9a23:/rMsz26dWPqUoA+2MtsszlQ7B5wLbFbm1HLcExajCDwyaJSOcArF X-Talos-MUID: 9a23:R1E18AuFmw7Xcb4SQ82nrjxSPZdIxYmXJ0UmlodbidKobzR+EmLI X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.21,300,1763420400"; d="scan'208";a="264299978" X-MGA-submission: =?us-ascii?q?MDE4Xsu8aMDfl0EOYkXW+m+uY/chwHt0D7HgvZ?= =?us-ascii?q?OSAoom8MTpcp6K+Pa202fHdXwKPPVaGW270q98DnuHhtiKfYT5A7sro7?= =?us-ascii?q?6twe92t0XXngmz4Di+wUsJqyWnSrCs9wVyMYI+R8GbX90g8ZDk0NsTVc?= =?us-ascii?q?K2gQMFXYS5FkWSJKURavFpgQ=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; 19 Feb 2026 18:38:05 +0100 Received: by armistead.ccs.miami.edu (Postfix, from userid 3640) id 4630BA01911; Thu, 19 Feb 2026 12:37:58 -0500 (EST) To: User-Agent: mail (GNU Mailutils 3.14) Date: Thu, 19 Feb 2026 12:37:58 -0500 Message-Id: <20260219173758.4630BA01911@armistead.ccs.miami.edu> From: geoff@cs.miami.edu X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] FLoC Workshops - All the Calls Reply-To: geoff@cs.miami.edu X-Loop: caml-list@inria.fr X-Sequence: 19453 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: @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ https://teal.cs.brown.edu/floc2026/ TEAL 2026: Tools for Educational Activities in Logic @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ Theorem Proving Components for Educational Software (ThEdu) https://theduworkshop.github.io/ThEduWebSite/#thedu26-presentation @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ 24th International Workshop on Satisfiability Modulo Theories (SMT) https://smt-workshop.cs.uiowa.edu/2026/ @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ ==================================================== Call for Papers UNIF 2026 The 40th International Workshop on Unification July 24, 2026, Lisbon, Portugal https://www.risc.jku.at/conferences/unif2026/ ==================================================== UNIF 2026 is the 40th event in a series of international meetings devoted to unification theory and its applications. Unification is concerned with the problem of making two terms equal, finding solutions for equations or making formulas equivalent. It is a fundamental process used in a number of fields of computer science, including automated reasoning, term rewriting, logic programming, natural language processing, program analysis, types, etc. The International Workshop on Unification (UNIF) is a yearly forum for researchers in unification theory and related fields to meet old and new colleagues, to present recent (even unfinished) work, and to discuss new ideas and trends. It is also a good opportunity for young researchers and scientists working in related areas to get an overview of the state of the art in unification theory. Topics of interest to this forum include, but are not limited to: - Syntactic and equational unification algorithms - Matching and Constraint Solving - Higher-Order Unification - Unification in modal, fuzzy, temporal and description logics - Anti-unification/generalization - Semi-unification - Disunification - Narrowing - Admissibility of Inference Rules - Combination problems - Formalization of unification and related techniques - Complexity Issues - Implementation techniques - Applications The 40th International Workshop on Unification is part of FLoC'26, affiliated with FSCD 2026 and IJCAR 2026. ** Important Dates May 7, 2026: paper submission deadline. May 29, 2026: author notification. June 13, 2026: camera-ready paper submission deadline. July 24, 2026: UNIF 2026 in Lisbon. @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ Call for papers: Isabelle Workshop 2026 (FLoC Lisbon) ===================================================== Website: https://sketis.net/isabelle/isabelle-workshop-2026 Where: Lisbon (Portugal), associated with ITP and IJCAR, as part of FLoC When: 24..25-Jul-2025 (UTC+1) What: This informal workshop will bring together users and developers of the interactive theorem prover Isabelle. The year 2026 is special due to 40th anniversary of Isabelle, so we allocate 2 full days for the event. Important Dates: - Paper submission deadline: 09-May-2026 (AoE) - Notification of acceptance: 01-Jun-2026 (UTC+0) Organisers and Program Chairs: - Jasmin Blanchette - Dmitry Traytel - Makarius Wenzel @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ VAMPIRE 2026 The Vampire 2026 workshop will discuss recent developments in implementation, application, evaluation and comparison of first-order theorem provers, including but not limited to Vampire, and their interaction with other systems. We seek submissions reporting on but not limited to: - prerequisites for substantial progress in theorem proving tools - implementation principles and practice - heuristics and strategies for different application areas - case studies, successful and unsuccessful - missing features in modern theorem provers Submissions can be in any form, ranging from work in progress to completed work. For example, the users can submit: - extended abstracts or full papers; - theoretical papers; - experimental papers and case studies; - or in general any papers that can benefit tool developers and users. Papers can be of any length, ranging from 1-page abstracts to full papers up to 20 pages in length. The papers should use the EasyChair templates, which can be found at https://easychair.org/publications/for_authors Submissions should be made using the FLoC system, via the link https://submissions.floc26.org/vampire/ The workshop post-proceedings will be published within the EasyChair EPiC Series in Computing. Important dates: Paper submission: May 29, 2026 (AoE) Notification of acceptance: June 5, 2026 Workshop: July 24, 2026 @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ 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: April 14, 2026 Submission deadline: April 21, 2026 * 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 Publication ----------- PAAR proceedings will be published electronically in a workshop proceedings venue (such as CEUR workshop proceedings or EasyChair Kalpa proceedings). Venue ----- IJCAR 2026 in Lisbon, Portugal Important dates --------------- * Abstract submission: April 14, 2026 * Paper submission: April 21, 2026 * Author notification: May 12, 2026 * Camera-ready paper versions due: July 1, 2026 * Workshop: July 25, 2026 @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ WST 2026 - First Call for Papers 21st International Workshop on Termination https://termination-portal.org/wiki/21st_International_Workshop_on_Termination July 25, 2026, Lisbon, Portugal Affiliated with IJCAR, July 26-29, 2026 The Workshop on Termination (WST) traditionally brings together, in an informal setting, researchers interested in all aspects of termination, whether this interest be practical or theoretical, primary or derived. The workshop also provides a ground for cross-fertilization of ideas from the different communities interested in termination (e.g., working on computational mechanisms, programming languages, software engineering, constraint solving, etc.). The friendly atmosphere enables fruitful exchanges leading to joint research and subsequent publications. The workshop is held as part of the 2026 Federated Logic Conference (FLoC 2026 https://www.floc26.org) and is affiliated with the 13th International Joint Conference on Automated Reasoning (IJCAR 2026 https://www.floc26.org/ijcar). IMPORTANT DATES - title and abstract submission: April 28, 2026 - submission: May 5, 2026 - notification: May 26, 2026 - early registration: June 1, 2026 - final version: June 26, 2026 - workshop: July 25, 2026 @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ Termination and Complexity Competition 2026 http://www.termination-portal.org/wiki/Termination_Competition_2026 Call for Participation Since the beginning of the millennium, many research groups developed tools for fully automated termination and complexity analysis. After a tool demonstration at the 2003 Termination Workshop in Valencia, the community decided to start an annual termination competition to spur the development of tools and termination techniques. The termination and complexity competition focuses on automated termination and complexity analysis for all kinds of programming paradigms, including categories for term rewriting, imperative programming, logic programming, and functional programming. In all categories, we also welcome the participation of tools providing certifiable proofs. The goal of the termination and complexity competition is to demonstrate the power of the leading tools in each of these areas. The competition will be affiliated with the International Workshop on Termination (WST 2026, https://termination-portal.org/wiki/21st_International_Workshop_on_Termination), which takes place at the Federated Logic Conference (FLoC 2026, https://www.floc26.org). It will be run on the RWTH University HPC cluster. The final run will be in parallel to the FLoC workshops on July 24th and 25th. The results will be presented at WST, and presumably also at IJCAR. We strongly encourage all developers of termination and complexity analysis tools to participate in the competition. We also welcome the submission of termination and complexity problems, especially problems that come from applications. A category is only run in the competition if there are at least 2 participants, at least 40 examples for this category in the underlying termination problem data base, and clearly defined rules. If there is no category that is convenient for your tool, you can contact the organizers, since other categories can be considered as well if enough participants are guaranteed. For further information, we refer to the website of the termination and complexity competition: https://termination-portal.org/wiki/Termination_Competition_2026 Important dates Tool and Benchmark Submission: June 26 Full Run: July 13-17 Live Run: July 24/25 @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@