Theory

Swansea, Department of Computer Science

Skip to content

Home
About
People
Projects
- Current projects
- Past projects
  - COMPUTAL
  - CORCON
  - DETIPS
  - PLANCOMPS
Calendar
Events
- Conferences and workshops
- Theory Seminar Series (Calendar)
Publications

Tag Archives: theory group

Working remotely but staying together

Theory group zoom meeting

Theory group zoom meeting

This entry was posted in Research and tagged meeting, theory group, zoom on 17/07/2020 by OP.

Search for:

Recent Posts

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

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

Archives

Categories

Categories

Proudly powered by WordPress

Translate »