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 ESMTPS id D7D8A5D5 for ; Tue, 17 May 2022 16:27:23 +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=6+Q4z+IbnMka9dFjr0HhMpGLOsXAiyrc0GWhwgW4ZgY=; b=f1Vs89WsE701Ev2D2dRn1RCkSbsb2Nv7QgU+DeWedwPWeuR38hkuLvg1 lsytPZjU6nIvcr432aVFhZxoWPC46MtUeAf20WkqDa5EVUZTy7TwCksbQ dE5O4hPZ7/2QnMeUOaHXwbdExakqg17t4Fn1B8AxQDFvL4KS5exAhJkSD Q=; 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.91,233,1647298800"; d="scan'208,217";a="36781694" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 17 May 2022 18:27:22 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id EFA03E437A; Tue, 17 May 2022 18:27:21 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 0840BE00A8; Tue, 17 May 2022 18:27:17 +0200 (CEST) IronPort-SDR: FPlf6RjErTCaT5sm3SHXbXVu/JhMC6tejqLIp09qVEo9VhDu/9ICgRKRgRDq5mVewfCZmkaN5L psPCS5UTx1dwu8uCqz81RZSq7Sccu1G8I9cVUHYQHPCt1myTeptZsmDLhgTgX2mjMjohTsln3d FBxOJfTqppfjZ1HyAMJcvfREcEw+4Ty+wPrQcm+Y4QfXhRcS8bdFJWy5OgFrCZYCWNr58CoawR Pu/iPZfU8IltqwghpPzUIsjxZ0tSaoWBjuoRau23VGXXvrm4XtB2ZKhqH4io2zdprAmoKKPJeW 1fM1/lpKgnQ8Gkxq18PVEPmV X-IPAS-Result: =?us-ascii?q?A0AIAgAPzINikG0EUblag3mBA35ULgQLQ4QRPYkAhWWCJ?= =?us-ascii?q?osXixGIOwsBAwENNwgBAgQBAYIOiDUCHQYGNBMBAgQBAQEBAwIDAQEBAQEBA?= =?us-ascii?q?wEBBQEBAQIBAQIEBAETAQEBAQEBFgkNERAOBUFkWIFPggQGAwEwDYI1IoN+E?= =?us-ascii?q?QYdAQEmEhMFRAIjPBMIgnUBgmMDNQEKkQycEYExgQGCCAEBBoUVDX2BRgMGg?= =?us-ascii?q?TyGFoElAYNwgQWCLyccgg2BFYI7g01CAQMYfSSDe4JljgSHcAc6Axw4gQUSg?= =?us-ascii?q?SFxAQgGBgcKBTIGAgwYFAQCAgEQElMeAhMFBwocDhQcJBkMDwMSAxEBBwILE?= =?us-ascii?q?ggVLAgDAgMIAwIDLgIDGAkHCgMdCAocEhAUAgQTHwsIAxofLQkCBA4DQwgLC?= =?us-ascii?q?gMRBAMTGAsWCBAEBgMJLw0oCwMUDwEGAwYCBQUBAyADFAMFJwcDIQcLJg0NB?= =?us-ascii?q?CMdAwMFJgMCAhsHAgIDAgYXBgICcQooDQgECAQcHiUTBQIHMQUELwIeBAUGE?= =?us-ascii?q?QkCFgIGBAUCBAQWAgISCAIIJxsHFhkdGQEFXQYLCSMcHBARBQYWAyZoBgIBP?= =?us-ascii?q?ZVqCYFhSYEQIi5NJQ8OUgkDn26gSmuOcI5zhWsHCxwVg3WGa4VThimRfZZmj?= =?us-ascii?q?SiDWZBxgRKDdTCBeCOBW3ODNU4BAgECAQwBAgIBAgECAQEBCQEBAQGONoRah?= =?us-ascii?q?BOCZoJjA0IxOwIGAQoBAQMJhUcBAYlGAQE?= IronPort-PHdr: A9a23:PPaQ8xOCt23UqsagBAYl6naCCRdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDv64r0QCCDNqTwskHotKei7rnV20E7MTJm1E5W7sIaSU4j94LlRcrGs+PBB6zBvfraysnA JYKDwc9rDm0PkdPBcnxeUDZrGGs4j4OABX/Mhd+KvjoFoLIgMm7ye6/94fTbghKizawZbF/J wiqoAvMscUbnZFsIbsrxBvTpXtIdeVWxWd2Kl+Wgh3x+MS+8oN9/ipJo/4u+NJOXqv8f6QjU LxXFy8mPHwv5M3qrhbMUw2C7WYBX2oMkxpIBw/F7AzmXpr0ryD3uPZx1DWcMMbrS70/RDas4 LpxSBLwhygJOT43/n/KhMN+j6xarw6uqgdlzILIYoGYLuZyc7nfcN4cWGFPXtxRVytEAo6kd YQAE+sBMvhDoobnu1QOrAWxCROyC+PyzDJDm3D507Eg3es7DQHGwBIvH8gIsHnMo9v4OqkfX OK7wqXVzDjPcf1Y1Dnh5IXJcB0sof6CULFtfcTf10UiGQfIgFWQp4D7Iz+Zy+QAvmuY4uduS O6hhWgqoBx/rDiow8cjkIjJhoQNx1Df+yR22oA1JcamR0Fhe9KrCodfuzuHN4t1Ws8tXXtnu D06y7IauZ60ZikKyI49yx7YcfyHfJCE7Qj/W+aQPzh0nmxqeK+5ih2v8kag0vXxWtS33VtKt CZIkcTAumoC2hDJ98SLVv9w80G80jiVzQ/T8PtLIUUsmKrbNZEhxrkwm4IJvkTFAi/5hl/5g LWLeUUi4eio6+XnYrrmppOGK4B0jQT+Prwvmsy5H+s4LhADU3WY9Om8zrHu/lD1TK9Fg/Esj 6XVrJTXKdwepqGjAg9V1ogj6wy4DzejyNkXh2UILFNbdx+clYfmJ1DOL+7iAfihnlSgiDFry OveMb37HprNNmTDkKvmfbtl9UJQ0BAzwsxH55JIFrEBJ+r+VVPru9zdCh81Kgi0w+f8CNVhz Y4eQmKOAqqBMKzIq1OI5+QvI/ONZIAPojr9JeIl6+b0jXAlgV8dYbWp3ZwPZX+kGfRmOlyVb mbogtccCmgHpRE+TezviF2aSzFffXeyX6Qm5jE6Eo2qF4nDRpr+yICGiSm8GplXLjRIDVSIE F/mcIGAWrENbiyVdJxPiDsBALGqSoIJ3BqvuUn31uk0ZtHI8zEV4MqwnON+4PfewElaHV1cC s2c1zrIVGRohiYTQCdw2qljoEt7w1PF0K5igvUeG8YAr+hRXFIcMpjRh/d/F8i0QhjIK96CS VuOS96nDHc8U4F52McANmB6HdjqlRXfx2yvCr4RmaaMAck9+aPR93H6Jss7xmuVnLI5gQwAR c1CfXajmrY59wXXANvRlF6Fkq+xaakG9CfL6GqKi2aIp0FZXw42WqLANZwGTm3Rq9mxpkbLT rv1TK8iLhME0smabK1Ddtzui1xCAvblItXXJWyryS+2Al6Ty7WAYZCPGS1V1TjBCEUCjwEY/ GqXfQk4CCC7pmvCDTtoXVvxakLo+ON6pTu1VEgxhw2NakRg0fKy9Ht3zbSVQPIe9rsPuSpnp ig1VFex0tTKCsaR8hJ7dfYUatc87VFbkGPB4lUtY9rwduY+wAdGIlcS3QumzRh8B4RenNJ/q XoryFE3MqeEyBZacCve25nsO7rRI220/Ra1aqeQ1EuNtbTesqoJ9vk8rE3u+Q+zEU93uXxs0 tR92nCd69PHEUBBGYK0SUsx+xVg8vvTaSgwz4rf1HAqPLT+4Vqgk5o5QeAizBinZdJWNqiJQ RTzH8MtDM+rMOU2mlKtY3roJch086g5d4OjfvqCg+uwOfp42SmhlSJB6Zx81USF82x9TPTJ1 tAL2aPQ2AzPTDr6gFq716K/0YlZeTEfGHa+win4FcZQYKN1Z4MCFWapJYW+2Nx/g5fnX3MQ+ kSkAhsK38qgeBzaaFKYv0UY3E8WrFSukiq1iTFp0nkooqeZwC3S0rHnfRsDNHRMQToqhlPtL I6oytECCRH4Mk55zV35ox+ilvs+xuw3NWTYTEZWcjKjKmhjVvD1rb+ee4tU74tutyxLUeO6a FTcS7jnohJc3TmwegkWjD09aTyuvY302hJgj2fIZn94rXfxcMpxyFHS+ZaPDe4UxTcASCRi3 HPeDVmxF9Ci/NjSmoqJ4YXcHyqxE5ZUdyfs14aJsiC2sHZrDROIlPe2gtT7EAI+3EcXzvFMU iPF5Fb5a4jvjOGhNP5/O1JvHBn64tZ7HYd3ls0xgosR0D4UnMfd+31Pimr1PdhBvMC2JHMQW T4GxcLU6wn5yQViKHyO3YfwSnSaxINoedC7Zmoc3i914dpNDe+Y67lNnC09pVTdz0qZef9mg jIU0ucj8lYThf0EsUwhyD6dA78SW0JfOG2klhiF6cy/sLQCZGurduvVtgI2ltSgAbee5wBED S+pJ9FyRGksqJwnYQGpsjW78IzvddjOYMhGsxSVl0yFlO1JMNcqkeJMgyN7OGX7tHljyughj BUo04vp2erPY2hr4q+9BQZVczPvYMZGsDjmjKt2l82X0saiA98yf1dDFIutVv+uHD8I4L7/M B2SFTQntnqBMbPZAQKWrktgtHLOHJDtPHaSbip8r50qVFyWI0pRhxoRVTMxk8siFwyk88fmd V9w+jEb4lOQQvRkw+lpOl/yTzWHzO9NQj4/SZXZIQcEtmmqBm/cN9CT56R/GTpY/5Kh6geKL z7DDzk= IronPort-Data: A9a23:T8xq0qiOMeN2QEOTBZsLNylPX161UBYKZh0ujC45NGQN5FlHY01je htvUW2EbqrZYGD0e4x+bYi1px4Hu5XXyt5kGgJrrH1nEnxjpJueD7x1DG+gZnLIdpWroGFPt phFNIGYdKjYaleG+39B55C49SEUOZmgH+a6UKieUsxIbVcMpB0J0HqPoMZkxN8x6TSFK1nV4 4mq/pSAYAXNNwNcawr41YrT8HuDg9yp4Fv0jnRmDRyclAK2e9E9VfrzFInpR5fKatE88t2SG 44v+IqEElbxpH/BPD8KfoHTKSXmSpaKVeSHZ+E/t6KK2nCurQRquko32WZ1hUp/0120c95NJ NplmcKuRAErAY/2u8MjYR5iLWJgGO5NweqSSZS/mZT7I0zuen3wzvwoAEctPYwX+qB8BmQmG f4wcWBQKEDawb7wmerqIgVvrpxLwM3DNYget1lpxjDUS/s7KXzGa/yWvoIDgGZg7ixINdL/V +opNzRRUFPdQBFfG2ZMBNFin+j90xETdBUC8gnN+vRpi4TJ9yR62b3pdd7UYcCiXtRQhk/ep 2Tc/m2/DAtyHNeY0H+O9m+mrvTemDvyHoMUDryxsPBw6GB/3UQaDgEbXB23p+K5i0G+HdlYL iT45xbCs4AeqlKmSNvCfSebh0C2uSQiGMR1UOYDvVTlJrXv3y6VAW0NTzhkYdMgtdMrSTFC6 rNvt463bdCImODLIU9x5ot4vhvuYHhEdTRqiTssFFFYuoO+yG0mpkiXJuuPBpJZmfXUJVkcK Riwqy0z71n4pZZTjvjmlbwrqxaltJnOJjPZCy3eWH6o50V1YpWlZoOor1Pc6J6szbp1rHHc7 RDoeODEtYji6K1hcgTWGo3h+5nyt5643MX02wIHInXY323FF4SfVY5R+ipiA0xiL9wJfzTkC GeK514Lu8UObCH0MvUoC25UNyjM5fW/fTgCfq2KBueinrAqHON61HgxORbOt4wTuBF1zfFX1 WinnTaEVyxBUfs5klJats8G3KU1yzp23WfaQ9jgiQ7h1fz2WZJmYeltDbd6VchgtPnsiFyMo 753apXWoz0CDryWSnSGquY7cwtQRVBlXs+eliCiXrLfSuaQMDp5U6e5LHJIU9ANopm5Yc+Sp SHgBh4BkQeg7ZAFQC3TAk1ehHrUdc4XhRoG0eYEZD5EAlAvPtSi6rkxbZwyceV1/eBv16EmR vIEdoONH60XGDjA/j0ca7j7rZBjLUn32lzeZHD9ODVvLYR9QwHp+8P/ele9/ic5ESfq59A1p Ket112HTMNbFRhiFsvfdNmm00i14SoGgOt3UkaReotTdUzg/ZJEMSv0ivNrccgAJQ+clDKR1 gvQDApB/bvBpIo88d/og6GYrt70T7QgThEARzHWtO/kOzPb82yvxZ57fNyJJT2NBnnp/KiCZ PlOy62uOvMwg1sX4ZF3FKxmzPxi6oK39aNa1AltAF7Cc0+vVuF7OnCD0MRC6v9Ny7tetVfkU 06D4IAFa7yPJM7sVlIXPwokYeTF3vYRw2GA4fMwKUT8xSl24LveCxwIYEfW0HcNIesnKp4hz McgpNUSul62hRcdO9qbijxZqjaXJXsaXqR77pwXXN3xhgwwxg0QaJDQEHapspiJd9hFdEUsO T+Vi6qEjLNZnxKQf302HHnL/OxcmZVX4kkQkwFYfw/Zl4qXnOIz0T1Q7S8zH1ZcwRhw2u5uP nRmah9uLqKU8jY03MVOUghAwe2a6MF1LqAw97cIqIEdZ0CuSmHEamE7IuaM80Bf+GVZFtSeE Hd01069OQsGvumotsfxZaKhg/XoTNE3+xCqdAVL2SiaN8FSXNcm65NCoUIBoBrqR84s7KECS S+G484oAZDG2eUsT2HXxmVUOXn8iPxJGYCafcxcwQ== IronPort-HdrOrdr: A9a23:lelm36mYimk59sEzMat5fNaoXqDpDfIT3DAbv31ZSRFFG/Fw9v re+cjzsCWetN9/Yh0dcLy7V5VoIkmwyXcW2/hzAV7KZmCP0ldAR7sC0WKN+VPd8mHFltK08M 9bAswOb6yXfCEK9foTw2GDYqwdKOLuytHSuQ+Pp00dLz1XVw== X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="5.91,233,1647298800"; d="scan'208,217";a="14353498" X-MGA-submission: =?us-ascii?q?MDEXficuZIitu4SATjUNh7Bgxi9PYIimBVQZyF?= =?us-ascii?q?Y9zaEI8kaswE5GDDIi3XCjLWTLnb/h7FjSKc5ywrUhT9+PaE8Kj1hS0J?= =?us-ascii?q?s3/WbNrm9gWz8TXDvb0xucjpGP/zsIb+Sp2EV45yNrgtMNVQ98ar+ZHX?= =?us-ascii?q?JvpHONHqqByOo+WveCowqb3A=3D=3D?= Received: from antea.dnshigh.com ([185.81.4.109]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 17 May 2022 18:27:16 +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=6+Q4z+IbnMka9dFjr0HhMpGLOsXAiyrc0GWhwgW4ZgY=; b=oAopfmA7sCJBe3x64MVu9CAqMy lh6fPGtcc5MvWgw2sSzdgGMU9ItiVivXb7Rp/dtSIlxiRD8SenztaBz6VnPjVaXLdXy+EB35Oaeni D7SBPlT6MQA0vMW+fWOdGhPBVE9DMtHE8GyocP2POxRsn6a0N97yRHmkeW76cl1VqSdCIHUSIWNOc 1QLd38V8fduesuN17lLDH2+9y8bzAlekeu4MhFQfcBYEkVl7LQrnsySTs3jOovH7rqe9vTPgUacV5 pZbgJ2HyWLB9fmBK0zOb5Pi5ftLFYHi4urQqvSUjxs9Es1Bq9zcy7TC0ct3dYDipmBMzTMQcqW99C 6OJL714Q==; Received: from localhost ([127.0.0.1]:53326 helo=antea.dnshigh.com) by antea.dnshigh.com with esmtpa (Exim 4.95) (envelope-from ) id 1nr02U-0003SZ-Sh; Tue, 17 May 2022 18:27:14 +0200 MIME-Version: 1.0 Date: Tue, 17 May 2022 18:27:03 +0200 From: acie@acie.eu To: folli User-Agent: Roundcube Webmail/1.4.12 Message-ID: <5e02fc77b964337ce8677cd9cb985662@acie.eu> X-Sender: acie@acie.eu Content-Type: multipart/alternative; boundary="=_b30da000092154e83be72b891e7a3b9f" 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 Participation Reply-To: acie@acie.eu X-Loop: caml-list@inria.fr X-Sequence: 18765 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: --=_b30da000092154e83be72b891e7a3b9f Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset=UTF-8; format=flowed ================================= CiE 2022: CALL FOR PARTICIPATION ================================= Computability in Europe 2022: Revolutions and revelations in computability **CiE 2022 will be an on-site conference with some remote talks** Swansea, Wales, United Kingdom July 11-15, 2022 https://cs.swansea.ac.uk/cie2022/ Registration link: https://easychair.org/register/register.cgi?a=28759463 IMPORTANT DATES: ================ Early registration: May 31, 2022 Postgraduate research student travel grant application: May 31, 2022 Women in Computability travel grant application: May 31, 2022 Regular registration: June 30, 2022 * Information about travel and accommodation is available at https://cs.swansea.ac.uk/cie2022/travelandaccommodation * Information about travel grants appears below and at https://cs.swansea.ac.uk/cie2022/travelgrants CiE 2022 is the 18th conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. Previous meetings have taken place in Amsterdam (2005), Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponta Delgada (2010), Sofia (2011), Cambridge (2012), Milan (2013), Budapest (2014), Bucharest (2015), Paris (2016), Turku (2017), Kiel (2018), Durham (2019), Salerno (2020, virtually), and Ghent (2021, virtually). TUTORIAL SPEAKERS: ================== - Dora Giammarresi (Università di Roma Tor Vergata) - Noam Greenberg (Victoria University of Wellington) INVITED SPEAKERS: ================= - Erika Ábrahám (RWTH Aachen University) - Thierry Coquand (University of Gothenburg) - Liesbeth de Mol (Université de Lille) - Damir Dzhafarov (University of Connecticut) - Harvey Friedman (The Ohio State University) - Svetlana Selivanova (Korea Advanced Institute of Science and Technology - KAIST) SPECIAL SESSIONS: ================= - At the intersection of computability and other areas of mathematics, organised by Denis Hirschfeldt (University of Chicago) and Karen Lange (Wellesley College) Speakers: Meng-Che Ho (California State University, Northridge) Bjørn Kjos-Hanssen (University of Hawai`i at Mānoa) Elvira Mayordomo (Universidad de Zaragoza) Alexandra Shlapentokh (Eastern Carolina University) - Computability theory of blockchain technology, organised by Arnold Beckmann (Swansea University) and Anton Setzer (Swansea University) Speakers: Eli Ben-Sasson (StarkWare) Maurice Herlihy (Brown University) Philip Wadler (University of Edinburgh) There will also be a panel discussion with the speakers of this special session. - Computing Language: Love Letters, Large Models and NLP, organised by Liesbeth de Mol (Université de Lille) and Giuseppe Primiero (University of Milan) for the Council of the HaPoC Commission Speakers: Troy Astarte (Swansea University) Juan-Luis Gastaldi (ETH Zürich) Maël Pégny (Universität Tübingen) Jacopo Tagliabue (COVEO) - Computing with bio-molecules, organised by Jérôme Durand-Lose (Université d'Orleans) and Claudio Zandron (University of Milan Bicocca) Speakers: Giuditta Franco (University of Verona) Maria Dolores Jiménez-López (University of Tarragona) Nicolas Schabanel (CNRS - LIP, École Normale Supérieure de Lyon) Petr Sosik (Silesian University of Opava) - Constructive and reverse mathematics, organised by Samuele Maschio (Universita di Padova) and Takako Nemoto (Hiroshima Institute of Technology) Speakers: Makoto Fujiwara (Tokyo University of Science) Takayuki Kihara (Nagoya University) Robert Lubarsky (Florida Atlantic University) Huishan Wu (BLCU Beijing) - Reachability problems, organised by Paul Bell (Liverpool John Moores University) and Igor Potapov (University of Liverpool) Speakers: Olivier Bournez (École Polytechnique de Paris) Véronique Bruyère (Université de Mons) Kitty Meeks (University of Glasgow) James Worrell (University of Oxford) CONTRIBUTED PAPERS: =================== Contributed papers have been selected from submissions received by the PROGRAM COMMITTEE consisting of: Marcella Anselmo (University of Salerno) Verónica Becher (University of Buenos Aires) Ulrich Berger (Swansea University, co-chair) Katie Brodhead (Florida State University) Laura Crosilla (University of Oslo) Joel Day (Loughborough University) Gianluca Della Vedova (University of Milan) Leah Epstein (University of Haifa) Maribel Fernandez (King's College London) Ekaterina Fokina (TU Wien) Johanna Franklin (Hofstra University, co-chair) Lorenzo Galeotti (Amsterdam University College) Sandra Kiefer (RWTH Aachen University) Susana Ladra (University of Coruna) Maria Emilia Maietti (University of Padova) Florin Manea (University of Goettingen) Klaus Meer (Brandenburg University of Technology Cottbus) Dale Miller (LIX Polytechnique) Russell Miller (Queens College CUNY) Arno Pauly (Swansea University) Nadia Pisanti (University of Pisa) Solon Pissis (CWI Amsterdam) Giuseppe Primiero (University of Milan) Ramyaa Ramyaa (New Mexico Tech) Monika Seisenberger (Swansea University) Anton Setzer (Swansea University) Alexandra Shlapentokh (East Carolina University) Reed Solomon (University of Connecticut) Mariya Soskova (University of Wisconsin-Madison) Peter Van Emde Boas (University of Amsterdam) Andreas Weiermann (Ghent University) Andreas Wichert (University of Lisbon) The CiE conferences serve as an interdisciplinary forum for research in all aspects of computability, foundations of computer science, logic, and theoretical computer science, as well as the interplay of these areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics. The CONFERENCE PROCEEDINGS will be published by LNCS, Springer-Verlag, in the ARCoSS (Advanced Research in Computing and Software Science) subline. WOMEN IN COMPUTABILITY: ======================= We are very happy to announce that within the framework of the Women in Computability program, we are able to offer some grants for junior women researchers who want to participate in CiE 2022. Applications for this grant should be sent to Liesbeth de Mol, liesbeth.demol@univ-lille3.fr, before May 31, 2022 and include a short cv (at most 2 pages) and contact information for an academic reference. Preference will be given to junior women researchers who are presenting a paper (including informal presentations) at CiE 2022. Association CiE: https://www.acie.eu/ CiE Conference Series: https://www.acie.eu/cie-conference-series/ HOSTED BY: ========== School of Mathematics and Computer Science at the Computational Foundry, Bay Campus, Swansea University, Crymlyn Burrows, Skewen, Swansea SA1 8EN, United Kingdom This conference is in cooperation with the Association for Women in Mathematics and supports the Welcoming Environment Statement. SPONSORS: ========= We are grateful for support from the Institute for Coding in Wales, the London Mathematical Society, technocamps, the Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften, and Springer-Verlag. ORGANIZING COMMITTEE: ====================== Troy Astarte (Swansea University) Arnold Beckmann (Swansea University) Ulrich Berger (Swansea University) Tonicha Crook (Swansea University) Faron Moller (Swansea University) Bertie Mueller (Swansea University) Eike Neumann (Swansea University) Arno Pauly (Swansea University, chair) Olga Petrovska (Swansea University) Pierre Pradic (Swansea University) Markus Roggenbach (Swansea University) Monika Seisenberger (Swansea University) Anton Setzer (Swansea University) John Tucker (Swansea University) For questions, please contact the organisers at cie2022swansea@gmail.com. --=_b30da000092154e83be72b891e7a3b9f 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
CiE 2022: CALL FOR PARTICIPATION
=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 will be an on-site conference with some remote talks**

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

Registration link: https://easychair.org/register/register.cgi?a=3D28759= 463

IMPORTANT DATES:
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<= br />Early registration: May 31, 2022
Postgraduate research student tr= avel grant application: May 31, 2022
Women in Computability travel gr= ant application: May 31, 2022
Regular registration: June 30, 2022

* Information about travel and accommodation is available at https://cs.= swansea.ac.uk/cie2022/travelandaccommodation

* Information about travel grants appears below and at https://cs.swanse= a.ac.uk/cie2022/travelgrants

CiE 2022 is the 18th conference organized by CiE (Computability in Europ= e), a European association of mathematicians, logicians, computer scientist= s, philosophers, physicists and others interested in new developments in co= mputability and their underlying significance for the real world.

Previous meetings have taken place in Amsterdam (2005), Swansea (2006), = Siena (2007), Athens (2008), Heidelberg (2009), Ponta Delgada (2010), Sofia= (2011), Cambridge (2012), Milan (2013), Budapest (2014), Bucharest (2015),= Paris (2016), Turku (2017), Kiel (2018), Durham (2019), Salerno (2020, vir= tually), and Ghent (2021, virtually).


TUTORIAL SPEAKERS:
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D
– Dora Giammarresi (Università di Roma Tor V= ergata)
- Noam Greenberg (Victoria University of Wellington)


INVITED SPEAKERS:
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D
– Erika Ábrahám (RWTH Aachen University)=
– Thierry Coquand (University of Gothenburg)
– Liesb= eth de Mol (Université de Lille)
– Damir Dzhafarov (Unive= rsity of Connecticut)
- Harvey Friedman (The Ohio State University)– Svetlana Selivanova (Korea Advanced Institute of Science and Tec= hnology - KAIST)


SPECIAL SESSIONS:
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D
– At the intersection of computability and other areas= of mathematics, organised by Denis Hirschfeldt (University of Chicago) and= Karen Lange (Wellesley College)
Speakers:
Meng-Che Ho (Californi= a State University, Northridge)
Bjørn Kjos-Hanssen (University= of Hawai`i at M=C4=81noa)
Elvira Mayordomo (Universidad de Zaragoza) =
Alexandra Shlapentokh (Eastern Carolina University)

- Computability theory of blockchain technology, organised by Arnold Bec= kmann (Swansea University) and Anton Setzer (Swansea University)
Speak= ers:
Eli Ben-Sasson (StarkWare)
Maurice Herlihy (Brown University= )
Philip Wadler (University of Edinburgh)
There will also be a pa= nel discussion with the speakers of this special session.

– Computing Language: Love Letters, Large Models and NLP, organise= d by Liesbeth de Mol (Université de Lille) and Giuseppe Primiero (Un= iversity of Milan) for the Council of the HaPoC Commission
Speakers:Troy Astarte (Swansea University)
Juan-Luis Gastaldi (ETH Zür= ich)
Maël Pégny (Universität Tübingen)
Jaco= po Tagliabue (COVEO)

- Computing with bio-molecules, organised by Jérôme Durand-= Lose (Université d'Orleans) and Claudio Zandron (University of Milan= Bicocca)
Speakers:
Giuditta Franco (University of Verona)
= Maria Dolores Jiménez-López (University of Tarragona)
Ni= colas Schabanel (CNRS - LIP, École Normale Supérieure de Lyon= )
Petr Sosik (Silesian University of Opava)

- Constructive and reverse mathematics, organised by Samuele Maschio (Un= iversita di Padova) and Takako Nemoto (Hiroshima Institute of Technology)Speakers:
Makoto Fujiwara (Tokyo University of Science)
Takay= uki Kihara (Nagoya University)
Robert Lubarsky (Florida Atlantic Unive= rsity)
Huishan Wu (BLCU Beijing)

- Reachability problems, organised by Paul Bell (Liverpool John Moores U= niversity) and Igor Potapov (University of Liverpool)
Speakers:
O= livier Bournez (École Polytechnique de Paris)
Véronique = Bruyère (Université de Mons)
Kitty Meeks (University of = Glasgow)
James Worrell (University of Oxford)


CONTRIBUTED PAPERS:
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D

Contributed papers have been selected from submissions received by the P= ROGRAM COMMITTEE consisting of:

Marcella Anselmo (University of Salerno)
Verónica Becher (U= niversity of Buenos Aires)
Ulrich Berger (Swansea University, co-chai= r)
Katie Brodhead (Florida State University)
Laura Crosilla (Univ= ersity of Oslo)
Joel Day (Loughborough University)
Gianluca Della= Vedova (University of Milan)
Leah Epstein (University of Haifa)
= Maribel Fernandez (King's College London)
Ekaterina Fokina (TU Wien)<= br />Johanna Franklin (Hofstra University, co-chair)
Lorenzo Galeotti = (Amsterdam University College)
Sandra Kiefer (RWTH Aachen University)<= br />Susana Ladra (University of Coruna)
Maria Emilia Maietti (Univer= sity of Padova)
Florin Manea (University of Goettingen)
Klaus M= eer (Brandenburg University of Technology Cottbus)
Dale Miller (LIX Po= lytechnique)
Russell Miller (Queens College CUNY)
Arno Pauly (Swa= nsea University)
Nadia Pisanti (University of Pisa)
Solon Pissis = (CWI Amsterdam)
Giuseppe Primiero (University of Milan)
Ramyaa Ra= myaa (New Mexico Tech)
Monika Seisenberger (Swansea University)
A= nton Setzer (Swansea University)
Alexandra Shlapentokh (East Carolina = University)
Reed Solomon (University of Connecticut)
Mariya Sosko= va (University of Wisconsin–Madison)
Peter Van Emde Boas (Unive= rsity of Amsterdam)
Andreas Weiermann (Ghent University)
Andreas= Wichert (University of Lisbon)

The CiE conferences serve as an interdisciplinary forum for research in = all aspects of computability, foundations of computer science, logic, and t= heoretical computer science, as well as the interplay of these areas with p= ractical issues in computer science and with other disciplines such as biol= ogy, mathematics, philosophy, or physics.

The CONFERENCE PROCEEDINGS will be published by LNCS, Springer-Verlag, i= n the ARCoSS (Advanced Research in Computing and Software Science) subline.=


WOMEN IN COMPUTABILITY:
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

We are very happy to announce that within the framework of the Women in = Computability program, we are able to offer some grants for junior women re= searchers who want to participate in CiE 2022. Applications for this grant = should be sent to Liesbeth de Mol, liesbeth.demol@univ-lille3.fr, before Ma= y 31, 2022 and include a short cv (at most 2 pages) and contact information= for an academic reference. Preference will be given to junior women resear= chers who are presenting a paper (including informal presentations) at CiE = 2022.

Association CiE:
https://www.acie.eu/

CiE Conference Series:
https://www.acie.eu/cie-conference-series/


HOSTED BY:
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

School of Mathematics and Computer Science
at the Computational Fou= ndry,
Bay Campus, Swansea University,
Crymlyn Burrows, Skewen,Swansea SA1 8EN, United Kingdom

This conference is in cooperation with the Association for Women in Math= ematics and supports the Welcoming Environment Statement.


SPONSORS:
=3D=3D=3D=3D=3D=3D=3D=3D=3D

We are grateful for support from the Institute for Coding in Wales, the = London Mathematical Society, technocamps, the Deutsche Vereinigung für= Mathematische Logik und für Grundlagenforschung der Exakten Wissensch= aften, and Springer-Verlag.


ORGANIZING COMMITTEE:
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D

Troy Astarte (Swansea University)
Arnold Beckmann (Swansea Universi= ty)
Ulrich Berger (Swansea University)
Tonicha Crook (Swansea Uni= versity)
Faron Moller (Swansea University)
Bertie Mueller (Swanse= a University)
Eike Neumann (Swansea University)
Arno Pauly (Swans= ea University, chair)
Olga Petrovska (Swansea University)
Pierre = Pradic (Swansea University)
Markus Roggenbach (Swansea University)
Monika Seisenberger (Swansea University)
Anton Setzer (Swansea Unive= rsity)
John Tucker (Swansea University)

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

--=_b30da000092154e83be72b891e7a3b9f--