Professor Fernando Ferreira (Faculty of Sciences – ULisboa) will give a seminar titled “What is a classical functional interpretation?”, on the 1st World Logic Day, celebrated on 14th January 2020.
The seminar is organised by DM-IST and will take place at 17:00, in PA3 amphitheatre (Mathematics building).