Theory
Swansea, Department of Computer Science
Menu
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
proof_society_workshop_yong_cheng_1
← Previous
Photo by Olga Petrovska
Translate ยป