A próxima palestra da iniciativa “DEI às Quartas” terá lugar no dia 5 de dezembro, às 13h30.
Será subordinada ao tema “Interactive theorem proving and software verification” e terá como oradora a professora Alexandra Mendes.
Local: Campus Alameda – sala 0.19, Pavilhão de Informática II & Campus Taguspark – sala 2N1.5 (através de videoconferência).
