Theme 3: Evaluation of Proofs (13th July 2013) Two papers and two posters were devoted to evaluation of proofs or arguments. A third poster related to the theme 2 was also presented.
Theme 3: Evaluation of Proofs (13th July 2013) Two papers and two posters were devoted to evaluation of proofs or arguments. A third poster related to the theme 2 was also presented.