CiE 2022: Computability in Europe 2022 Swansea University Swansea, UK, July 11-15, 2022 |
| Conference website | https://www.acie.eu/cie-conference-series/ |
| Submission link | https://easychair.org/conferences/?conf=cie2022 |
| Abstract registration deadline | January 28, 2022 |
| Submission deadline | February 4, 2022 |
| Informal presentation submission deadline | May 10, 2022 |
Computability in Europe 2022: Revolutions and revelations in computability
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.
Submission Guidelines
The following categories of submissions are welcome:
Full contributed papers
The programme committe cordially invites all researchers, European and non-European, to submit their papers in all areas related to the topics of CiE for presentation at the conference and inclusion in the proceedings of CiE 2022.
Papers must contain original research that has not been submitted to another conference. They 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.
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 using the LNCS style file (available at https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines) and be 1 page; 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.
Committees
Program Committee
- 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)
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)
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)
Tutorials
- Noam Greenberg (Victoria University of Wellington): Computability in set theory
- Karoliina Lehtinen (LIS, Aix-Marseille University): Logic, games and automata
Special Sessions
- At the intersection of computability and other areas of mathematics, organised by Denis Hirschfeldt (University of Chicago) and Karen Lange (Wellesley College)
- Meng-Che Ho (California State University, Northridge)
- Alexandra Shlapentokh (Eastern Carolina University)
- Elvira Mayordomo (Universidad de Zaragoza)
- Fourth speaker TBA
- Computability theory of blockchain technology, organised by Arnold Beckmann (Swansea University) and Anton Setzer (Swansea University)
- Eli Ben-Sasson (StarkWare)
- Maurice Herlihy (Brown University, Providence)
- 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
- Troy Astarte (Swansea University)
- Mael Pegny (Universität Tübingen)
- Jacopo Tagliabue (COVEO)
- Fourth speaker TBA
- Computing with bio-molecules, organised by Jérôme Durand-Lose (Université d'Orleans) and Claudio Zandron (University of Milan Bicocca)
- Giuditta Franco (University of Verona)
- Maria Dolores Jimenez-Lopez (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)
- Makoto Fujiwara (LMU Munich)
- Takayuki Kihara (Nagoya University)
- Robert Lubarsky (Florida Atlantic University)
- Huishan Wu (BLCU Beijing)
- Reachability problems, organised by Paul Bell (Loughborough University) and Igor Potapov (University of Liverpool)
- Kitty Meeks (University of Glasgow)
- Olivier Bournez (École Polytechnique de Paris)
- Véronique Bruyère (Université de Mons)
- James Worrell (University of Oxford)
Publication
CiE 2022 proceedings will be published in Lecture Notes in Computer Science
by Springer Verlag, in the ARCoSS (Advanced Research in Computing and Software Science) subline.
Venue
The conference will be held in Swansea, Wales.
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.
Sponsors
We are grateful for support from the Institute for Coding in Wales,the London Mathematical Society, and Springer-Verlag.
Contact
Questions about the conference should be emailed to cie2022swansea@gmail.com.