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=XGC/OFbE; 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 9BCB6400A5 for ; Mon, 26 Jan 2026 06:08:33 +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=vjPLfPN8m45nvHDE00mJegcFESEuaJv5sq05XvcDmXI=; b=XGC/OFbEbGzr9INrvWMzHW//50xOs9yWruEDDIxf9kS2luLNLrL74c/8 DKW1HFtOXtKpRmJ/12yHzS9u7WDT2LlMM/Z4muvZvMkfd4VIVNgkidUf1 RcvPYas2waLZyb2ijko1/PBpyb4njDg9e9aC7pbtnDIWQ172QMDOUwuMJ I=; X-CSE-ConnectionGUID: k38YZUExTvWQVLCpVjIRGA== X-CSE-MsgGUID: qhfcuC1MSPiuASSt7aiUZQ== 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,254,1763420400"; d="scan'208,217";a="260249116" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 26 Jan 2026 07:08:33 +0100 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 1526B80E26; Mon, 26 Jan 2026 07:08:33 +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 D8A75805FA; Mon, 26 Jan 2026 07:08:23 +0100 (CET) X-CSE-ConnectionGUID: SHEDdMY0T1GmLsQHh26WKg== X-CSE-MsgGUID: t+2LZvEYSVesxvsWBDWoOQ== IronPort-SDR: 697704d7_LYjlycre8hs5fGYRq6V1Gfyg3JlhVjYyoKCarZxBIp8nHLy I+Jt3DSzQBkGcqQXCWvsxShmFsEFXh4qANDMhlw== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0FRAgBVBHdpdw4ha1ZaglmBPYEEgQdeNAQLSYRYgRiCN?= =?us-ascii?q?4UshleCIpdGhQKBVYFAFhIVAg8BAwENOBYBAgQBAQMBA4Q6Ro0PAh4HAQQwC?= =?us-ascii?q?Q4BAgQBAQEBAwIDAQEBAQEBAQEBDQEBBQEBAQIBAQIEBgECEAFDSYZPDYJbO?= =?us-ascii?q?3FjCDoBAQEBAQEBAQEBAQEBAQEBAQEBAQEBARMCDQctKkMGHQEBJAIFDRNJA?= =?us-ascii?q?l4BGoJ7gilKBwEMrxyBMoEBggwBAQaBCNs5gVAJGIE1iFMBKoE0AQKDfhA7c?= =?us-ascii?q?4Ebgi8nG4INgRWDaIJhAQMYgXODLoJpgiZ6FB2Bb5F/LIEYIgMmMywBD0YTF?= =?us-ascii?q?wsHBYFmAyovLW4yHYEjPhcyWBsHBWWJAA+JG4FrNAMLB2Y9NxQbBAIBgTWOD?= =?us-ascii?q?0IZRIJOgRoBUE0lD8ddkESVQgcLHBeEBIcXjEM7klKZBhsHjWeVd4UQMTaBM?= =?us-ascii?q?jqBSQwHc02CZwlGAxkPV5F9ToQSvjMCRTICOgIHAQoBAQMJAYI5gwwBAYxWg?= =?us-ascii?q?UsBAQ?= IronPort-PHdr: A9a23:qRTNmBGkzG/tB22umc8i551GfxhGhN3EVzX9CrIZgr5DOp6u447ld BSGo6k20BmRBc6CtqwU2qL/iOPJZy8p2d65qncMcZhBBVcuqP49uEgNJvDAImDAaMDQUiohA c5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aFRrwLxd6KfroEYDOkcu3y/qy+5rOaAlUmTaxe7x/I Ru5oAnLqsUanYRuJrsxxxbIoXZFf/ldyH91K16Ugxvz6cC88YJ5/S9Nofwh7clAUav7f6Q8U 7NVCSktPn426sP2qxTNVBOD6HQEXGoZixZFHQfL4gziUpj+riX1uOx92DKHPcLtVrA7RS6i7 6ZwRxD2jioMKiM0/3vWisx0i6JbvQ6hqhliyIPafI2ZKPxzdb7bcNgHR2ROQ9xRWjRODY2yb 4UBEfcPMuhboYjyu1QDtgGxCRWuBO711jNFnH370Ksn2OohCwHG2wkgEsoUv3vIrdX6KrwfX vqpw6nJ0zrPde1Z2Sr75YPVfR8vveuCUqhsccrN10YvDQXFg02fpIH7MD6Y0uQAvnWU4ed8S O+ihHMrpx11rzWx28shlovEi4EJxl7E+ih0w4Y7KcG2RkB0YNOpE5teuzyeOodqRM4pXm9mu CE/yrIcuJ67ejAHx447yB7edfOLaZaH4g/7WOmPOzh4n3Jkd66/hxmo8Eig0PfwVs6u0FZFt iZFj9/MtnEU2xzP8MiHS+Vy/l271TmSyQ/f8v1LLlwumqbCLZ4u3KIwmoAOvkvdGCL9hUb4j LeOe0gn++Wk8fnrbqnkq5OGOYJ5hBvyPrkhl8G5HO82KBIBX3KB9uS5zLDj/VP2QLFNjvAuj qbZsJHaJd4Bpq6kHw9ZyJss6xCkDzem0dQYknkHIEhZdxKAiojlI1DOIPbmAvejm1mhkzZmy +rbMrH9AJjBNHbOnbn7cbpg5ENQ0A8zwspe55JQBLEBOvXzWkrpudPCEhA5MhK7zv39B9ph1 4MRR3iDDbGEMK/Kq1+H+vovI/WQZI8SoDvyN+Iq5/vqjXMgnV8dfLKp3YcMZXCjHvVmJl2Zb mD2jtcAF2cKpAs+Q/bwhF2MSz5ff2yyUL4k5jEnFIKmCp/OSZyqgLyYxSu0AplWZn1dBV2XC nfpd4CEW+8WZy6II89hlCYEVbm7RIM72xGurhf2y7x8IeXM4C0XqYrj1MRp5+3UjRw+6yR4D 8uD3GGKTG96hHsFSTwo0qxnu0xy1EmD36tijfFACdNT5/JJUh0gNZ7B0+x2Ec39WgTafteJS VamTdWmDSstQdI2xt8Ce1tyG9ajjhDGxyekG7AbmLKVCpIo7q/S2WD9KNt4y3nczqkuk0ErT NNWO2O+iaBz7xPTB5bHk0iBjainabkS0jPV+GeY1WqOsllXUA5uXqXBWnASflPYo83h6E3NH PeSDuEbIxNM0obWNrpSZ8bBiVRdWOylM9TXZ2e8gXz2HhvegvuCa47uei1J0iLZDEksnQcX+ XfANA4wAXHyjXjZCWlnHlPiS0rn8OQ4pW7oHQcP0wiWYhg5hPKO8RkPiKnEIxty9rcNuSN77 i5xAE74xdXdTdyJuwtmeqxYJ9I7+lZOk2zD5ERmJpL1CadkixYFdhhv+Vv03kB+AYRNucEhr X5swRchYbmA3gZ5fiiDlYv1JqWRL2Dz+B61bKuD01rf3f6f8aYCrvkl+B34pA/8ME0k/j181 sVNlXuR4pKfFA0JTZf4SVo67TBxp7DAeDQhoY/Szn1tPqnyuTjHsz4wLM0izBvoP9JWMafeU RT3D9VfHc+lbuojh1muaBsAeuFU7q89ec28JbOA3+awMeBskSjD7ywP6Z1h0k+K6yt3S/LZl 5cDzfaC2wKbVjD6xF6/u8HzkIpAaHkcBG26gSTjAYdQYOV1c+NpQS+nKMy67tx1hpOrVmMZv F+vClUa2dO4LAKIZg+11glR2EIL5H2/zHvmiWUszHdy9ezGgH+roayqbhcMN29VSXM3iF7tJ dLxlNUGRA2yaANvkhK55EH8zqwdpaJlLmCVT10bGkq+Z2xkTKa0saKPJsBV75Z9+yxcUemUa FubR/jwvlFJmzOmBGZYyD0hInujsZT0txVxiW/bIWs5/x+7MYlggBzY4tLbX/tY2DELETJ5h TfgDV+5J9C1/N+Qmv8vq8iGXnm6Ht1WeCjvl8absTejoHdtClu5luyyndvuFU471zX63p9kT 3eAoBH5a4jtn6O0VIAvNkBjBVLU4sF7F8dzj8M8iYoR1n4TmpiOtSpZ1z6rbpMAguSnMDIEX nYTzsTQ4RT51UErNX+Py4/jFxD/ioNga9S8fmIKy3c45sFOBr2T6e8Mli90r1yk6APJNKgj2 G5Flr11szhD37Js2kJl1CiWD7EMEFMNOCXtk07N9NWitOBNY23pd7Gs1U14lNTnDbeYowgaV myqH/VqVSJ28Mh7N0rBlXPp7YSxMtDbbN87vxaVnlHNkqIGYIJ0jfcMiSd9bCj0tnwo4+cwj BEo0Izw7+3lYy19uam+BBBfLDj8YcgeryrsgahplcGTx4mzH59lF2ZDTN7yQPmvCj5XqeX/O lPEDmgnsnnCU+m6f0fX+AJ8onnICZzuK3yHOCxT04B5XBfEbE1H3FJEAnNjxsF/TVvsnZCpM 0JprnMYgzyw4lhN0r46bkmiFDeG4lvuM29lD8LDZAxf6gUIj6vMGeqZ6O87XyRR/5n76ReIN nTefQNDS2cARk2DAVnneLio/9jJteaCVKK4KLPVbLOCpPY7Nb/AzI+z0oZg4zeHN9mednhkA foh30NfXHd/U83HkjQLQiYTmmrDdcme7Bu7/yR2qIi4/pGJEEr34pCTDrJJLdh10xu2gL2ZK vLWiCBiKTdX1tUHwnqJgLkT0VgOij1/IjmgFbNT0EyFBKnUm6JRE1sac3Yjao0Rt/16hVILY JKI77G9nqR1hfM0FVpfAFnom8XzINcPP3n4LlTMQkCCKLWBIzTPhcDxe6K1D7NK34A2/1W9v yiWF0j7M3GNjT7sAlqmOuBBpCiQPREYtZz3IXMPQSDzCcnrbBG2Koo9lTot3bg9nW/HL0YXM TlmaV5R6LGW9iNZjfU5EGtEpCkAT6HMi2OS6O/WLYwTuP1gD3Fvlu5U1389zqNc8CBOQPEdc MT6p9Vvrherj7vWotKGeBFOqyxRmZ7NsUN5OaTW9t9LXnOWpHrlCE2ZABUH4dZ4WIWHhg== IronPort-Data: A9a23:vBJKrKNxWHiumKXvrR3Pk8FynXyQoLVcMsEvi/4bfWQNrUpx1TRVn TEXUTuCbvmOZGr1e4t3bI2x8UMC6MDWz4Q1HHM5pCpnJ55ogZqcVI7Bdi8cHAvLc5adFBo/h yk6QoOdRCzhZiaE/n9BCpC48D8hk/jOHuehYAL9EngZbRd+Tys8gg5Ulec8g4p56fC0GArlV ena+qUzA3f7nWQtWo4ow/jb8k035a6s4GpwUmEWPJingneOzxH5M7pEfcldH1OgKqFIE+izQ fr0zb3R1gvx4xc3B9q5pa3we0sMT6S6FVDmZq1+BsBOKjAbzsAD+v5T2Mg0MS+7uB3V9zxF8 +ihgLTrIesf0gIgr8xGO/VQO3kW0aSrY9YrK1Dn2SCY5xWun3cBX5yCpaz5VGEV0r8fPI1Ay RAXAAstQzyPotPu/OuUT813v+QjdpfUH4xK7xmMzRmBZRonaZvDQr/Q+MMe0DErhsFBHbDVY M9xhThHPEqGOkUQfAxMTsti9AurriGXnzlwoVmUqII+6GneigFsuFToGICLIobWFJ0Pwi50o EravD7dMA83BeehxCGV7GmTrMPwmgTCDdd6+LqQrKQx2ALNmAT/EiY+XlK+pby9i1Wic8lOL lQdvCsot6k7skKxJvH2WAT9q3qZtDYHSt9IGqs77huMw+za+W6k6nMsRT5AcsY7qIk6Qycq1 1CJ2djuAFSDrYF5V1qm1pq4oRaDYRRMAmomfhYkTVFb3Prs9dRbYg30cjp1LEKipvzJcQwcL hiBrCkknagPy8INzKW68lCBiDWpznQocuLXzliMNo5GxlkjDGJAW2BOwQKEhRqnBN3AJmRtR FBex6CjABkmVPlhbhBhv9nh7Jnzva3db2OC6bKeN4Is7Sqg4Ta7eYlWqCo4PgFtdK45RNMdW 2eK4Vk5zMYKbBOXgVpfOtPZ5zIClPm4TYyNuzG9RoYmX6WdgyfbpnAyOhDJhz+z+KXu+IlmU aqmnQ+XJS5yIcxaIPCeHo/xCJd6m3Bs9nCZXp3h0RWs3JyXYXPfG/9PM0KDYqp9pOmIqRncu YQXfcab6QRtYMunaAnu8KkXMQ8rK1o/DsvIsMB5TLOIDTdnP2ADMMXv540dVbZrpZkIqdeQz EqBAhdZ7HHdmUz4LR67byE/SbH3Ard6g3EJHQ0tGleK20l5ZYKL6ZlGVpoofIsI8P5o4u50Q sIkJeSBIKVrYRbW9wsNaaLSqNRZSy2qogaVLgynSjQbVLxxdTzjo9PLUFPmy3gTM3CRq8A7n YyF6iraZpgyHyJZE8fcbaOU/WOb5HQytrp7YBrVH4N1Zk7pzYlNLh7xhN8RJ+UnC03K5hme5 jasLSYon8v/iK5rz4CRnoGBlZmjLMVmFEkDH2X706e/BROHwkWdm71/QMS6VhGDcljr+ZeSR /RflND9F/wloGxkkaRBF5RT8KZvwOe3+pF7yFx/EWTpfmabLOpqAkO70PllsoxPwb5kujWKZ H+fx+kCOZu1FZPkNHUzODsaav+y0KBIuzvKstUwDkbIxA5227ulU0x9OwiHjhIFCL5PLYh/w f8T4sEL2lbuljsrLde0oSRG/EucLnE7cvsGt7NLJKTJmwYU2lV5TpiEMRDP4baLcMRqMGMmB hS2lZjyre1Q6WSaekViCEWX+/RWgKo/nSxjzXgAFgyvocXEjPpm5y9h2207YSoNxyoWzt8pH HZgMnB0AqC8/z1IosxndEL0EiFjACypwGDA+2Erpkb4EXbxDnfsKVcjM9mj5EoaqmJQXgZK9 YGilVrKb2zYQ9HT7AATB2hetP3Rff5g/FbjmeemPfi/MbsUXD7HupKqNE0080bJIMVpn0DWh /hYzMApY43BCCMgiakaCY6b6LcudC65NFFyGfFMwadYMlzfKReT2CePIX+fYsliBeLH2m7mB t1MJvBgbQWf1iGPnw89HZw3frt4p98yxd84YriwD3U3g7ieiTtIsZzr6Sn1glEwcehuicoQL oDwdSqIN26hmktvhG7GqfdbNlqCYdUrYBP22Ma3+r4rE60vnf5Nc0Zo9JeJpFSQbRVa+iyLs DP5Z6P5y/JozaJuldDOFoRBHwCFFsPhZt+X8Qycs8V8Uv2XCJ3g7zgqk1jAOxhaGZAzWN4tz LSEj4PR7XP/5b0zVzjUpomFG6x3/v6NZetwMP/sDXxkjCCHCd7N4RwCxjiCEqZ3suhhv+upe wjpT/GLV48la48IjjkdIS1TCA0UBKnLf7/t73H15eiFDh8GlxfLNpW7/HvudntWbTIMJ4a4M ALvpvKy/ZpNmeyg3vPf6y1OWPeU4WMPWJfKs/X6tTiCFHS0xF+Eobvjmhpm4jbOYpVB/AAW/ rqdLiUStjzr0E0L8D2dm4V5vxBRAWsVbSwYYBcG49Av49ylJDduEAneWKnqzrldmS3/kpzlD N0IgK3OFg2lNQl5nd7ADBgPk+tR6iHi+js0G9Dxw36pVg== IronPort-HdrOrdr: A9a23:3zSfb60oZ013DHHGhIjbBgqjBI0kLtp133Aq2lEZdPU1SL38qy nKpp8mPHDP5Ar5NEtOpTniAsS9qBHnhP1ICOAqVN/JYOCMggqVxe9Zg7cKjweBJ8XantQtsd YGAs4OcayJMbBY5fyKmjVRKL4bsaK6GPDBv5a980tQ X-Talos-CUID: =?us-ascii?q?9a23=3Aohqv92manWQrn1BOLoFY54viBGfXOUb94VvcBn7?= =?us-ascii?q?gNT9GTZmOcH+Qov1bsMU7zg=3D=3D?= X-Talos-MUID: 9a23:0MVmEQZnfUK5eOBTq3y2oAN8GfZT3am1GF4Wrr8qhM6jDHkl X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.21,254,1763420400"; d="scan'208,217";a="260249024" X-MGA-submission: =?us-ascii?q?MDH2efCuj8cIi5CCBO38WLGYQR6EpY7YDYMV33?= =?us-ascii?q?9As4neqqU+Ynl9xtZcnuFzk/aFMZb0aabDUybQNBeOIwxnzbgsoehcjT?= =?us-ascii?q?aWc3K/OKjGBoG5X3IG3AeAfCUUjmkePsxxmU9h0zhr6dRj3HCPXVADg+?= =?us-ascii?q?tGjB6u5yd6IbD77SjZXhlnmw=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; 26 Jan 2026 07:08:22 +0100 Received: from localhost ([127.0.0.1]:43958 helo=chirrut.dnshigh.com) by chirrut.dnshigh.com with esmtpa (Exim 4.99.1) (envelope-from ) id 1vkFlt-00000006sbV-1qUn; Mon, 26 Jan 2026 07:08:21 +0100 MIME-Version: 1.0 Date: Mon, 26 Jan 2026 07:08:20 +0100 From: acie@acie.eu To: Types , folli User-Agent: Roundcube Webmail/1.6.12 Message-ID: <8ae24766e00da31424c0511558331cec@acie.eu> X-Sender: acie@acie.eu Content-Type: multipart/alternative; boundary="=_6d108d8de10c09b0e9eb06506e736cc6" 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 =?UTF-8?Q?Europe=C2=A0=28CiE=29?= 2026: Last Call for Papers Reply-To: acie@acie.eu X-Loop: caml-list@inria.fr X-Sequence: 19437 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: --=_6d108d8de10c09b0e9eb06506e736cc6 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 --=_6d108d8de10c09b0e9eb06506e736cc6 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 20= 26: 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
--=_6d108d8de10c09b0e9eb06506e736cc6--