x

Upcoming conferences!

We have an upcoming conference hosted at Swansea University that you may be interested in:
  • 2026 Logic Colloqiuim, 29th June - 3rd July 2026.
Click on the above links to register and find out more!
Home People Seminars Conferences News

Happy New Year!

Jan 1, 2024

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).