Ver Post

DEI às 4ªs com a Prof. Alexandra Mendes

4 Dezembro 2018, 10:01 - Pedro Manuel

5 de Dezembro de 2018 às 13:30

IST Alameda - Sala 0.19 - Pavilhão Informática II e IST TagusPark - Sala 2N1.5 (por videoconferência)

Interactive theorem proving and software verification

O DEI às 4ªs do dia 5 de Dezembro terá como oradora a Prof. Alexandra Mendes, doutorada pela Universidade de Nottingham.
A palestra irá incidir sobre a Demonstração Interativa de Teoremas, e os métodos e tecnologias que podem ser empregues no sentido de atingir uma maior acessibilidade a não-especialistas.

Mais informações aqui.

Pode saber mais sobre o trabalho da Prof. Alexandra Mendes aqui.