DMIST Seminar – Fernando Ferreira

Técnico - Alameda campus

Professor Fernando Ferreira (Faculty of Sciences – ULisboa) will give a seminar entitled “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).

More information.