Assertion and Proof (Book of Abstracts)