I am giving a talk at LISEDA, Catia Pesquita’s AI for Science research group in the LASIGE department, and visiting the University of Lisbon for a few days.