(English) Workshop on Specifying Proof Systems and Computations