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=YbwIZ9sx; 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 3B40C40085 for ; Fri, 2 Jan 2026 16:54:16 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=mime-version:date:from:to:message-id:subject:reply-to: sender:list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner:list-archive; bh=+JbQTClp6OMayKkTGmNoMWTBGjjRQ1VSZgdFdNhw78w=; b=YbwIZ9sxBawAoeDeRdzi/9RZLkkbILFopN51NRSnScW9SEdZw3e+AY3n m+MQsuG1Zs4+tmyIyGscVGzoaW5gihecP2iEmuVe6K83tlN3ZmtWVDV7S 5IZatymQUUXtcHwXt5mNcaDmOXUSynNgHiVjIcGWw9B5cTpUDA1Q+Pdmh M=; X-CSE-ConnectionGUID: cBhxoFswSNKKtu4YJmQTAg== X-CSE-MsgGUID: 9C6CUSWfT6+Rr6wnDC9IhQ== 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,197,1763420400"; d="scan'208,217";a="256668338" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 02 Jan 2026 17:54:16 +0100 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 19A6A816EB; Fri, 2 Jan 2026 17:54:16 +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 5C8CC81675; Fri, 2 Jan 2026 17:54:07 +0100 (CET) X-CSE-ConnectionGUID: JxKlXoivTW+wY4pqRNseOA== X-CSE-MsgGUID: jUWzAgQgR0yMq8XgaiW9Xg== IronPort-SDR: 6957f82e_9oruwT38bxQYowLjHHy7xeXPvxoNX5/cLl/Ya6kRB6vrixx lc4fhty2+WEhhEZR5ao+eVO9Bcxk2o2QiAFxQQA== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0FFAwDv9ldpdw4ha1ZaglmBPYEEgQdeNAQLSYRYgRiCN?= =?us-ascii?q?4UshleCIpIahSyIFxYSFQIPAQMBDTgWAQIEAQEDAQOEOkaMawIeBwEEMwYOA?= =?us-ascii?q?QIEAQEBAQMCAwEBAQEBAQEBAQ0BAQUBAQECAQECBAYBAhABQ0mGTw2CWztxY?= =?us-ascii?q?wg6AQEBAQEBAQEBAQEBAQEBAQEBAQEBAQETAg0HLSpDBh0BASQCBQ0TSQJ5g?= =?us-ascii?q?nuCKUoHAQyyJoEygQGCDAEBBoEI2zeBTwkYgTWIUwEqgTQBAoQOgS6BG4IvJ?= =?us-ascii?q?xuCDYEVg2iCYQEDGIFzgy6CaYImgQ6GGQaBdpIJLIEYIgMmMywBDxE1ExcLB?= =?us-ascii?q?wWBZgOBBm4yHYEjPhdzgRSDSR9oDwaBEYNRiQgPiWGBBQMLB2Y9NxQbBgIBg?= =?us-ascii?q?TWTV0MZToJRgRoBUE0lD8ddkESVQgcLHBeEBIcXjEM7klKZBhuNbpV3hRAxg?= =?us-ascii?q?X4kgUkMB3NNgmcJRgMZD1eRfU6EErkLAkUyAjoCBwEKAQEDCYVGAQGMVoFLA?= =?us-ascii?q?QE?= IronPort-PHdr: A9a23:d0JHVx1Gm+qI/DsgsmDO5Q4yDhhOgF0UFjAc5pdvsb9SaKPrp82kY BeDo601xw+YBNqTwskHotSVmpioYXYH75eFvSJKW713fDhBpOMo2icNO4q7M3D9N+PgdCcgH c5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTezbr5+N gm6oRneusQVhYZuN6Q8wQbVr3VVfOhb2WxnKVWPkhjm+8y+5oRj8yNeu/Ig885PT6D3dLkmQ LJbETorLXk76NXkuxfbQgSD/2URXGoLnBZQDAfL8B/1XpHqsivnreV9wzWVPdf3Tb8vRzuv6 bpgRQLyhycGMz4593zXitB1galGrh+tuwBzzojJa4yTKfFwfL7SfckCSGVOUMhfVzJPDJ6yY IUMAOsOIf1VoJPhq1sMtxayGROhCeHpxzRVhnH2x6o60+E5HA7cwAMgHswBvW/Oo9rpNacdT /q5w7fVzTjFcvhZ1ivz5pLSfRA9vfGDQ6hwcczJxEQgCQ7IgVGdpIz4Mj2ayukArmeW4/d8W e+rlWMrth18rzqsy8swiofEiYEYxFDY+St3z4g4JN61Rk5mbdOgDJddsTyROYVxQsMnWW5ou SA6x6UctpGnfSgF1o4ryADCa/CfbYeH+AnjVeaNLjd4nn1leai/iwy18Ui6xe3wTtS00FBLr iZcjtnMrHEN2ALJ6sSdV/Ry4F+t1iqT2A/J8+1EJ147lbbBJ5E83LE9kIcYv0fbHiLum0j7j bWaelg49uWq8ejqbLvrqoWBO4J7jAz1L74gldalAesiNwgDR2ib9vq41L3k5UD2XLVKjvwsk qnDrZDaOd4XqbO/Aw9O0oYj6hm/Dze83NsEmnkHKUpJeBOBj4f3J1HDOPP1APalj1ixjDtmx erKM7PvD5nXM3TOn6/tfbNn5E5dzAozw8pf55VRCrwZOv38Rk7xu8LDAxAjLwO0wvjoBM9j2 YMDQW6PGLOWMLvOsV+U4eIiO/WDa5UQuDb5MvQl4//ujWQlmVIGZqmo3Z4XaGiiEfh8IkWZZ 2DsgtYbHmsQsAo+VvTmiEeeXj5Le3ayQ6U86yknB4KhFIfPX5yigLic3CigBZBWfWBHClWUE XjybYmEWvEMaDiTIsB7iDAEW6KhR5cn1R61rAD60aZoLvLI+i0EspLuzMZ56/XclR4s8jx6D N6T3nmOQW9qhm8IXSE53L58r0Jn0lqMzah4g/1CFdxJ+vNJTh02OoPaz+xhC9DyWw3BfteTR Fm6RdWmBCk9Qc8yw98PZkZwA82sgB/N0CS0H7EYi7qFCIQp/aLZxXfxPdpyxm7e2qc4l1coT dNDNXa+hq5x7wXdHZLEnViEmaqybqQcxCDN+3+DzWWQuEFYVxZ9X73cU34HaUWF5ej+s03FS 7uvIbogNg9Aj8+EJKwZRMfuiABPT/buEN3VYm/3lnrjVl6z2rqQYd+yKC0m1yLHBR1c++hy1 XOPNAxkQzykv3qbFjtlU1Tmf0Lr9+B67nK9VE49iQ+QPAV6z7Tg3BkTiLSHTu8LmKoesXIoo DR5NF+23t+QBsfT7xF5cvBkaMgmqExCyXqfsgV8OpK6KKU3j1Uffix+tELjkRhqWc1bicZ/i nQswUJpLL6AllNMczTNxZfrJrjeMXX/5jika6/MwEzCltqQ4acO5/R+oFLm1O2wPmwl9Xgvk 9xc0n/Go47PEBJXS5X6FEA+6xl9objeJCg7/YLdk3N2Y+GytXfZ1tQlCfFAqF7odspDMK6CC A75EtELT8moJuswnlG1bxUCdOlM/a8wNsmierOIwqmudOpnmTuniyxA7uUfmgqF/CtxYufD3 ptDzuzZlgqLWjHgjUuw59jtkNMMbjUTE2yjjCn8Ud4PIPQqIsBQUiH3f57SpJ02nZPmVn9G+ UT2AloH3JXsYh+Odxnn2gYW000LoHuhkC/+zjpukjhvoLDMuU6Gi+nkahcDPXZGAWd4ilK5a 4G/jt0yVUOpYk4kiVH2rVa/3KVdqKlleiPaSkZFVyH9LmwkX7b65d/gK4ZfrZgvtytQSuG1Z 1uXH6X8rxUt2CTmB2JCxTo/ellGo73BlgdhwCKYJXd39j/CfN1ogA3Y75raTOJQ2TwPQG95j yPWDx6yJYvh8dKRnpbF+uewMgDpHpRYcCTDxIiBuW22+CVmDAa+kPa6htD8WVhkl3ajiJ8xD mOR8F71ecHz2r6/MP57c0UgH1L658dgW+Qc2sMxiJwWxXkGl8CQ9HsDn330NIYT0qb/YXwRA D8Tlo6LplG9hws4dTTQm9GcND3V2MZqatikb3lD3ys865oPE6KI9PlemiAzpFOkrAXXaPw7n zEHyPJo5mRJ5oNB8Acr0CiZBagfWEdCOim53R2D7t2Wpa5WaSCibPLjnFo7ht2nALyY90tVU 3f0Up4pHCI249g1YzeumDXjr4rjftfXd9casBaZxgzBg+ZiI5U0jvMWhCBjNDG1rTg/xuU8l xArwYCisd3NNTB25KzgSE09VHW9d4YJ9zrql6obgsuGw9XlAMB6AjtSFJrwEaD4TnRL7auhb F3ISWF06XKLUfnWeG3XoARnty6dSsD2cSHOYiVflI0zA0PBbFpWhAReNNkjtrg+EA3ihMnoc UMjoysU+ka9sBxHjORhKxj4VG7b4gaucDY9DpaFflJQ6UlZ6kHZPNb7jKo7FjxE/pCnsA2GK 3CKLwVOA2YTX0WYBlfldrCw7NjE+uKcC6KwNfzLKbmJrOVfUb+Py/fNmsN++C2QM8yUInR4J /Y721BZQGw/F8LCmzQAS2ockCeMJ8+XqRGg+zFm+8Cy9PO4PWCnrYCLCrZULZBu40Xm3+Hab 7HW330/cGoLs/FEjWXFw7UewlMI3iRndj33VK8FqTaIVqXb3KleEx8cbSp3cspO9aM1mAdXa qu5wpv40KB1ivktBhJLT1vkz4ugbs0HC2i2NV6BCVvBZ9HkbXXbhtr6Z6+xU+galOJPqxi5o iqWCWfoPjWZjST1ERypKuFNgyHdNxtb8tLYEF4lGS3oS9TobQe+Odl8gGgtwLE6sXjNMHYVL Tl2d04lRly45iNZmO9iBypN6GFlLOaE3S2e6ruAQn75mfJgAykymv8IuRzSLpNc5yBJAvFoy nO6kw== IronPort-Data: A9a23:H6NfUqp2bTaGcUo8+GtgnXOSRypeBmJzYRIvgKrLsJaIsI4StFCzt garIBmBb62JYjSnco0ibd6+oE0FuMWBz9E2TAE9qChnESwQ9uPIVI+TRqvSF3PLf5ebFCqLz O1HN4KedJhsJpP4jk3wWlQ0hSAkjclkfpKlVaiZfHk3HVI5IMsYoUoLs/YjhYJ1isSODQqIu Nfjy+XSI1bNNwRcawr40Ird7kk21BjOkGlA5AJmPKgR5AW2e0Q9VfrzG4nhdxMUfaEPRoZWd 86bpJml82XQ+QsaC9/Nut7Tbk0QT7fOChOFg3xQVrLKqkAqSvsaj87XnNJFAatmo23hc+JZk L2hhrTsIesdBZAgrcxGO/Vu/46SCoUdkFPPCSDXXcV+VCQqeVO0qxllJBle0YH1Zo+bqIyBn BAVAGllU/yNuw656JCrae1cgcU9EPaoI7JDomha6yrUKt9zFPgvQ42SjTNZ9Dwwh9pUAOqYa 8wCaTtgbFLLZBgn1lU/WMx4xb/3wCKkNWQEwL6WjfJfD2z7xQdw3ZDkO9vYPNGXLSlQthzF+ DyYrz6kU3n2MvSd9AWX232VidWXjAbiCLIdHbyHp85l1Qj7Kms7UkdNDQTl/5FVkHWWUNtaL wkQ+zEyhbMj8VSiCNj7RRyx5nCe1jYXXMMVGOkn4imW26/M6kCYAHIFR3hPcrQbWNQeTjwrz EWUg5XlAydvsbKVD3ma8994sA9eJwA3PUwGVSgFUzc6oMbS/JkqtDTUQ/FKRfvdYsLOJd3m/ 9ydhAkC74j/YOYA16Sh503bxT6qvZjIQQ5z7QLSNo5E0u+bTNL0D2BLwQKBhRqlEGp/ZgPc1 JTjs5LBhN3i9bnXyESwrBwlRdlFHcppzwEwcXY1RcJ5qGrzk5JSVZtd+i9zPg9xNs8CMSSve gnX/2ts2XOnB1PzNfUfS9voW6wXIV3ITIWNugb8N4sWOsAZmc7u1H0GWHN8KEixzRl1yftnY 83znATFJS9yNJmLBQGeH481uYLHDAhnrY8KbcGmn0aUwvCFaWSLSLwIFlKLY6prpOmHuQjZu ZIXfceD1xwVAqW0bzj14LwjCwkADUE6IpTq9O1RVOqIeTR9FE8bVvT+/LIGeq5epZpzqNvmx H+HZxJn+ALNvkGfcQSuQVJ/WYzrRqd6/C4aPzRzHFOG2EoDQIeI7YUfRsEzeZ0iyrVCzOF1f dYBac6vEvRCcRWZ2jU/PL3Wjp1uSwSvvi2KZxGaWTkYe4VxYQ7j9vvPXBrdxANXAgWZ7cIB8 qCdjCXFSp89diFeJcfxasP36WiuvHIYydlAb2GRLvZ9IEzToZVXcQrvhfoKIuYJGxXJ5h2e8 y20WR44h+38k7UZwenzp5KvjtmWSrNlP09gAWPkw668NnDa8kqd0IZwaru0Ug6HZlzk2peJR Ltz9O79As0ljVwRkotbEpRX94wcyebrhYdnylVDIC2WQXWtUqhtM1uX7/lp76dt/IJUiSGye 0CI++RZB4m3BdPYIAYRCjYIPuWn/tMIqwbW9sUwcRnb5jco3b+pUndyHhiriQ5fJZRxIYgj/ 78FvfQL4Fa/kihwPcu31HFI1mWTL04vV7csmYEaDbTK1Csq6ABmSr7NBhDm5Kqgb413DXArB TuPlYzArbh47WjTQUoZTHTi87JUusUThUps0lQHGWWspvPEof0GhDtq7jU9S1Vu/CVtiu5cF DBiCBxoGP+o4TxtuclkWlKsESFnADmy2BT463kNpV3jY3iYbE7/B0xjBr/V52EcyXxWQRZD9 rLByGrFbyfjTPus4gQMA3xau97RZv0v0DbdmfKXPdWPRLg7RjvHvpWAR0Q1rznfPMdgo3Gf+ MdL+r5rZLzZJBwghfQxK7On2IQ6TDGGI21/Qs9dwp4ZIFGEeByP3WmhFkPgXOJMOP3AzmGgA eNMOM9kdkqzxQSOnB8hFI8OJL5Fo9gx1uFffr/QBHUntoGHpWFDq6Pg9SnZhU4qTe5xkM07F JjjSjKaHkGUhlpWg2XorvhbClGnYNIBWhLw7Nq1/MoNCZgHluNmKmM27ZeZoFSXN1FB0y+Pn QaeeZLT8fNu+b5sk6ToDK9HIQe+cvH3deaQ9TGMo8Z8VszOPejOpjEqhAHeZSoOBoQoWvNzi bipm/z01hmcvL8JDkboq6PYHKxNvciPTO5bN/zsF0ZjnAyAZdTN5iUS8GXpOL1Ll9JgvvOcf TWaU/fpV9ApWIZ6/kZ3OhhuS0NXT+y9a6r7viqyosidEhVXg0SNMNqj8mSvdm1BMDMBP5rlE ALvpvKy/ZZioZ9RAAMfTeRTa3OizIQPhYN9HzEwidWZMoVsqliCu6H4iAZm5TfQCniLEIDx5 petqt0SsvitkPmg8T2bm9UaUt4r4LJViOIxcwQQ5raaThikWXUeI7113YouU/lpf++b6H08T DjGbWZkBDiVsfGot/njyIyLYzpzzdDi9js0yvLFMq9Uh+qL6Fu8PYZc IronPort-HdrOrdr: A9a23:VSoc/6GvSxZIUO2rpLqE18eALOsnbusQ8zAXPiFKOHlom6mj/P xG88526faZslkssRIb9OxoWpPwIk80nKQdieMs1NyZPTUO1lHHEGgv1+vfKxiJIVybh4kts9 YYAtBD4P6ZNykBsS7AiDPIaOrJkLG8gcKVuds= X-Talos-CUID: 9a23:P0RFMWw5DAEI4Uk8VgtlBgU2CuMhQnrc0kvvYFCJVX5wcpuORHi5rfY= X-Talos-MUID: 9a23:d3QORwo3T8PSpEIQUGcezzNfC9VB7J2hMhgctIxWi8aNNBMhCzjI2Q== X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.21,197,1763420400"; d="scan'208,217";a="256668259" X-MGA-submission: =?us-ascii?q?MDGMvhWBIAt0BcRWI/BJp41BA6SzvwEAsnSpub?= =?us-ascii?q?93fvfPkxFWvxoiWd/fAMH9ID5vaQVfajNDNgSxiLFkGCE8OdDDd0NLaQ?= =?us-ascii?q?UlDIm+/IfkjyewXOlX4TrCCyef68jXcNKb+S+p5DGPUdA/LE4vVH2DLJ?= =?us-ascii?q?6VqZ6Fwp5CgXEJuaAyGpCy6A=3D=3D?= Received: from chirrut.dnshigh.com ([86.107.33.14]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 02 Jan 2026 17:54:06 +0100 Received: from localhost ([127.0.0.1]:55710 helo=chirrut.dnshigh.com) by chirrut.dnshigh.com with esmtpa (Exim 4.98.2) (envelope-from ) id 1vbiPd-0000000BbRg-1doc; Fri, 02 Jan 2026 17:54:05 +0100 MIME-Version: 1.0 Date: Fri, 02 Jan 2026 17:54:04 +0100 From: acie@acie.eu To: folli@folli.info User-Agent: Roundcube Webmail/1.6.11 Message-ID: X-Sender: acie@acie.eu Content-Type: multipart/alternative; boundary="=_d71c36a18d8919c19277ffdb63d7df30" X-AntiAbuse: This header was added to track abuse, please include it with any abuse report X-AntiAbuse: Primary Hostname - chirrut.dnshigh.com X-AntiAbuse: Original Domain - inria.fr X-AntiAbuse: Originator/Caller UID/GID - [47 12] / [47 12] X-AntiAbuse: Sender Address Domain - acie.eu X-Get-Message-Sender-Via: chirrut.dnshigh.com: authenticated_id: acie@acie.eu X-Authenticated-Sender: chirrut.dnshigh.com: acie@acie.eu Subject: [Caml-list] Computability in Europe CiE 2026: 2nd Call for Papers Reply-To: acie@acie.eu X-Loop: caml-list@inria.fr X-Sequence: 19421 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: --=_d71c36a18d8919c19277ffdb63d7df30 Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset=UTF-8; format=flowed Computability in Europe (CiE) is a conference series interfacing informatics and mathematics. For more information on this conference series, look here [1]. The 21st edition of CiE will take place at Trier University, July 27.-31., 2026. CiE 2026 will be chaired by Henning Fernau and Vasco Brattka (Munich). What to put into your calendar: * Abstract deadline: January 29th, 2026, submissions are possible via Easychair [2]. * Full Paper deadline: February 3rd, 2026. We expect submissions up to 15 pages in LNCS format, including "everything" apart from a possible appendix (read at the discretion of the PC); alternatively, include a link to an ArXiv version. * Notification: April 27th, 2026 * Deadline for final papers: May 4th, 2026 * Deadline for submission of informal presentations (not to appear in the proceedings): May 15th, 2026 * Notification on informal presentations: June 1st, 2026 CiE 2026 will be colocated with other conferences and workshops: * MCU 2026 [3]: Machines, Computability, Universality, * CCA 2026 [4]: Computability and Complexity in Analysis, * GSW 2026: [5] Grammar Systems Workshop Special Sessions of CiE 2026: (Organizers in parentheses) * Learning Theory Meets Computability Theory (Cameron Freer & Sandra Zilles) * Groups and Computability (Laura Ciobanu & André Nies) * At the Borderline of Universality (Erzsebet Csuhaj-Várju & Serghei Verlan) * Natural Computation and Bioinformatics (Karel Brinda & Giuditta Franco) * Quantum Computing and Information (Mika Hirvensalo) * HaPoC: History and Philosophy of Computation (Hajo Greif) Confirmed Invited Speakers (more names will be added soon): * Olivier Bournez (Paris, France) [Tutorial Speaker] * Georg Zetzsche (Kaiserslautern, Germany) [Tutorial Speaker] * Albert Atserias (Barcelona, Spain) * Johanna Franklin (Hempstead, NY, USA) * Mathieu Hoyrup (Nancy, France) * Luca San Mauro (Bari, Italy) * Francesca Zaffora Blando (Pittsburgh, USA) Program Committee of CiE 2026: * Nate Ackerman, Harvard University, USA * Verónica Becher, Universidad de Buenos Aires, Argentina * Paola Bonizzoni,Università di Milano-Bicocca, Italy * Olivier Bournez, Institut Polytechnique de Paris, Ècole Polytechnique, Palaiseau, France * Vasco Brattka (PC co-chair), Universität der Bundeswehr Munich, Germany * Rod Downey, Victoria University of Wellington, New Zealand * Damir D. Dzhafarov, University of Connecticut, USA * Henning Fernau (PC co-chair), Trier University, Germany * Gilda Ferreira, Universidade Aberta, Portugal * Lorenzo Galeotti (SC chair), University of Amsterdam, The Netherlands * Daniel Graça, University of Algarve, Portugal * Gabriel Istrate, University of Bucharest, Romania * Jarkko Kari, University of Turku, Finland * Lila Kari, University of Waterloo, Canada * Akitoshi Kawamura,Kyoto University, Japan * Takayuki Kihara, Nagoya University, Japan * Florin Manea, University of Göttingen, Germany * Alberto Marcone, Università di Udine, Italy * Elvira Mayordomo, Universidad de Zaragoza, Spain * Wolfgang Merkle, Universität Heidelberg, Germany * Cécilia Pradic, Swansea University, UK * Giuseppe Primero, University of Milan, Italy * Paul Shafer, University of Leeds, UK * Tomasz Steifer, Polish Academy of Sciences * Frank Stephan, National University of Singapore * Manlio Valenti, Swansea University, UK * Serghei Verlan, University Paris Est Créteil, LACL, France * Andreas Weiermann, Ghent University, Belgium * Tomoyuki Yamakami, Fukui University, Japan List of Topics of CiE 2026 (non-exclusive): * Algorithmic Information Theory * Algorithmic Learning Theory * Algorithmic Measure Theory * Algorithmic Randomness * Analog Computation Models * Automata Theory * Biocomputing * Category Theory * Complexity Theory * Complex Systems * Computability * Computable Analysis * Computational Biology * Decidability * Descriptive Set Theory * Formal Languages * History of Computing * Mathematical Logic * Natural Computing * Philosophy of Computation * Proof Theory * Quantum Computation * Recursion Theory * Reverse Mathematics Links: ------ [1] https://www.acie.eu/cie-conference-series/ [2] https://easychair.org/conferences?conf=cie2026 [3] http://www.mcu-2026.uni-trier.de [4] https://cca-net.de/cca2026/ [5] https://www.uni-trier.de/en/universitaet/fachbereiche-faecher/fachbereich-iv/faecher/informatikwissenschaften/professuren/theoretische-informatik/research/conferences-and-workshops/translate-to-englisch-grammar-systems-2026#c471021 --=_d71c36a18d8919c19277ffdb63d7df30 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=UTF-8

Computability in Europe (CiE) is a conference seri= es interfacing informatics and mathematics. For more information = on this conference series, look here. The 21st edition of&nbs= p;CiE will take place at Trier University, July 27.-31., 2026. CiE 202= 6 will be chaired by Henning Fernau and Vasco Brattka (Munich).

What to put into your calendar:

  • Abstract deadline: January 29th, 2026, submissions are possible via Easychair.
  • Full Paper deadline: February 3rd, 2026. We expect submissions up = to 15 pages in LNCS format, including “everything” apart from a= possible appendix (read at the discretion of the PC); alternatively, inclu= de a link to an ArXiv version.
  • Notification: April 27th, 2026
  • Deadline for final papers: May 4th, 2026
  • Deadline for submission of informal presentations (not to appear in the= proceedings): May 15th, 2026
  • Notification on informal presentations: June 1st, 2026

CiE 2026 will be colocated with other conferences and w= orkshops:

  • MCU 2026: Machines, Computability, Universality,
  • CCA 2026: Computability and Complexity in Analysis,=
  • GSW 2026: Grammar Systems Workshop

Special Sessions of CiE 2026: (Organizers in parenthese= s)

  • Learning Theory Meets Computability Theory (Cameron Freer & Sandra = Zilles)
  • Groups and Computability (Laura Ciobanu & André Nies)
  • At the Borderline of Universality (Erzsebet Csuhaj-Várju & S= erghei Verlan)
  • Natural Computation and Bioinformatics (Karel Brinda & Giuditta Fra= nco)
  • Quantum Computing and Information (Mika Hirvensalo)
  • HaPoC: History and Philosophy of Computation (Hajo Greif)

Confirmed Invited Speakers (more names will be added so= on):

  • Olivier Bournez (Paris, France) [Tutorial Speaker]
  • Georg Zetzsche (Kaiserslautern, Germany) [Tutorial Speaker]
  • Albert Atserias (Barcelona, Spain)
  • Johanna Franklin (Hempstead, NY, USA)
  • Mathieu Hoyrup (Nancy, France)
  • Luca San Mauro (Bari, Italy)
  • Francesca Zaffora Blando (Pittsburgh, USA)

Program Committee of CiE 2026:

  • Nate Ackerman, Harvard University, USA
  • Verónica Becher, Universidad de Buenos Aires, Argentina
  • Paola Bonizzoni,Università di Milano-Bicocca, Italy
  • Olivier Bournez, Institut Polytechnique de Paris, Ècole Polytech= nique, Palaiseau, France
  • Vasco Brattka (PC co-chair), Universität der Bundeswehr Munich, Ge= rmany
  • Rod Downey, Victoria University of Wellington, New Zealand
  • Damir D. Dzhafarov, University of Connecticut, USA
  • Henning Fernau (PC co-chair), Trier University, Germany
  • Gilda Ferreira, Universidade Aberta, Portugal
  • Lorenzo Galeotti (SC chair), University of Amsterdam, The Netherlands
  • Daniel Graça, University of Algarve, Portugal
  • Gabriel Istrate, University of Bucharest, Romania
  • Jarkko Kari, University of Turku, Finland
  • Lila Kari, University of Waterloo, Canada
  • Akitoshi Kawamura,Kyoto University, Japan
  • Takayuki Kihara, Nagoya University, Japan
  • Florin Manea, University of Göttingen, Germany
  • Alberto Marcone, Università di Udine, Italy
  • Elvira Mayordomo, Universidad de Zaragoza, Spain
  • Wolfgang Merkle, Universität Heidelberg, Germany
  • Cécilia Pradic, Swansea University, UK
  • Giuseppe Primero, University of Milan, Italy
  • Paul Shafer, University of Leeds, UK
  • Tomasz Steifer, Polish Academy of Sciences
  • Frank Stephan, National University of Singapore
  • Manlio Valenti, Swansea University, UK
  • Serghei Verlan, University Paris Est Créteil, LACL, France
  • Andreas Weiermann, Ghent University, Belgium
  • Tomoyuki Yamakami, Fukui University, Japan

List of Topics of CiE 2026 (non-exclusive):

  • Algorithmic Information Theory
  • Algorithmic Learning Theory
  • Algorithmic Measure Theory
  • Algorithmic Randomness
  • Analog Computation Models
  • Automata Theory
  • Biocomputing
  • Category Theory
  • Complexity Theory
  • Complex Systems
  • Computability
  • Computable Analysis
  • Computational Biology
  • Decidability
  • Descriptive Set Theory
  • Formal Languages
  • History of Computing
  • Mathematical Logic
  • Natural Computing
  • Philosophy of Computation
  • Proof Theory
  • Quantum Computation
  • Recursion Theory
  • Reverse Mathematics
--=_d71c36a18d8919c19277ffdb63d7df30--