Workshop: Simplicity of Proofs in Automated Reasoning

The Workshop: Simplicity of Proofs in Automated Reasoning will take place on July the 6th at the Faculty of Science and Technology of the New University of Lisbon, building VII, Seminars room, (2nd floor).

Webpage