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 supported by the "Fundação para a Ciência e a Tecnologia" (Portuguese Foundation for Science and Technology) through the project UID/MAT/00297/2013 (Centro de Matemática e Aplicações), and the project PTDC/MHC-FIL/2583/2014 ("Hilbert's 24th Problem" )