The conference is concerned with the theory of computability
and complexity over real-valued data.
Computability and complexity theory are two central areas
of research in mathematical logic and theoretical computer
science. Computability theory is the study of the limitations
and abilities of computers in principle. Computational
complexity theory provides a framework for understanding the
cost of solving computational problems, as measured by the
requirement for resources such as time and space.
The classical approach in these areas is to consider
algorithms as operating on finite strings of symbols from a
finite alphabet. Such strings may represent various discrete
objects such as integers or algebraic expressions, but cannot
represent general real or complex numbers, unless they are
rounded.
Most mathematical models in physics and engineering, however,
are based on the real number concept. Thus, a computability
theory and a complexity theory over the real numbers and over
more general continuous data structures is needed. Despite
remarkable progress in recent years many important fundamental
problems have not yet been studied, and presumably numerous
unexpected and surprising results are waiting to be detected.
Scientists working in the area of computation on real-valued
data come from different fields, such as theoretical computer
science, domain theory, logic, constructive mathematics,
computer arithmetic, numerical mathematics and all branches
of analysis. The conference provides a unique opportunity for
people from such diverse areas to meet, present work in progress
and exchange ideas and knowledge.
The topics of interest include foundational work on various
models and approaches for describing computability and
complexity over the real numbers. They also include
complexity-theoretic investigations, both foundational and
with respect to concrete problems, and new implementations of
exact real arithmetic, as well as further developments of
already existing software packages. We hope to gain new
insights into computability-theoretic aspects of various
computational questions from physics and from other fields
involving computations over the real numbers.
The registration fee for regular participants is GBP 150. The registration fee for student participants is GBP 100. Invited speakers do not need to register. The registration fee covers lunches, coffee breaks, and the excursion. There will be a conference dinner which is not included in the fee.
Funding and Sponsoring
Funding opportunities for student members of the Association for Symbolic Logic
(ASL) are available. Applications should be directed to the Association for Symbolic Logic three months prior to the meeting,
following these instructions.
We gratefully acknowledge support from the British Logic Colloquium and the Heilbronn Small Grants Scheme, funded by the
EPSRC Additional Funding Programme for Mathematical Sciences.
Thanks to generous support from the Heilbronn Small Grants Scheme, we are able to offer travel funding for a student or early career researcher from an underrepresented group. We can provide a total of GBP 250, to be used towards travel costs. The funding will be awarded to eligible candidates on a first-come-first-served-basis, with priority given to participants who give a talk at the conference. To apply, please send an email to the chair of the organising committe, Eike Neumann
stating that you wish to apply for the travel funding.
Submissions
Authors are invited to submit 1-2 pages abstracts in PDF format,
including references via the following web page:
If full versions of papers are already available as technical report or arXiv version, then
corresponding links should be added to the reference list.
Final versions of abstracts might be distributed to participants in hardcopy and/or in
electronic form.
Dates
Submission deadline: May, 8 2024 (extended)
Notification of authors: May 27, 2024
Final version: June 10, 2024
Venue
The conference will be hosted in Swansea University Bay Campus in the
computational foundry building (there are two campuses on opposite sides
of the city; you want the eastern one, you do not want Singleton Campus).
We will likely have all the sessions in the Robert Recorde room (102, first floor).
Commuting
Local buses take cash and card (contactless only). You either want a day ticket
or a single ticket (there is no middle ground). Do not take buses to
Swansea University (that's the other campus, you want Bay Campus).
The direct services that are best to get to campus
are the X1, X5, X7, 38 and 90 operated by First Cymru.
Those services start from the central bus station (near the southward gates)
but go through stops closer to many popular hotels (Sainsbury's
(quay parade), cape Horner and the old police station stops).
On the bus, once you see a wind turbine through the coast-facing window, you
want to get off at the next stop.
Travel time is roughly 15min from the central bus station. It is likely you want
to get the bus at some point between 9 and 9:30 if you're departing from there.
Only the 9[0-2] buses will go into the campus, the others will stop on the other
side of the motorway.
On your way back, note there are two bus stops: one on-campus next to the venue,
and one on the main road. All services going through those will lead you back
to the city center through quay parade. Services do stop running rather early
(most before 18:30, the last reasonable one is around 19:15).
Symmetrically, only the 9[0-2] services will start on-campus, others only go
through the stop on the main road.
Alternative services that work are the T6 (which has the same route, but
is operated by a different company - so tickets on this service are not compatible
with any others and vice-versa) and the 91 (which also departs from the
central bus station but adopts a different route (20min) that also stops at the
train station). The 84 might also be reasonable, but uses different stops.
Another option is biking. There is a bike rental service run by Santander with
stations on campus and near the waterfront in town, but whether that is reliable
is unknown.
Walking from city center takes a small hour and is generally considered not
particularly fun (section along the motorway).
CCA Steering Committee
Vasco Brattka, chair (Munich, Germany and Cape Town, South Africa),
Peter Hertling (Munich, Germany),
Akitoshi Kawamura (Kyoto, Japan),
Klaus Weihrauch (Hagen, Germany),
Ning Zhong (Cincinnati, USA),
Martin Ziegler (Daejeon, Republic of Korea)
Further Information
For further information, please contact
Eike Neumann, chair of the Organizing Committee,
(for matters regarding organization)
Zvonko Iljazović, chair of the Program Committee,
(for submissions)
