The Workshop

CCC is a workshop series that brings together researchers applying logical methods to the development of algorithms, with a particular focus on computation with infinite data, where issues of continuity, computability and constructivity play major roles. Specific topics include exact real number computation, computable analysis, effective descriptive set theory, constructive analysis, and related areas. The overall aim is to apply logical methods in these disciplines to provide a sound foundation for obtaining exact and provably correct algorithms for computations with real numbers and other continuous data, which are of increasing importance in safety critical applications and scientific computation.

Previous workshops have been held in Cologne 2009, Trier 2012, Gregynog 2013, Ljubljana 2014, Kochel 2015, Nancy 2017, Faro 2018, Ljubljana 2019, Faro 2020 (online), Birmingham 2021 (online), Padova 2022, Kyoto 2023, Nice 2024, and Swansea 2025

Programme

TBA

Invited Speakers

TBA

Contributions

The workshop invites all contributions relating to computation where issues of continuity, computability and constructivity play major roles. Specific areas of interest include:

• Exact real number computation
• Correctness of algorithms on infinite data
• Computable analysis
• Complexity of real numbers, real-valued functions, etc.
• Effective descriptive set theory
• Domain theory
• Constructive analysis and topology
• Constructive foundations
• Category-theoretic approaches to computation on infinite data
• Weihrauch degrees
• Other related areas

Extended abstracts (1-2 pages) of original work should be submitted in pdf format.

Submission link: https://easychair.org/conferences/?conf=ccc2026

Deadline for Submissions: March 31, 2026

Notification: April 15, 2026

Registration

TBA

Venue

Graduate School of Human and Environmental Sciences, Kyoto University

Accomodation

Unfortunately, there are very few hotels in the direct vicinity of Kyoto university. However, there are plenty of options in downtown Kyoto (the Shijo - Sanjo, Kawaramachi - Karasuma area). From there, you can take Kyoto City Bus No. 201 (bound for Gion / Hyakumanben) or No. 31 (bound for Iwakura) from the Shijo Kawaramachi bus stop and get off at Kyodai Seimon-mae (Kyoto University).

Due to the high number of tourists in Kyoto, we recommend that you book your accommodation as early as possible.

Important: Please be aware of unsolicited spam emails offering hotel reservations. The organizers will never contact you via third-party travel agencies. If you receive such messages, please ignore them.

Programme Committee

• Matthew de Brecht (Kyoto, Japan) (co-chair)
• Daniel Graça (Faro, Portugal)
• Takayuki Kihara (Nagoya, Japan)
• Maria Emilia Maietti (Padua, Italy) (chair)
• Elvira Mayordomo (Zaragoza, Spain)
• Alexander Melnikov (Wellington, New Zealand)
• Norbert Müller (Trier, Germany)
• Sewon Park (Ljubljana, Slovenia)
• Arno Pauly (Swansea, UK)
• Monika Seisenberger (Swansea, UK)
• Dieter Spreen (Siegen, Germany)

Organizing Committee

• Matthew de Brecht (Kyoto, Japan)
• Akitoshi Kawamura (Kyoto, Japan)
• Holger Thies (Kyoto, Japan)
• Hideki Tsuiki (Kyoto, Japan)