• Proof Complexity Workshop, 16-17 June 2026

    This is a registration form for the workshop "Proof Complexity 2026", which will take place at the Department of Computer Science, University of Bath on 16-17 June 2026.
  • Which day(s) will you attend?*
  • Should be Empty: