dr Zenon Sadowski

Konferencje

1. Z. Sadowski
   Workshop Limits of Theorem Proving, Rome, Italy, Sep 25-27, 2012
   University of Leeds, Sapienza University Rome, Sapienza University Rome, University of Toronto (org.)
2. Z. Sadowski
   Characterizing the Existence of Optimal Proof Systems and Complete Sets for Promise Classes (invited talk)
   Model Theory and Proof Theory of Arithmetic, Będlewo, Poland, Jul 22-28, 2012
   Banach Center (org.)
   (A Memorial Conference in Honour of H. Kotlarski and Z. Ratajczyk)