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

Olaf Beyerdorff visiting

Olaf Beyersdorff from the University of Leeds is visiting Swansea on the 12th of April 2016.

He will give a talk in the Theory Seminar about Proof Complexity of Quantified Boolean Formulas

This entry was posted in Event, Research trip on April 12, 2016 by Ulrich Berger.

Post navigation

← Nao Hirokawa visiting Grant Malcolm visiting →

Recent Posts

  • Talk by Adam Ó Conghaile
  • Celebrating World Logic Day at Swansea
  • Tonicha is speaking at UW-Madison logic seminar
  • Join The Russell Club
  • Seventeenth International Conference on Computability and Complexity in Analysis

Archives

  • 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
  • New project
  • PhD Viva
  • 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 »