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" )