From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTP id B1B995D5 for ; Wed, 27 Apr 2022 09:11:43 +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=ly35JOJaypkqr4kDWrQD2h3G8biIYXYMBk7t7R3X4uk=; b=Kt79Z0511qkHTQTJe3z0nqBIrHFgFIrp/Wbrw6orzlYQ8aNhu6+Nyg7d pTtHoaEll7yLHPOWzHQmBsVrQf0D9f+ljvAcMScMR2RRG4if8zW6/056x 1a9d5yMO9lktLpBOTAsS2TXOJWkeVpSxU4+yIOSWvoLwrBItrGqjZ4DMP w=; Received-SPF: SoftFail (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr is inclined to not designate 128.93.162.160 as permitted sender) identity=mailfrom; client-ip=128.93.162.160; 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:192.134.164.0/24 mx ~all" Received-SPF: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@sympa.inria.fr) identity=helo; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@sympa.inria.fr"; x-conformance=spf_only Authentication-Results: mail2-relais-roc.national.inria.fr; spf=SoftFail smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@sympa.inria.fr; dkim=hardfail (signature did not verify [final]) header.i=@acie.eu X-IronPort-AV: E=Sophos;i="5.90,292,1643670000"; d="scan'208,217";a="33509688" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 27 Apr 2022 11:11:41 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 6AB15E02D4; Wed, 27 Apr 2022 11:11:41 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id E0B16E0079; Wed, 27 Apr 2022 11:11:37 +0200 (CEST) IronPort-SDR: VzgL8ZvFJ4lTiVZQK1guYWdn0x8SV5UHaJWL+nyrkzJX30/LUq2+KqHLTAzBqj59XehO3GLNbD yI2PbY4xWy47tGVri1c+//e06tBUqBECvw/7fMGNlBXAB6hESAzd1Rk7ZpA/U6AAxcH1IITqnE kbo0VHX2rOSK7Gj4LTxMBcy8fW3ybAz65LC7G7D1+TptJtVU0uYsT1n/4mn/ih3+oeD5V+JQnX v8OJzawGe6qgeXhRxGIjnj8m+XYCHTiW6Ap7kRej+dDbxPQV1yOvmrS2Tl4K8pBjXS2cY1KH7b 9bZT+NBynelBRMZjhb5DisU8 X-IPAS-Result: =?us-ascii?q?A0DzBQD8B2likG0EUblagQmBV4EfgQZ+VAEtBAtDhFSJB?= =?us-ascii?q?YVrgiaIQoJVixKGRoF7CwEDAQ05BgECBAEBihoCHQYGNgQNAQIEAQEBAQMCA?= =?us-ascii?q?wEBAQEBAQMBAQUBAQECAQECBAQBEwEBAQEBARYJDREQDgVBZFiBT4IEBgMBM?= =?us-ascii?q?A2CNSKEDwYdAQEHHxITCz4CIzwTCIJ9AYJlAzUBCqxwAoExgQGCCAEBBoUVD?= =?us-ascii?q?X2BRgmBPoYSgSUBg2uBBIJWHIINgRWDaIIhKxcBhTeCZZ0sZCyBAg4yHSVzn?= =?us-ascii?q?yuCJZ4ca45tjm6FagcLHhWDdIw5hieRf5ZgilGCUINVlXUwgXsLFYFbc4M2C?= =?us-ascii?q?UUBAgECAQwBAgIBAgECAQEBCQEBAQFUjWKDWYEBhBOCZoJmPwMxOwIGCwEBA?= =?us-ascii?q?wmFRwEBh2cBAQ?= IronPort-PHdr: A9a23:yO75pRFGhrc0RQdVDibHPJ1Gf1VHhN3EVzX9CrIZgr5DOp6u447ld BSGo6k31xmQAM6DuroE07OQ7/q6HzRYoN6oizMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB 89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVrO+/7BpDdj9it1+C15pbffxhEiCCybL9sI hi6txjdu8kZjYd+Lqs61x/FrmdVd+hMym5kO0yfkwzg6sus+ZJo7jhdte8m+8NcS6vxYr42T aZfDDQoMmA14NPkuBzeRgaR5XUST3sbnANQDwfK8B/1UJHxsjDntuVmwymVIdf2TbEvVju86 apgVQLlhz0GNz4992HXl9BwgadGqx+vuxBz34jZa5yTOfFjfK3SYMkaSHJOUchfVyJPHJ6yY IUMAesOIelVtJPyq0cMrRakGQWhHuHixzlVjXH2x6061OEhHBnc0wM8HtIBrm/Zo8/pO6cTT ++51rfHzSjFYvhL1jjz9JLGfQo9ofGQQ71wa8zRxFEyGw3KjludpozoMy2W2+gTrWSW7uttW OyhhWMnqgx9vzaiyMkuh4TUm44Y11DK+Cp4zYs7O9G2Rk51bN+mHZVfsSyRKoV4QsQnQ25yu SY6zKULuYW1fScQzpQn3ADQZOadf4eS/h3vTvuRITRgiH17Yr2/nBaz/lSgyuLmV8m0ykxGr i1fktnDrnwNzATT6tKGSvt78UeuxyyP2xrP5eFDJEA5k7fQJZ05wrMoi5YeskTOEjX1lUnrl qObeV8o9vW05+njZLjtu4WSOJVuig7kN6Qjgsy/Dvo8MggJR2WU4+K81KH98kLjWrlFk/s2k rLZsJDbKsQbprS1DBNS0oYm8xq/DjGm38oEnXQfMV5IexKKg5LqNl3TOvz1Au2zj0mwnDpv3 /zGO6fuApTJLnjNirfherN95lZGxwUvzNBQ+YlZBasdL/LyRED9rsLXDgIhPwyy2OnoEM992 Z8GWWKTHq+ZN7vfvUGQ6uI1P+aMfJMVuCr6K/U9+/Hhl3o5mVsEcamt3JsXc2y4E+99I0SZZ Hrsms0OHX0Lvgo4VuzqiUeNXSRdZ3aoR648/C00CJq6DYffQYCgmKCO3CCiHpFPem9GDk2MH mzzeoWfW/YMbTqSLdV7njwFU7ihUY4h2gu0uA/00bo0ZtbTryMfsZbinIx74OnXlDk88jhwD oKc1W+KGTJahGQNEjY93a1XqEd8xxGOzPsry8dEHMBesqsaGjwxMoTRmrQS47HaXwvAeo3MU 1O6WpC8Bjp3SNstwtgIakI7GtO4jxmF0TD5S6QNmemtA5o5urnZw2C3P9x0nn/N1aQJhlInT 41CKD7unbZxoi7UAYOBiECFj+CvfKUY0jTK8TKKxmuDlEhTUQM2XLiWFWsHaB7wqtL0rljHU 6foCbkjNV5ZztWeL6JRdtDzpVxAWPrqftjYeGKwlGf2DhGNrl+VRKztfWhVnCDUCUxe1hsW4 W7DLw81QCGov2PZCjVqU1PpeULlt+dk+ju9SQcvwgeGYlcEtfL98wMJhfGaV/IY364V8CYnp TJuGV+h3tXQQ9Oergtlda9YbJsz+lBCnW7esgV8ONSnIcUAzhYXeAV6l0rl1hgxB5gB2ckmo XU2zRZjfLqC2QAJfDeZ0Jbsf7zPfzCioVb/MuiKnAiGgYXzmO9H8vkzplT9sRv8E0Mj9y8iy NxJyz6G4Z6MCgMOUJX3W0Jx9h5gpricbDNuguGcnXBqL6SwtSfPntwzA+5wgB+rftp3OaiFG Un/DodJT9jrM+Esl1WzO1gNN+Ff3Kc/Ps7geubMi8vJdK5w2Tmhi2pA+oV01EmBojF9RuD/1 JEA2/iE3wGDWl8QlX+Htcb60cBBbDAWRC+kzDT8QZRWbet0dJoKDmGnJ4u2wM9/jtjjQSwQ8 lnrHF4A1MKzHHjaJ1XgwQ1d01gWqn27iGO5yTJziTQgsquY2mTH3e3jcBMNPmMDSnNliB/gJ o29jtZSW0bNDUBhnRCk6G7zzKlW4qlibiHSTUpOYynqPjRnW6q0uKCFZp0H45cpvCNLFeWkN AnKF/it+l1GlXq7Tjg7pnhzbTyht5TnkgYvjWucKCw2t3/FYYRqwhyZ4tXARPlX1z5ARS9ii DCRCELvWrvhtdiSiZrHtfizEmy7UZgGOyDgzI6ovSC66CtnHFfs1+D2gdDhHQUghGXy3Nhnf SzDrRu6b5ShhMHYeap3O0JvAlH78c9zHIpzx5AxiJ8n0n8fnpyJ/HADnA8fKP193qTzJDoIT D8PmZvO5RT9nVdkJTSPzp74UXOUxo1gYcO7ayUYwHB16ccCE6qS4LFe+Ek96lOlsQLcZ+R8l TYB2LMv7nAdmeQApAsqyG2UHLkTGUBSOSGkmQ6P6piyq6BeZWDndrbVtgI2hde6ELSLuR1RQ l7wfIsvFGl86N5/MV3Mlnb078CsedXda84SqgzBkxrEiLswStp5nf4LiCx7fGPl6CR1lqhr1 Foym8ji7dviSS0l5q+yDx9GOyegYsoS/muolqNChoOM2IvpGJx9GzINVZ+uTPSyETtUu+60U mTGWDA6tHqfHqLSWAGF70Iz5XvEEp2DPnqWKT8U0J8xIXvVbFwamw0SUDggy9QhERu2wcX6b EpjzjkX+lPx7BdK0eJpOBm5WWDa7lTNCH98WN2UKxxY6RtH7kHePJmF7+59KCpf+4WosA2HL mHzj+VgBGcVV0XCC1b4Prih5Z/L9O3KXoJWwNPHarSD7+FDBa/gLXeH24Bn8nCBK5fXVkQ= IronPort-Data: A9a23:sAAizKmsYlSSjqRrpBtrHo7o5gywIERdPkR7XQ2eYbSJt1+Wr1Gzt xJKW22FPf/cNGD3L9B1O42/ph9X7ZWBydQ3HQQ6rSgxEFtH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRGvykTrSs1hlZHWeIcg944f5Ys7N/09YAbeSRWVvX4 4uu+ZOHYzdJ5hYtWo4qw/LbwP9QlK+q0N8olgRWiSdj4TcyP1FMZH4uDfnZw0nQGuG4LcbmL wr394xVy0uCl/sb5nxJpZ6gGqECaua60QFjERO6UYD66vRJjnRaPqrWqJPwZG8P4whlkeydx /1QlZLzcxgAE5TiwrkGbUZZL3t4M4hvreqvzXiX6aR/zmXPdWfhyrNiClo2PIIYvO1wBAmi9 9RBeG1LPknF26TvmOPTpupE3qzPKOHiN4ISknhrzDyfAOtOrZXrGP6XvY4Gh2tYasZmRPDiQ 5oiTStVSE6YPhF+Ak8tUs8EtbL97pX4W2cC8wrK+/RfD3Lo5Ad41byoNNvOZvSRVMBNlwCZo HjH9iL3GHkyP9uGjDGB73iEnf7KhSq9WYQIFbT++OQCvbGI7mUVFBAfE1e9uvm4hU74UNVaQ 6AJxsYwhbUS+g+RUfDQZjPi/WW64R8gAdxeNsRvvWlh1ZHoywqeA2EFSBtIZ9onqNI6SFQWO rmhwo+B6dtH7eD9dJ6NyluHhW/raXlNdgfucQddF1ZcuYSLTJQb1Eqnczp1LEKipvzJcd0a6 wqNqSVWa1471ZZSivjTEbzvpzu+p5+hc+LYzgzRQm+sqA9/f46kaIzu4l/ehRqhEGp7ZgTQ1 JTns5LHhAzrMX1rvHDUKAnqNOr3j8tpyBWG3TZS82AJrlxBAUKLc4FK+y1ZL0x0KMsCcjKBS BaN5FsAv8YDYiXwN/4fj2eN5yICkPSI+TPNC668UzaySsMZmPKvpX4yPRD4M57FyRJ0zMnTx qt3ge72Vy1CVvo5pNZHb/wQy6Em3GgmwWrVDYu91VKjl9KjiI29F9843K+1Rrlhtsus+VyFm /4CaZfi40gBAYXWP3iMmaZNdgpiBSZgWvjLRzl/KrLrzvxOQzl5U5c8ANoJJ+RYokiivrqWr izlBh8EmTISRxTvcG23V5yqU5u3Nb4XkJ7xFXVE0Y+A1ydxbICxwr0YcpdrL7Ar+PY8n/d/T vRDdtjZWqZDTTHO+jI8a5jhrdU/KEv11VnUZ3KoMGolYpptZw3V4du4LAHhwzYDU3isvswkr rz+ig6CGcgfRx5vBdr9Ye60yw/jpmAUne9/BhOaItRadEj23pJtLij90q0+L80WdkfKzTqXk QuLWE9Kqe7Iqo4z0d/ImaHd8tv2TbslRBICEjCCv7isNCTc8m6y+qN6Ub6FLWLHSWf52KS+f uEJnfvyB+IKwQRRuI1mHrc1ka9nv4nzp6VXxxhPFWnQawj5EatpJ3SL0JUdtqBJwbMF6wK6V ljWpYtTP6mEMYXpFkURJQUlKO+E0KhMyDXV6P00JmT85TN2peDeCxoMZUHX2CENfqFoNI4Fw Ps6vJ9E4gOyvRMmL9Kag30G7G+LNHEBD/0qu81IGoPtkQZ3mFhObYaFVX3/5o2CYpNANFIqI zCUwqHFgu0ElEbFdnMyE1nL3PZc3M5X4k8UlgdZd1nZyMDYgvIX3QFK9WVlRwtY+RxLzuZvN zU5LEZyP6iPo29licUrs7pAwO2d6Ml1O3AdymflUEXQSVWlXyrBKnY9OOmNukse9gqwu9SdE K6wkA7YvfTCJakdHRfenWZsoP3uC9FsnuEHdAZLAOzdd6TXolPZbmuGbGEJpl3qHKvdQaEBS fZCpI5NVEEwCcLcT2DXxWVXOXT8hS1o/FB/fMw= IronPort-HdrOrdr: A9a23:RHnpSap5BJs9BI6mR6Gp+lcaV5pMeYIsimQD101hICG9Ffb2qy nOppkmPHDP+VUssR0b+OxoW5PtfZq/z+8W3WB5B97LN2PbUQCTQr2Kg7GD/wHd X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="5.90,292,1643670000"; d="scan'208,217";a="33509634" X-MGA-submission: =?us-ascii?q?MDHb6tuNjBQuXmay0BBqPRTC0zWar3STAyGpRp?= =?us-ascii?q?3rtAA6gE/pz1PHz5oDmtFtoPcwL0HSdguMMammGxhg0p7O67z5/oJB/I?= =?us-ascii?q?SsnzZuX9ywrg8sKsRt/CJrzpqEKe5f8MBVxUoKWtV3K5P73eKrPFxX7/?= =?us-ascii?q?NAXthvSBClwvJE80o0GJRJGA=3D=3D?= Received: from antea.dnshigh.com ([185.81.4.109]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 27 Apr 2022 11:11:37 +0200 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=acie.eu; s=default; h=Content-Type:Message-ID:Subject:To:From:Date:MIME-Version:Sender :Reply-To:Cc:Content-Transfer-Encoding:Content-ID:Content-Description: Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID: In-Reply-To:References:List-Id:List-Help:List-Unsubscribe:List-Subscribe: List-Post:List-Owner:List-Archive; bh=ly35JOJaypkqr4kDWrQD2h3G8biIYXYMBk7t7R3X4uk=; b=FhU8YQNpAye4ium8mS/HF7jn8j TFyNcO/lA7fw7qDwHnUQMzx5xGejVTohRkO0yxPW5QjXpvDbFqW4zn2RQe3lgJr8N0I2IkuVSFciI bzTnLm95i3P+koPWKJvfbApmpgardtFT6ja8EejMF9rINeMEMnzBYTHpY1kXpYWBIexwpQUYjO2fh PBnXHQmXWtqrM+Zg/uh0cFCFyNrW5rMrZwZw7piJv7jq9q4hBBOoFSUfLHDYJRrKqsCB2qrw6F1im jFIbqUtHRoyfsj6je/QGsoWViUYFA+wd+N6ijdNU3Gu8rQfjW30aGIa1eEW284XCVyHdyaQ/akqwU GZ8UH2hw==; Received: from localhost ([127.0.0.1]:45480 helo=antea.dnshigh.com) by antea.dnshigh.com with esmtpa (Exim 4.94.2) (envelope-from ) id 1njdhw-0000Vm-BA; Wed, 27 Apr 2022 11:11:36 +0200 MIME-Version: 1.0 Date: Wed, 27 Apr 2022 11:11:26 +0200 From: acie@acie.eu To: folli User-Agent: Roundcube Webmail/1.4.12 Message-ID: X-Sender: acie@acie.eu Content-Type: multipart/alternative; boundary="=_2132cfa98830793e6ca2c1e35e106b40" X-AntiAbuse: This header was added to track abuse, please include it with any abuse report X-AntiAbuse: Primary Hostname - antea.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: antea.dnshigh.com: authenticated_id: acie@acie.eu X-Authenticated-Sender: antea.dnshigh.com: acie@acie.eu Subject: [Caml-list] CiE 2022: CALL FOR INFORMAL PRESENTATIONS Reply-To: acie@acie.eu X-Loop: caml-list@inria.fr X-Sequence: 18748 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: --=_2132cfa98830793e6ca2c1e35e106b40 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset=US-ASCII; format=flowed ========================================= CiE 2022: CALL FOR INFORMAL PRESENTATIONS ========================================= Computability in Europe 2022: Revolutions and revelations in computability **CiE 2022 is planned as an on-site conference with online elements** Swansea, Wales, United Kingdom July 11-15, 2022 https://cs.swansea.ac.uk/cie2022/ Continuing the tradition of past CiE conferences, we invite researchers to present informal presentations of their recent work. A proposal for an informal presentation must be submitted via EasyChair (https://easychair.org/conferences /?conf=cie2022), using the LNCS style file (available at https:// www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines), and be 1 page long; a brief description of the results suffices and an abstract is not required. Informal presentations will not be published in the LNCS conference proceedings. Results presented as informal presentations at CiE 2022 may appear or may have appeared in other conferences with formal proceedings and/or in journals. The deadline for the submission of abstracts for informal presentations is May 10, 2022. The notifications of acceptance for informal presentations will be sent a few days after submission. For questions, please contact the organisers at cie2022swansea@gmail.com. --=_2132cfa98830793e6ca2c1e35e106b40 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=UTF-8


=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
CiE 2022: CA= LL FOR INFORMAL PRESENTATIONS
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D

Computability in Europe 2022: Revolutions and revelations in computabili= ty

**CiE 2022 is planned as an on-site conference with online elements**

Swansea, Wales, United Kingdom
July 11-15, 2022
https://cs.swa= nsea.ac.uk/cie2022/

Continuing the tradition of past CiE conferences, we invite researchers = to
present informal presentations of their recent work. A proposal for= an informal
presentation must be submitted via EasyChair (https://eas= ychair.org/conferences
/?conf=3Dcie2022), using the LNCS style file (a= vailable at https://
www.springer.com/gp/computer-science/lncs/confere= nce-proceedings-guidelines),
and be 1 page long; a brief description o= f the results suffices and an abstract
is not required. Informal prese= ntations will not be published in the LNCS
conference proceedings. Res= ults presented as informal presentations at CiE 2022
may appear or may= have appeared in other conferences with formal proceedings
and/or in = journals. The deadline for the submission of abstracts for informal
pr= esentations is May 10, 2022. The notifications of acceptance for informalpresentations will be sent a few days after submission.

For questions, please contact the organisers at cie2022swansea@gmail.com= =2E

--=_2132cfa98830793e6ca2c1e35e106b40--