Anuj Dawar

Milly Maietty

Cécilia Pradic

Nobuko Yoshida

CCC 2025: From Logic to Algorithms

Theoretical Computer Science Swansea University

Get ready to dive deep into the world of logic and algorithms at CCC 2025!

Computational Foundry 

<p>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.</p><p>Previous workshops have been held in Cologne 2009, Trier 2012, Gregynog 2013, Ljubljana 2014, Kochel near Munich 2015, Nancy 2017, Faro 2018, Ljubljana 2019, Faro 2020, Birmingham 2021, Padova 2022, Kyoto 2023, Nice 2024</p>

Our {communityGuidelinesLink} describe the sort of content we prohibit on Eventbrite. If you suspect an event may be in violation, you can report it to us so we can investigate.

To report other categories of prohibited or illegal content, submit {link}

CCC 2025: From Logic to Algorithms

More events from Theoretical Computer Science Swansea University

Discover more events from Theoretical Computer Science Swansea University, from Science & Tech to other experiences you might love.

CCC 2025: From Logic to Algorithms

More events from Theoretical Computer Science Swansea University

Discover more events from Theoretical Computer Science Swansea University, from Science & Tech to other experiences you might love.

You might also like...

Browse more events with different dates, prices, and formats to find your next great experience.