1 Table of Contents: “...'s conjecture and its solution : a survey / Ya'acov Peterzil -- Proof theory and meaning : on the context...”