caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* [Caml-list] CIE2022: First Call For Papers
@ 2021-10-07 10:24 acie
  0 siblings, 0 replies; only message in thread
From: acie @ 2021-10-07 10:24 UTC (permalink / raw)
  To: acie

[-- Attachment #1: Type: text/plain, Size: 8023 bytes --]

===============================
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

[-- Attachment #2: Type: text/html, Size: 9805 bytes --]

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2021-10-07 10:24 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-10-07 10:24 [Caml-list] CIE2022: First Call For Papers acie

caml-list - the Caml user's mailing list

This inbox may be cloned and mirrored by anyone:

	git clone --mirror https://inbox.vuxu.org/caml-list
	git clone --mirror https://inbox.ocaml.org/caml-list

	# If you have public-inbox 1.1+ installed, you may
	# initialize and index your mirror using the following commands:
	public-inbox-init -V1 caml-list caml-list/ https://inbox.vuxu.org/caml-list \
		caml-list@inria.fr
	public-inbox-index caml-list

Example config snippet for mirrors.
Newsgroup available over NNTP:
	nntp://inbox.vuxu.org/vuxu.archive.caml-list


AGPL code for this site: git clone https://public-inbox.org/public-inbox.git