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

Workshop on Proof Theory and its Application

The Proof Theory Summer School will be followed by the Workshop on September 11-13, 2019. For more information click below:

workshop on proof theory

This entry was posted in Conference, Invited talk, Research, Workshop and tagged computer science, logic, math, proof society, proof theory, theory, workshop on April 16, 2019 by OP.

Post navigation

← We are hosting Proof Society Summer School Proof Society Summer School →

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 ยป