Em 2019 a UNESCO estabeleceu o dia 14 de Janeiro como Dia Mundial da Lógica https://www.unesco.org/en/days/world-logic). "At the dawn of this new decade – indeed, now more than ever – the discipline of logic is utterly vital to our societies and economies. Computer science and digital technology, which provide the structure for today’s ways of life, are rooted in logical and algorithmic reasoning." disse Audrey Azoulay, à data Diretora-Geral da UNESCO.
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 seguintes intervenções.
Doutora Graça Canto Moniz, Professora Auxiliar Convidada da FD da NOVA e "Google Chair on Data Governance", que abordará os desafios para o direito https://novalaw.unl.pt/graca-canto-moniz/;
Doutor Simão Melo de Sousa, Professor Catedrático do Departamento de Informática da Universidade do Algarve, que abordará os desafios para os sistemas de software https://www.ualg.pt/bio/spsousa ;
Doutor Henrique Domingos, Professor Associado do Departamento de Informática da NOVA, que abordará os desafios para a segurança dos sistemas https://docentes.fct.unl.pt/hj/.
