Home People Seminars Conferences News

CCC 2025 Comes to Swansea

Jun 20, 2025

This September Swansea will be hosting CCC 2025 Continuity, Computability, Constructivity - From Logic to Algorithms.

CCC 2025 Website Screenshot

Theoretical Computer Science Swansea University

Theoretical Computer Science Swansea University
cs-theory@swansea.ac.uk

Swansea University Theoretical Computer Science Research Group is internationally renowned for its research in Logic in Computer Science. The active research areas are: Computability Theory, Computational Complexity, Proof Theory, Type Theory, Game Theory, Algorithms, Formal Methods (Automated and Interactive Theorem Proving), Cyber Security, Blockchain Technology, Verification of Railway Control Systems, Artificial Intelligence (Satisfiability Solving, Multi-agent Systems, Argumentation Theory, Trustable Machine Learning, AI and Law).