Paulo Santos is presenting a poster to the Ciência 2020

The PhD student Paulo G. Santos is presenting a poster to the Ciência 2020, from 2 to 4 November 2020, one of the biggest conferences on science in Portugal. The poster explores the work that the student and Professor Reinhard Kahle (CMA and FCT-NOVA and Universität Tübingen) have been developing on k-provability, a bounded notion of provability.