Financial support through the following projects:
UIDB/00297/2020
UID/MAT/00297/2019
UID/MAT/00297/2013
PEst-OE/MAT/UI0297/2014
PEst-OE/MAT/UI0297/2011
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).
Research Groups
