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
  • Seminars and Workshops
    • Seminars Calendar
    • PCV seminar series
    • The Russell Club
  • Publications
Theory

COMPUTAL

Computable Analysis

http://computal.uni-trier.de/

Recent Posts

  • BCTCS 2022
  • BCTCS 2022
  • Happy birthday to Faron Moller 🎂
  • BCTCS 2022 Deadline extended
  • Happy Birthday to John Tucker 🎂

Archives

  • April 2022
  • March 2022
  • February 2022
  • October 2021
  • September 2021
  • May 2021
  • March 2021
  • February 2021
  • January 2021
  • November 2020
  • October 2020
  • September 2020
  • August 2020
  • July 2020
  • June 2020
  • April 2020
  • March 2020
  • January 2020
  • October 2019
  • September 2019
  • April 2019
  • March 2019
  • February 2019
  • November 2018
  • September 2018
  • August 2018
  • July 2018
  • June 2018
  • May 2018
  • April 2018
  • February 2018
  • November 2017
  • October 2017
  • May 2017
  • September 2016
  • August 2016
  • July 2016
  • June 2016
  • April 2016
  • March 2016
  • January 2016
  • December 2015
  • November 2015
  • September 2015

Categories

  • Break through result
  • Conference
  • Event
  • Invited talk
  • Members
  • New project
  • PhD Viva
  • Postdoc
  • Research
  • Research students
  • Research trip
  • Research visit
  • school
  • Theory Seminar Series
  • Workshop

Meta

  • Log in
  • Entries RSS
  • Comments RSS
  • WordPress.org
Proudly powered by WordPress
Translate »