Algebraic Proof Systems

Speaker: Frantisek Polach

Time: 3:00PM
Date: Wed 27th January 2010

Location: Mathematical Sciences Seminar Room

(This talk is part of the Postgraduate series.)