Workshop: Simplicity of Proofs in Automated Reasoning

Date: July 6th,  2017

Venue: Faculty of Science and Technology, New University of Lisbon, Portugal

This Workshop is part of the project "Hilbert's 24th Problem" funded by the Portuguese Foundation for Science and Technology (PTDC/MHC-FIL/2583/2014)