Abstract
In the first part of the paper we discuss some conceptual problems
related to the notion of proof. In the second part we survey five major
open problems in Provability Logic as well as possible directions for
future research in this area.
