Theory

Swansea, Department of Computer Science

Skip to content
  • Home
  • About
  • People
  • Projects
    • Current projects
      • CID
      • CHERISH-DE
      • Railway Verification Group
    • Past projects
      • COMPUTAL
      • CORCON
      • DETIPS
      • PLANCOMPS
  • Calendar
  • Events
    • Conferences and workshops
      • CiE 2022
      • BCTCS 2022
      • BCTCS 2020
      • Workshop on Proof Theory and its Applications 2019
    • Theory Seminar Series
      • PCV seminar series
  • Publications
Theory

BCTCS 2022

It was wonderful to have an in-person conference finally. Thanks to everyone who participated in this year’s BCTCS.

Photo by Troy Kaighin Astarte (@TKA_Photos)

This entry was posted in Conference, Event and tagged #bctcs #bctcs2022 #conference #british #colloquium on April 13, 2022 by OP.

Post navigation

← BCTCS 2022 Computability in Europe 2022 is taking place in Swansea →

Recent Posts

  • Congratulations to Tobias!
  • Florian Lercher visiting Swansea
  • AISB Workshop on Explainability and Transparency in AI (XTAI 2022)

RSS Recent publications

  • Specification-Based Testing
    BH Schlingloff, M RoggenbachFormal Methods for Software Engineering: Languages, Methods, Application …, 2022(Feed generated with FetchRSS)
  • Revolutions and Revelations in Computability: 18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11–15, 202...
    U Berger, JNY Franklin, F Manea, A PaulySpringer Nature, 2022(Feed generated with FetchRSS)
  • On understanding the influence of controllable factors with a feature attribution algorithm: a medical case study
    VRR Kovvuri, S Liu, M Seisenberger, X Fan, B Müller, H Fu2022 International Conference on INnovations in Intelligent SysTems and …, 2022(Feed generated with FetchRSS)
  • Partial arithmetical data types of rational numbers and their equational specification
    JA Bergstra, JV TuckerJournal of Logical and Algebraic Methods in Programming 128, 100797, 2022(Feed generated with FetchRSS)
  • The dynamics of belief: continuously monitoring and visualising complex systems
    EJ Beggs, JV TuckerarXiv preprint arXiv:2208.05764, 2022(Feed generated with FetchRSS)

Meta

  • Log in
  • Entries RSS
  • Comments RSS
  • WordPress.org

Archives

Categories

Proudly powered by WordPress
Translate »