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 C5B205D6 for ; Thu, 7 Oct 2021 10:24:53 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.84,326,1620684000"; d="scan'208,217";a="532592146" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 07 Oct 2021 12:24:48 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 9A263E00F7; Thu, 7 Oct 2021 12:24:48 +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 98A50E00C9; Thu, 7 Oct 2021 12:24:45 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=acie@acie.eu; spf=None smtp.mailfrom=acie@acie.eu; spf=None smtp.helo=postmaster@antea.dnshigh.com IronPort-PHdr: =?us-ascii?q?A9a23=3AS84iWhIL+UgH24a4ptmcuLNmWUAX0o4c3iYr45Y?= =?us-ascii?q?qw4hDbr6kt8y7ehCFvbM81RSUAs3y0LFts6LuqafuWGgNs96qkUspV9hybSIDk?= =?us-ascii?q?tgchAc6AcSIWgXRJf/uaDEmTowZDAc2t360PlJIF8ngelbcvmO97SIIGhX4KAF?= =?us-ascii?q?5Ovn5FpTdgsipy+y+4ZnebxhHiDe9Y755MQm7oxjWusQKm4VpN7w/ygHOontGe?= =?us-ascii?q?uRWwX1nKFeOlBvi5cm+4YBu/T1It/0u68BPX6P6f78lTbNDFzQpL3o15Mzwuhb?= =?us-ascii?q?dSwaE+2YRXX8XkhpMBAjF8Q36U5LsuSb0quZxxC+XNtDxQr0oVzmu87pnRAb0h?= =?us-ascii?q?CsaKjU19Hzbh8x1gK9dvRmvpQFww5TMbY6aOvRwfr3Tc84USmRCUcdeSzdMDZm?= =?us-ascii?q?gY4sNFecNIfxVoov7qlATrRW+Hw6sBOb3xzBSmnD23LM13v87Hg7a3QwvAcgCv?= =?us-ascii?q?2rJrNjzKawdXvy7wrPSwjXfc/NZxy396I7Qfx0/r/yBXrJ+fMjMxUQxGQ7Jkkm?= =?us-ascii?q?dpI34Mj6X2eoArWyW4u5+We+hhWMqtQN8riazysoohITFmoAYx1TA+Ch3z4s4I?= =?us-ascii?q?8CzRkB8Yd6hCpRQtieaOpNtQsIsWW5ovj06xaMctpKhZicF1I4rxwPca/CfbYe?= =?us-ascii?q?H+AnjVeaNLjd4nn1leai/iwy18Ui6xe3wTtK00E5QripElNnMuW4C1wbJ5sebT?= =?us-ascii?q?ft9+1+t1iyT2ADS9O5IO147lbfdJpU8wbAwjoIevVnAEyL2gkn7j7Kael8r9+S?= =?us-ascii?q?y9ujrfrHrq5mBPIFukA7+KL4hmsmnDOQ4LAcOW2+b9Pym273l4U32Xq9Fgucrn?= =?us-ascii?q?anfq5DaJcUbpqG5AwNPzokj7BO/Ay+n0NQeg3YHMEpIdA+EgoXpIV3DI+30Ae2?= =?us-ascii?q?wjli2jTtn2/TLMqXkAprXL3jDlLnhfax6605Z0Ac818xQ55NKBbwaOv38Rk7xu?= =?us-ascii?q?8LCAhAnLgy42/znB8ll1oMCRWKPBbeUP7/Ivl+N4uIjOu2MZI4OuDbhMPUl/P7?= =?us-ascii?q?vjXohmVAHZ6Wp3J0XaGq5Hvt8OUmZb2DsiM8bEWgWpgo+UPDqiFqaXDFPYHayR?= =?us-ascii?q?rsw6S0/CIK7FojOXZutgbyE3CejBJJafGFGClaWEXfpbYqIQfkMaDjBavNmxzU?= =?us-ascii?q?PVLWJQoQg2FejqVzU0b1ie+Pf+yAwvJni2Z54+r6A3Sou/CB5WpzOm1qGSHt5y?= =?us-ascii?q?zpVL9fZ9Kl0oEE7x0rRicCQZtRRHt1eof5UAF9S3X/0xupmBtm0VgTaftaGSBC?= =?us-ascii?q?tRdD0WVkM?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3A9G5g368ChLe2rcPo/81uk+C/I+orL9Y04lQ7?= =?us-ascii?q?vn2ZLiY1TiX4ra6TdZsgpHzJYVoqKRMdcLO7V5VoP0m9yXcd2+B4Vt2ftWLd1F?= =?us-ascii?q?dAQrsO0bff?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BYAgASaxphYm0EUblaHAEBAQEBAQcBA?= =?us-ascii?q?RIBAQQEAQGCGYEjgQgqTVYBOhcahAk+gRNMhyWGRIIlil6KXYgsCwEDAQ03BwE?= =?us-ascii?q?CBAEBgyuBNoJtAh0GBjQTAQIEFQEBBQEBAQIBAwMEAQYeCw8FOiaFaA2CNQyEF?= =?us-ascii?q?BEGHQEBBx8SEwVEAiNPCAyCXoJVAzMBCotinAqBMYEBggcBAQaFNg17gUQJgTq?= =?us-ascii?q?HCwGDT3CCKCccgg2BFYI2gS2BBE5OKxcBAxh9JFKCaoJkgyVUSWQsIi4yGyUPD?= =?us-ascii?q?iUtDDqdJ58tXo1vjjCFUwcLGRKDZYZPhRSGDZEgoBGCPoM2kCUTfINvLoF3gX1?= =?us-ascii?q?zgwIBMwlHGQ5XjSciF4NbgQGEE4JmgmMDPwMvOAIGAQoBAQMJbAEBiQcBAQ?= X-IPAS-Result: =?us-ascii?q?A0BYAgASaxphYm0EUblaHAEBAQEBAQcBARIBAQQEAQGCGYE?= =?us-ascii?q?jgQgqTVYBOhcahAk+gRNMhyWGRIIlil6KXYgsCwEDAQ03BwECBAEBgyuBNoJtA?= =?us-ascii?q?h0GBjQTAQIEFQEBBQEBAQIBAwMEAQYeCw8FOiaFaA2CNQyEFBEGHQEBBx8SEwV?= =?us-ascii?q?EAiNPCAyCXoJVAzMBCotinAqBMYEBggcBAQaFNg17gUQJgTqHCwGDT3CCKCccg?= =?us-ascii?q?g2BFYI2gS2BBE5OKxcBAxh9JFKCaoJkgyVUSWQsIi4yGyUPDiUtDDqdJ58tXo1?= =?us-ascii?q?vjjCFUwcLGRKDZYZPhRSGDZEgoBGCPoM2kCUTfINvLoF3gX1zgwIBMwlHGQ5Xj?= =?us-ascii?q?SciF4NbgQGEE4JmgmMDPwMvOAIGAQoBAQMJbAEBiQcBAQ?= X-IronPort-AV: E=Sophos;i="5.84,326,1620684000"; d="scan'208,217";a="395187126" X-MGA-submission: =?us-ascii?q?MDFjBYysTfyBMkSbLHl7E4rxX69+jWq/86Tmpf?= =?us-ascii?q?a8q3nPdF718R7jTDgVKEKzP40pZ+arHs8zG8vhgk7AMz7iwbeudPl1Kh?= =?us-ascii?q?gkJCv06xvhA0ARzT0OiyTr+UD+2QCoT7MFRDSyDeIc4bVVzKgBYwyfve?= =?us-ascii?q?JnEbn+qZU0nclWwsM8imXplQ=3D=3D?= Received: from antea.dnshigh.com ([185.81.4.109]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 07 Oct 2021 12:24:43 +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=c33g3ULAZyYurM6kYUsBlInpl/y/F1pq4RaYsFZAz1M=; b=e6vrNbrKyyMKw9UUHEQzJaoUC5 VOfChn8fTc7eYB5lrSQS0zVzKeOcn9rDlzRcADDk2r816x+q4uHbaU1+nIWYzmp4P4aqmHD84do2N KeIpzIumIKcdSpROU3id8gA9MNGPAf801b/Cz4EUXPesmyhDp4pF13F1DbqWfRSqYMUevC0a2tiih FChkpV9MaqdLecvgHOt8oFPcGhZq5TVsnZMU0Wkek7oRRLCvBfBpoHoeiZMZTOpqmdFi1twDpzkQc VA/FJXuO4ZtfnBue/pkq0phuLVnFLJ/e3XQuN5MKIWu3a6JmivyXxjBUofA8GunMTO6zn5p3/2xSl EDRwDrYw==; Received: from localhost ([127.0.0.1]:47302 helo=antea.dnshigh.com) by antea.dnshigh.com with esmtpa (Exim 4.94.2) (envelope-from ) id 1mYQZu-0006qa-Ud; Thu, 07 Oct 2021 12:24:42 +0200 MIME-Version: 1.0 Date: Thu, 07 Oct 2021 12:24:34 +0200 From: acie@acie.eu To: acie@acie.eu User-Agent: Roundcube Webmail/1.4.11 Message-ID: <41c0594bff279cfa4646684185bfb9ec@acie.eu> X-Sender: acie@acie.eu Content-Type: multipart/alternative; boundary="=_370ca8d7ba18d195c9feb33431ed3771" 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] CIE2022: First Call For Papers Reply-To: acie@acie.eu X-Loop: caml-list@inria.fr X-Sequence: 18585 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: --=_370ca8d7ba18d195c9feb33431ed3771 Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset=UTF-8; format=flowed =============================== CiE 2022: FIRST CALL FOR PAPERS =============================== Computability in Europe 2022: Revolutions and revelations in computability Swansea, Wales, United Kingdom July 11-15, 2022 https://cs.swansea.ac.uk/cie2022/ Submission link: https://easychair.org/conferences/?conf=cie2022 IMPORTANT DATES: ================ Deadline for article registration (abstract submission): January 14, 2022 (AOE) Deadline for article submission: January 28, 2022 (AOE) Notification of acceptance: April 11, 2022 Final versions due: April 25, 2022 Deadline for informal presentations submission: May 1, 2022 (The notifications of acceptance for informal presentations will be sent a few days after submission.) Early registration before: May 15, 2022. 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: ================== - Noam Greenberg (Victoria University of Wellington) - Karoliina Lehtinen (LIS, Aix-Marseille University) 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) - Computability theory of blockchain technology, organised by Arnold Beckmann (Swansea University) and Anton Setzer (Swansea University) - 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 - Computing with bio-molecules, organised by Jérôme Durand-Lose (Université d'Orleans) and Claudio Zandron (University of Milan Bicocca) - Constructive and reverse mathematics, organised by Samuele Maschio (Universita di Padova) and Takako Nemoto (Japan Advanced Institute of Science and Technology - JAIST) - Reachability problems, organised by Paul Bell (Loughborough University) and Igor Potapov (University of Liverpool) The speakers of the special sessions will be announced soon. CONTRIBUTED PAPERS: =================== Contributed papers will be 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 PROGRAM COMMITTEE cordially invites all researchers, European and non-European, to submit their papers in all areas related to the above for presentation at the conference and inclusion in the proceedings of CiE 2022 at https://easychair.org/conferences/?conf=cie2022 Papers must be submitted in PDF format, using the LNCS style (available at https://www.springer.com/gp/computer-science/lncs/ conference-proceedings-guidelines) and must have a maximum of 12 pages, including references but excluding a possible appendix in which one can include proofs and other additional material. Papers building bridges between different parts of the research community are particularly welcome. The CONFERENCE PROCEEDINGS will be published by LNCS, Springer-Verlag. INFORMAL PRESENTATIONS: ======================= 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 1, 2022. 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 15, 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. We are grateful for support from the Institute for Coding in Wales. 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 --=_370ca8d7ba18d195c9feb33431ed3771 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
CiE 2022: FIRST CALL FOR PAPERS
=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 re= velations in computability

Swansea, Wales, United Kingdom
J= uly 11-15, 2022
https://= cs.swansea.ac.uk/cie2022/

Submission link: https://easychair.org/con= ferences/?conf=3Dcie2022

IMPORTANT DATES:
=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Deadline for article registration= (abstract submission):  January 14, 2022 (AOE)
Deadline for arti= cle submission: January 28, 2022 (AOE)
Notification of acceptance: Apr= il 11, 2022
Final versions due: April 25, 2022

Deadline for= informal presentations submission: May 1, 2022
(The notifications of = acceptance for informal presentations will be sent a few days after submiss= ion.)

Early registration before: May 15, 2022.

CiE 20= 22 is the 18th conference organized by CiE (Computability in Europe), a Eur= opean association of mathematicians, logicians, computer scientists, philos= ophers, physicists and others interested in new developments in computabili= ty and their underlying significance for the real world.

Previou= s meetings have taken place in Amsterdam (2005), Swansea (2006), Siena (200= 7), Athens (2008), Heidelberg (2009), Ponta Delgada (2010), Sofia (2011), C= ambridge (2012), Milan (2013), Budapest (2014), Bucharest (2015), Paris (20= 16), Turku (2017), Kiel (2018), Durham (2019), Salerno (2020, virtually), a= nd Ghent (2021, virtually).

TUTORIAL SPEAKERS:
=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
– Noam Greenberg (Vic= toria University of Wellington)
– Karoliina Lehtinen (LIS, Aix-M= arseille University)


INVITED SPEAKERS:
=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
– Erika Ábrah&aac= ute;m (RWTH Aachen University)
– Thierry Coquand (University of = Gothenburg)
– Liesbeth de Mol (Université de Lille)
= – Damir Dzhafarov (University of Connecticut)
– Harvey Fri= edman (The Ohio State University)
– Svetlana Selivanova (Korea A= dvanced Institute of Science and Technology – 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 mathe= matics, organised by Denis Hirschfeldt (University of Chicago) and Karen La= nge (Wellesley College)

– Computability theory of blockcha= in technology, organised by Arnold Beckmann (Swansea University) and Anton = Setzer (Swansea University)

– Computing Language: Love Let= ters, Large Models and NLP, organised by Liesbeth de Mol (Université= de Lille) and Giuseppe Primiero (University of Milan) for the Council of t= he HaPoC Commission

– Computing with bio-molecules, organi= sed by Jérôme Durand-Lose (Université d’Orleans) = and Claudio Zandron (University of Milan Bicocca)

– Constr= uctive and reverse mathematics, organised by Samuele Maschio (Universita di= Padova) and Takako Nemoto (Japan Advanced Institute of Science and Technol= ogy – JAIST)

– Reachability problems, organised by P= aul Bell (Loughborough University) and Igor Potapov (University of Liverpoo= l)

The speakers of the special sessions will be announced soon= =2E

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

Contributed papers will be selected fro= m submissions received by the PROGRAM COMMITTEE consisting of:

M= arcella Anselmo (University of Salerno)
Verónica Becher (Univer= sity 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 Vedov= a (University of Milan)
Leah Epstein (University of Haifa)
Maribe= l 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 (Universi= ty of Padova)
Florin Manea (University of Goettingen)
Klaus Meer = (Brandenburg University of Technology Cottbus)
Dale Miller (LIX Polyte= chnique)
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 Univ= ersity)
Reed Solomon (University of Connecticut)
Mariya Soskova (= University of Wisconsin–Madison)
Peter Van Emde Boas (University= of Amsterdam)
Andreas Weiermann (Ghent University)
Andreas Wiche= rt (University of Lisbon)

The CiE conferences serve as an interd= isciplinary forum for research in all aspects of computability, foundations= of computer science, logic, and theoretical computer science, as well as t= he interplay of these areas with practical issues in computer science and w= ith other disciplines such as biology, mathematics, philosophy, or physics= =2E


THE PROGRAM COMMITTEE cordially invites all researchers, European = and
non-European, to submit their papers in all areas related to the a= bove for
presentation at the conference and inclusion in the proceedin= gs of CiE 2022 at
https://easychair.org/conferences/?conf=3Dcie2022

Papers must be submitted in PDF format, using the LNCS style (available a= t
https://www.springer.com/gp/computer-science/ln= cs/
conference-proceedings-guidelines) and must have a maximum of = 12 pages,
including references but excluding a possible appendix in wh= ich one can include
proofs and other additional material. Papers build= ing bridges between different
parts of the research community are part= icularly welcome.

The CONFERENCE PROCEEDINGS will be published b= y LNCS, Springer-Verlag.


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
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/co= nferences
/?conf=3Dcie2022), using the LNCS style file (available = at https://
www.springer.com/gp/computer-sci= ence/lncs/conference-proceedings-guidelines),
and be 1 page long; = a brief description of the results suffices and an abstract
is not req= uired. Informal presentations will not be published in the LNCS
confer= ence proceedings. Results presented as informal presentations at CiE 2022may appear or may have appeared in other conferences with formal procee= dings
and/or in journals. The deadline for the submission of abstracts= for informal
presentations is May 1, 2022.


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 fr= amework of the Women in
Computability program, we are able to offer so= me grants for junior women
researchers who want to participate in CiE = 2022. Applications for this grant
should be sent to Liesbeth de Mol,&n= bsp;liesbeth.demol@univ-lille3.fr, before May
15, 202= 2 and include a short cv (at most 2 pages) and contact information for
an academic reference. Preference will be given to junior women researcher= s who
are presenting a paper (including informal presentations) at CiE= 2022.


Association CiE:
https://www= =2Eacie.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 Foundry,
Bay Campus, Swansea University,
Crymly= n Burrows, Skewen,
Swansea SA1 8EN, United Kingdom

This con= ference is in cooperation with the Association for Women in Mathematics
and supports the Welcoming Environment Statement. We are grateful for sup= port
from the Institute for Coding in Wales.


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 University)
Ulrich Berger (Swansea Univers= ity)
Tonicha Crook (Swansea University)
Faron Moller (Swansea Uni= versity)
Bertie Mueller (Swansea University)
Eike Neumann (Swanse= a University)
Arno Pauly (Swansea University, chair)
Olga Petrovs= ka (Swansea University)
Pierre Pradic (Swansea University)
Markus= Roggenbach (Swansea University)
Monika Seisenberger (Swansea Universi= ty)
Anton Setzer (Swansea University)
John Tucker (Swansea Univer= sity)

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

--=_370ca8d7ba18d195c9feb33431ed3771--