[Proof Complexity] Workshop on the occasion of Samuel R Buss’ 60th birthday

Arnold Beckmann a.beckmann at swansea.ac.uk
Thu Jun 22 00:20:06 CEST 2017

Friday, July 14, 2017
10am - 5pm in 1202 CSE building, UCSD

To celebrate Sam Buss’ 60th birthday, we are organising an Omni Buss 
celebration workshop.

Sam’s work has had major impact on many areas of mathematics and 
computer science, including logic, proof theory, proof complexity, 
computational complexity, algorithms, and graphics. The programme will 
include a series of invited talks, including the following speakers:

Arnold Beckmann, Swansea Univeristy
Maria Luisa Bonet Carbonell, Universidad Politécnica de Cataluna
Jonathan Buss, University of Waterloo
Russell Impagliazzo, UCSD
Toniann Pitassi, Univeristy of Toronto
Steve Rotenberg, UCSD
Ryan Williams, MIT

Register for free at
All welcome!

The event is sponsored by UCSD Departments of Computer Science and 

More information about the Proof-Complexity mailing list