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 (Calendar)
  • Publications
Theory

BCTCS 2020 going ahead

In spite of the COVID-19 outbreak, we are glad to host BCTCS 2020 starting today, even if virtually. For more information on invited and contributed talks, check the official BCTCS 2020 website.

This entry was posted in Conference, Event, Invited talk, Research, Workshop and tagged BCTCS, conference, zoom on 05/06/2020 by OP.

Post navigation

← 25th International Workshop on Algebraic Development Techniques 2020 Prawf: an interactive proof assistant for program extraction (CIE 2020 talk) →

Recent Posts

  • Today is Bertrand Russell’s birthday
  • Today is Kurt Gödel’s birthday
  • Today is Ludwig Wittgenstein’s birthday

RSS Recent publications

  • THE JOURNAL OF SYMBOLIC LOGIC
    S Awodey, S Anscombe, V Becher, L Beklemishev, M Benedikt, ...(Feed generated with FetchRSS)
  • Concurrent Gaussian elimination
    U Berger, M Seisenberger, D Spreen, H TsuikiMathematics for Computation (M4C), 223-250, 2023(Feed generated with FetchRSS)
  • From Asymptomatics to Zombies: Visualization-Based Education of Disease Modeling for Children
    G McNeill, M Sondag, S Powell, P Asplin, C Turkay, F Moller, ...ACM, 2023(Feed generated with FetchRSS)
  • From Monitors to Monitors: A Primitive History
    TK AstarteMinds and Machines, 1-21, 2023(Feed generated with FetchRSS)
  • Eager Equality for Rational Number Arithmetic
    JA Bergstra, JV TuckerACM Transactions on Computational Logic, 2023(Feed generated with FetchRSS)

Meta

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

Archives

Categories

Proudly powered by WordPress
Translate »