Theory

Swansea, Department of Computer Science

Skip to content
  • Home
  • About
  • People
  • Projects
    • Current projects
      • CID
      • DETIPS
      • CHERISH-DE
      • Railway Verification Group
    • Past projects
      • COMPUTAL
      • CORCON
      • PLANCOMPS
  • Seminars
    • Seminars Calendar
    • PCV seminar series
  • Publications
  • Members Area
Theory

COMPUTAL

Computable Analysis

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

Recent Posts

  • Prawf: an interactive proof assistant for program extraction (CIE 2020 talk)
  • BCTCS 2020 going ahead
  • 25th International Workshop on Algebraic Development Techniques 2020
  • Seminar series on Computability Theory and its Applications
  • Yoruki Yamagata’s talk on Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning

Archives

  • 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
  • New project
  • PhD Viva
  • Research
  • Research trip
  • Research visit
  • school
  • Workshop

Meta

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