Sessão comemorativa do Dia Mundial da Lógica do Departamento de Informática

14 Jan 2026 - das 14h00 às 17h00

Categoria:
Evento

Onde:
Presencial

Local:
Auditório do Uninova

Descrição:

O Departamento de Informática organiza uma sessão comemorativa híbrida,na próxima Quarta, dia 14, das 14 às 17h, no Auditório do Uninova e online em https://meet.google.com/hon-eeap-bxv.

A sessão será focada nos desafios para a Informática da regulamentação nacional e europeia sobre os sistemas digitais. Cremos que os métodos
rigorosos e formais são essenciais para compreender a legislação, analisar se os sistemas que usamos a respeitam e como garantir que os
que construímos são com ela compatíveis. É um desafio científico, tecnológico e também de cidadania.

A sessão contará com as intervenções dos Doutores:

Graça Canto Moniz, Professora Associada da FD da NOVA, que abordará os desafios para o direito;

Simão Melo de Sousa, Professor Catedrático do DI da UAlg, que abordará os desafios para os sistemas de software;

Doutor Henrique Domingos, Professor Associado do DI da NOVA, que abordará os desafios para a segurança dos sistemas.

Ligação:
https://meet.google.com/hon-eeap-bxv.