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=WBwvqwhA; 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 14698400A2 for ; Sun, 22 Feb 2026 13:09:34 +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=XXl0dnnzm5TvYUTMZ3MBQAe12u65irj8ZEQWZnYFlGA=; b=WBwvqwhA6x+w6ty5+sgf3EJw9/eX3zeN4uTMQEFQDZ9xr8TXaY0nWFm3 Fu9YCKepE1BVB4Tcg7Da8TfjlYPVuvzEIYakbFVwPilyLtfKgZoqqFhv+ OIhN/LutNvKOy/EbVD408PR8BmECHD+C5WykrViDJmdPuB23R94g0XSbf A=; X-CSE-ConnectionGUID: hBsJsP1QRr2osNKNYZjVXA== X-CSE-MsgGUID: PhhAtFlfQhq28i+glFhM+A== 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,304,1763420400"; d="scan'";a="264593581" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 22 Feb 2026 14:09:34 +0100 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 063DE81556; Sun, 22 Feb 2026 14:09:34 +0100 (CET) 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 430E78008A for ; Sun, 22 Feb 2026 13:46:23 +0100 (CET) X-CSE-ConnectionGUID: TF33ZeyIQxml0nDBVeoO6A== X-CSE-MsgGUID: VnCpAwmWSpaw/60M5PF57Q== IronPort-SDR: 699afa9e_W0RA0KT/8vLZjHt4dmbgYIOFLfKaYgKy1yyl0nSx24fux5m 8DPDaBfb+ykuWrhigW8ANjKXPDX7j9auXu7LPVw== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0ESAwB2+ZppgQZZH8BQCoUagQdeNAQLSY1TiHmeMYFrB?= =?us-ascii?q?gkBAwENPRQEAQEDBIIMkBcfBwEENBMBAgQBAQEBAwIDAQEBAQEBAQEBDQEBB?= =?us-ascii?q?QEBAQIBAQIEBgECEAEBPQVJhhUIMg2CW4EsgSYBAQEBAQEBAQEBAQEdAhSBG?= =?us-ascii?q?iEqBQFHMAIeMRMWgm2CcwMRmkeQW4EBg1oF2kkJJIFTBoFNjkgBgkuCcYINg?= =?us-ascii?q?RWCeYF0PYJMAQcLAYQ2gi8EgiJ6FIFDNooOaDyGHYFmA1ksAVUTFwsHBYFmA?= =?us-ascii?q?4EGbjIdgSM+F4ELGwcFbYY4D4h1gWaBHoE2AwttPTcUG49UP4F/VAtRHiETb?= =?us-ascii?q?xslDzMQSqVCn1CBPpBElToESYQEjROYTIEIiAORA44JlXcchSWBfyNscHJOg?= =?us-ascii?q?mdPAxkPV3WMbIIgu3YfKDI8AgcBCgEBAwmSHoFLAQE?= IronPort-PHdr: A9a23:+9p36BDo3uZK9IeCESBCUyQUJkkY04WdBeb1wqQuh78GSKm/5ZOqZ BWZua4xygeRFt+At6kcw8Pt8IneGkU4qa6bt34DdJEeHzQksu4x2yEGPouuJHa/EsTXaTcnF t9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV6OPn+FJLMgMSrzeCy/IDYbxlViDanbr5/I hq7oR/NusUKjoduNKg8xxTHr3dUZu9b2X5mKVWPkhnz4cu94IRt+DlKtfI78M5AX6T6f6AmQ rFdET8rLWM76tD1uBfaVQeB6WMSXWoPnhdWDAbL8Qn2UZjtvCT0sOp9wzSaMtbtTb8oQzSi7 rxkRwHuhSwaKjM26mDXish3jKJGvBKsogF0zoDIbI2JMvd1Y6XQds4YS2VcRMZcTzFPDJ2yY IUBDOQPPf1Vo5Xhq1cSsReyGROhCP/pxzRVhnH2x6o60+E5HAHJwgMgGNwOsHrPodrpL6ceS +W1zKjSwjXGbvNawyny55XVch0nvPqDUq5+f9DLxkkzCwPKkE+QqYr9Mj6JyukDvWiV4uRuW ++rl2IqpQ5/rDiyysotioTFm4AYx03L+Clkw4s7KsG0RUB/bNCkEJZdtyOXOotqTs4hR2xlv jsxxLMBuZ6+ZicKyZInygbda/yEboiE+AjsVPqXLDxlh3xlYKqyiwu2/ES+0OHxWNS43ExJo ydBiNXBt3YA3AHJ5MedUPty5EKh1C6P1w/N7uFEJlg5mrDBK54kw74wjYYTvlrZESDrgkn5k LOZdl4+9uit6uToeLDmpp6GO4Bqlw7+L7wims25AesmLggDR3WX9OCi2LH580D1Xa9Gg/4yn 6XDsZ3WPcEbqbS4Aw9R3IYj8RG/DzK+3dQXg3YHK1xFeBycgof1IFHCOvX4DfaljFSpkTdn3 e7JMaD8ApnVNHjMjK/hfaph605b0Ac80cpQ55dQCr0YJPLzW1TxtMDDAx8iMw20xv7nB89n2 oMfX2KPGK6ZP7nIvV+G/OIjO++Ma5QNtzbnN/cl/+LujWM+mVIFYKWlxZQXZ26/HvplOUuUe XTjjMoZHWcQoAU+Uu/khkeaXDFJfXayWqM85ionCI24F4jMW5qhj6Ca3CuhG51WZ3pJClWNE XvyaYqLRuoMZDqPLc9ikzwEUKCsRZcu2x6gqgH016ZqIOzM9iIFsJLszsJ16PHLmB8q7DJ6F 8uT33mWT2FskGMFXyU40bxir0Jg0luDyrB4g/JAGtxT+fxJVgA6OIbEweJjE978VVGJQtDcH F2vR9HjBTAqUvowxcUPagBzAYPxoArE2n+lDrgbmZSAH9ox86vZ3j78K9sumD79yKA9ggx+E YN0Pmq8i/snn+CyL4vAkkHC0r2vabxZxynVsmGK0WuJukhcFg92S6TMG34FNQPNtdqswETEQ ve1DKg/dBNbwJuNJ6xEZPXilhNDRf7mOZLTb3/i03yoC0Owz6iXJJHvZ31b2SzcDEYelAVG8 nuBOwYWDTznpmPXCT0oGF7yMAv36ecrjnS9Qwcvyh2SKU1s073g4hkOmfmVUO8exJoNoiIgs Cl5FVr71NnNTd+Brg9gOqhQfLvR+X9h0mTU/0x4N52kdOV5g0IGNh9wpwXo3gl2DYNJlY4rq mkrxUx8M/DQ1lQJbD6e0Z3qX9+fYmDv4BCibbLX0VDCwZ6X/KkI8vExt1TkukmgCEMj93xt1 9Qd3WGb493GCw8bUJS5VUhSlVAyqLzdbCcV7JiS0HxlNKjyvzPfmpooCOYj1he8boJHKqrXX AT2EsAcG42vMLlzygLvNUtCbLEUqv1RXYvubfaN1a+1Mfw1mTuniT8C+4VhygeX8DI6TOfU3 pEDyvXe3w2dVj66gk3y16K/0Y1CezwWGXKyjCb+A4sELKJ/eogFIWy1Zci2z9B/wZPhRjQLk TzrT0NDw8KvdReIOhby0Ape22wcujqimCK9znp5nyxj/eKPmSfJxerlbh8OPGVGEXJjgVnbK o+xl9kGXUKsYmDFjTOd7F3hj+heraV7dCzIRFtQOjPxNydkW7exsbyLZ4hO7okpuGNZSrb0b VefQ7/76xwUtkGrV2RTwz41Xzqx/JD4lhl7zm+RMT5/oWHYdsd52RrErIWNH7gKh3xWFW8mw TDMTkCxJdyo4cmZm/Kh+qilWmStW4cSOSjnwIWctTeqsGhjABmxhfe2yZXsFQk31zO+1sE/D HSS6k2lJNm6kfrpVIAvNlNlD1L99cdgT4R3k49rwYoVxWBfnZKNu3wOjWb0N9xfn6P4dnsEA zARkLu3qEDo3lNuKnWRysf3THKYl4Fuat60bEsdwWQ47slPCeGZ4KEOzk4X6hKo6BncZ/Rwh GJXxvYp5nAyiPpPvQskyyTbD7wPVxoQLWnnkBKG6Mq7paNcaTO0cLS+40F5mMioELCIpgwPP RSxModnByJ76d9zdU7dyHCmoJ+xY8HeNJhA/g3RiRrLiPJZbY48huZfzzQyInrz5BhHg6Y6l UA8hMDg+tPebTU8uvr+WEIQNyWpNZpJq3e00v8YxZrQhtnnH5NqHigHUcnfVuqmVj0VsvvjO kCFFzhZyD/TD7PbGUX3BF5OiXXJHtjrMniWICJc1tB+XFyGI1QZhgkIXTI8l5p/FwawxcWnf l0rrjYWrkX1rBdB0IcKf1H2T3vfqQG0azw1VInXLRxY6RtH7lvUNsrW5/x6HiVR9Jms5AKXL WnTawNNBGAPEkuKYjKrdqGp/sXF+vOEC/CWJuHLYK6SpOVSEfyD3tSq04Jj/nCBOtjOdnhuA vsn21ZSCHB0H8OK/ldHAycTli/Lc4uavELlq3cx9Zn5oKWtBlGKh8PHEbZZPNRx9grjhK6CM 7XVnyNlMXND0YtKw3bUyb8Z1VpUiid0djDrH65T0EyFBK/WhKJTCAYWLi1pM84dpa0x2QdDE cXAzNb037t5yPM5Fh0WMD6p0tHsfsEML2ynYRnfA12XMb2dOTDR68jtZKKnVbBZgKNfvAb2v DeSFk6lMzie3WqMNVjnIaRHiyeVOwZbsYe2f0N2CGTte9nhbwWyLN59iTBeKVwcj2nPNHUAP DFwNUhGtfuV7Cpdg7NyF3ETthKNyMGPgGCc7uDdK9AbveY5WkyceMpR+zI/yrJQ7WdJSOEnw UPv IronPort-Data: A9a23:RX9hCqkYGLsdn68H47L/CYbo5gyKIkRdPkR7XQ2eYbSJt1+Wr1Gzt xIZCj3UaPaCNGT1LdwgaIix8BkH7cLRz9UwSwtq+3xnFFtH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRG/yhTreCYn0sLeNdYH9JoQp5nOIkiZJfj9G8Agec0 fv/uMS31GWNglaYCUpKrfjawP9TlK6q4m1A5AZnPaojUGL2zhH5MrpPfcldEFOjGuG4LsbiL 87fwbew+H/u/htFIruNjrbhf0QWdaXZNA6Ih2A+c/DKbs9q+0Teeo5iXBYtQR8/Zwehx7id+ /0R3XCEcjrFC4WX8Agrv7a0JAklVUFO0OevzXFSKqV/xWWeG5fn660G4E3boeT0Uwu4aI1D3 aVwFdwDUvyMr96Ym+mJR/hNv9QmKJHtEKkht3ZHkxiMWJ7KQbibK0nLzdZC2TYrms1HEbDVb NFfbDtmaRWGbhFSUrsVIMtvxqHz3z+vInsGwL6WjfJfD2z7wwF23rbFO8GTf92DQMQTk0qFz o7D1z2iU01KbIfGmFJp9FqSgMTXtDz+Z7kKHaL/qKZP3WW9mzMqXUh+uVyT/aDj1BLgMz5FE GQf8y8q6Kwz71CDVcj4RxT+oXievxdaVcA4LgEhwAiXz6vP/wuQCi4PVXhEadUjtYk7SSFCO kK1c83BORI064+YWFOk5rKQ9TWeExYYKkhcTHpRJeca2OUPtr3fmf4mczqOOKevi9zuBTz5z 3aBt247hrwWjIgG27jTEbH7b9CE+sehou0dvFm/soeZAuRRPt/NWmBQwQKHhcus1a7AJrV7g JT7pyRuxLxXV8/RykRhsc0QGrC36uyeMSHNyVlhV5wg/jGsk0OekXRryGgmfi9Ba59cEQIFl WeJ6Gu9ErcJbSPyNceaouuZV6wX8EQXPY21DqqMM4AXOsMZmc3u1HgGWHN8FlvFyCAE+ZzT8 7/CGSp1JSdLVfZU33CtSv0D0LQm4Ck7yCmBDdr41hmrm/7WLnKcVb5PYhPEY/Eb/ZG0hlzf0 +9eEM+WlDRZcun1ORfM/aApcFslEHkcBLLNkfJxSNKtGARcJTweO6fj+o95I41BtIZJp9jM5 UC4CxN5ykKgpHjpKjeqS3FEaZHtVocisXsEEzAlBgus6VgeYKKEzqQWR70od5YJqc1hyv9VS aEeWsOiW/5gdBXOyw4/X7Lc8rNwRU+Ovh2fGSiPbBwUXY9SdyaQ9vDKJgLQpTQzVAypvs4Ak pic/wL8Q6tbYT99DczTOcmd/3nosVczwOtNDlb1eP9Nc0DR8a9vGSz7rtkzB+oucRzj5D+r5 zy6MCcih9vmgtEKqYHSpKW+sY2WPfN0HRNaE0nl/L+GD3Tm0VT587BQctSjXG77b3z1ypWAd O8O7vDbMd87pnhonbd4MY5WyfMZ24OyiZ5clh9pDVfaXWSNU7lAGESL7eNLl69Kx4JahzeIZ 1KyyoFaFIiNaezYEw83BQs6b+68++ketRvM4N8Ufkjrxi9F04CWcEdVPijXrTFXE791Orwm3 NUegpc36hO+uDUuIN2pniBZzEXSD30iAoEMlIAWP5/vsSUvkmp9WJ37DjSsxoOicPBOA1YaG SCVj6/8mLhs/ErOXH4tH3zr3+AGp5AxlD1V7V0FfXKlp8Hkg6Ip4Rhv7jgHdARZ4RFZ2eZVO GIwFUlUJ72Lzgh4lvp4QGGgNAFQNiK3onWr5QMyq1TYaE20WkjmDm43Y7+N9X9E1VNsRGFQ+ bXAxVv1VTrvQtrK4RIzfkxYsN3mc81681zTucKgHvndJaIAXxjevvaMa1YL+jzdOuFgoG3cp OJvwvR8Vr2jCw4UvJ8AKte70ZY+dUm6AVJsENBbwbMxPGDDeTuN9yCEBGKvd+hsefHb00+KJ PZ/B8BIViWO9jqHnhZDN5EiIJtxuvwi9Ycec4zFOWc97r+tjgdolLny9SHOonAhbPszsMQ6K 6LXLymjFE7Jj1Rqumb9lut2EUvmXss1PyjHw/GT8s8FM7khodNcWxg+/ZXstkrELTY92Qyfu T3yQpP/zstg+NxKpJTtGKASPDeEA4r/e8rQ+T/irukUS83ENPrPkAYnqlPHGQByFplJUvRVk YW9ivLG7Hnnjp0XDV+Aw4KgEpNX7/qcROBUa8L7DEdLlBu4BfPD3UExxHCaG7dozvVm+ciVd ympYpCRdPkUeetn6l97Vix8KysZWoPLNvrOhCXko/q1X01XlUSNKd687nbmYF1KbiJCadW0F gbwvO3o/dxC6phFABgfHfx9HptkOxnZVLA7c8Hq/yytZoVybohuZpO5/fbh1d3KNpVAOM/g5 JPeWhX3eFK5s7qOydBQto00sxEKZJq4bS/cYWpFk+OaSRjjZILFEQjZGZ4dTJRVmynzkpz0e VkhqUM8XD7lU20snQrUubzes8T2OgDKEtziYDko9kaVLSq6GetsxVenGjhIux9LR9co8A1rx RzyNJE90thdD6yFndou28E= IronPort-HdrOrdr: A9a23:dqSnKathtqA4jkhq0N9M33x/7skDHNV00zEX/kB9WHVpm6Oj+P xG8M576faLslgssRgb8LjqBEDqexnhHPBOjLX5cY3PYDXb X-Talos-CUID: 9a23:Gx2kkmxmahVuz3zGMWymBgUoNJt+QHDM7U7AJkvgD0pDdrCSbgG5rfY= X-Talos-MUID: 9a23:ixtTRgik8qBjT6ZgOQRkRcMpCsFD+42xDX82iZwZ/JfcEHFIFWrCtWHi X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.21,304,1763420400"; d="scan'208";a="139480319" X-MGA-submission: =?us-ascii?q?MDGmCA21SmvZ+Bc1t5wwVpGFORM9OCY9j3m9K1?= =?us-ascii?q?lls003lI/ZkK1lgUYFLcaAHh4x1fDCs+wTo77Hr+jkoFjpXSOUlG/iWw?= =?us-ascii?q?nbKaRzpMNMST//GwnBqfVrBiv+VmzgBrNTmy1xEtvu1+hoIOEL3xz3L+?= =?us-ascii?q?dL//c8p88jPOPeAfjuudOjkg=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; 22 Feb 2026 13:46:23 +0100 Received: by armistead.ccs.miami.edu (Postfix, from userid 3640) id 0CEFCA01A4D; Sun, 22 Feb 2026 07:46:13 -0500 (EST) To: User-Agent: mail (GNU Mailutils 3.14) Date: Sun, 22 Feb 2026 07:46:13 -0500 Message-Id: <20260222124613.0CEFCA01A4D@armistead.ccs.miami.edu> From: geoff@cs.miami.edu X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] Symbolic Computation and Machine Learning - SCML 2026 Reply-To: geoff@cs.miami.edu X-Loop: caml-list@inria.fr X-Sequence: 19456 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: ======================================================================== SCML-2026: International Conference on Symbolic Computation and Machine Learning July 6-8, 2026, Hagenberg, Austria https://scml.risc.jku.at/conference-2026/ ======================================================================== Organized by the Research Institute for Symbolic Computation (RISC) as part of the RISC Summer 2026 jointly with the SCDDE 2026 workshop on Symbolic Computation and Differential and Difference Equations. CALL FOR PRESENTATIONS The SCML-2026 conference is dedicated to all research that strives to combine "Symbolic Computation" (SC) and "Machine Learning" (ML) as two major approaches to "Artificial Intelligence", in particular to the application of ML to SC, the application of SC to ML, and the hybrid combination of SC and ML to solving problems. SCML-2026 provides ample space to exchange ideas and discuss recent approaches in this newly emerging research field. It presents, in particular, plenty of opportunities to discuss new research projects, form project consortia, and identify funding programs in this area. SCML-2026 is a "presentation-oriented" conference that solicits submissions in the form of extended abstracts (1-2 pages) which are only briefly reviewed with respect to their relevance to the topics of the conference. The abstracts of accepted presentations are collectively published as a "conference booklet" in the frame of the SCML publication forum. At least one author of an accepted abstract is required to register as a presenter at the conference. CALL FOR FULL PAPERS Furthermore, we explicitly encourage the SCML-2026 authors to also submit full papers related to their presentations to the SCML Publishing Forum https://scml.risc.jku.at/ where they are refereed according to the rules of the forum and, if accepted, published there. According to the "continuous call for papers" of the SCML publishing forum, papers can be submitted at any time before or after the conference (without deadline). However, the acceptance of a presentation at the SCML-2026 conference does not depend on the acceptance of a paper at the SCML publishing forum. On the other hand, if a paper accepted for the SCML publication forum is already presented at the SCML-2026 conference, we waive its presentation at a later SCML virtual workshop. TOPICS Examples of topics in the scope of SCML-2026 are: * Applying ML to computer mathematics, algebra, geometry; integrating ML into mathematical software systems. * Applying ML to automated reasoning, theorem proving, satisfiability solving; integrating ML into interactive and automated provers. * Applying ML to the synthesis of programs ("vibe coding") and their verification; integrating ML into program verification systems. * Applying SC to analyzing ML models ("explainable AI"), deriving error bounds, ensuring robustness, interpreting answers. * Applying SC to verifying ML models ("verified AI"), preventing errors and hallucinations. * Applying SC to synthesizing ML models with guaranteed error bounds, robustness, correctness properties. * Integrating SC capabilities (such as computer algebra and automated reasoning) into ML models. * Applying LLMs to the automatic formalization of mathematical/logical texts. * Applying LLMs as natural language interfaces to SC systems, integrating co-pilots into SC systems. * Combining linguistic reasoning (LLMs) and formal reasoning (theorem provers). * Combining LLMs and SC systems for education. * Teaching (for example, in mathematics) using a combination of SC and ML systems. * Software and system descriptions, datasets, benchmarks, and metrics related to the interplay of SC and ML. All in all, we consider submissions that explore the interaction between the two fields of SC and ML - not standalone works on either SC or ML. INVITED SPEAKERS (CONFIRMED) * Alex Best, Harmonic, Palo Alto, USA. * Bruno Buchberger, Johannes Kepler University Linz, Austria. * Martin Charles Golumbic, University of Haifa, Israel. * Cezary Kaliszyk, University of Melbourne, Australia. * Ido Kaminer, Technion - Israel Institute of Technology, Israel. * Hiroshi Kera, Chiba University, Japan. * Michael Kohlhase, FA-Universität Erlangen-Nürnberg, Germany. * Martina Seidl, Johannes Kepler University Linz, Austria. * Juan Esteban Suarez, Ludwig-Maximilians-Universität München, Germany * Josef Urban, Czech Technical University in Prague, Czech Republic. DATES March 2, 2025: Opening of registrations April 27, 2026: DEADLINE FOR SUBMISSION OF EXTENDED ABSTRACTS May 11, 2026: Last notifications of acceptance May 25, 2026: Deadline for registrations of presenters June 15, 2026: Deadline for registration of non-presenters July 6, 2026: Start of conference After the submission of an extended abstract, the notification of acceptance is sent out WITHIN TWO WEEKS. CONTACT Email: scml@risc.jku.at Web: https://scml.risc.jku.at/conference-2026/ Please consider subscribing to the SCML Mailing List https://scml.risc.jku.at/conference-2026/mailinglist/ in order to stay informed about the SCML-2026 conference.