Detail

World Logic Day 2026

In 2019, UNESCO established 14 January as World Logic Day. “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,” said Audrey Azoulay, at the time Director-General of UNESCO.

The Department of Computer Science and NOVA LINCS organize a commemorative session on the 14th, from 2:00 pm to 5:00 pm, at the Uninova Auditorium and online at https://meet.google.com/hon-eeap-bxv.

The session will focus on the challenges that national and European regulation of digital systems poses for Computer Science.

We believe that rigorous and formal methods are essential to understanding legislation, analyzing whether the systems we use comply with it, and ensuring that the systems we build are compatible with it. This is a scientific and technological challenge, but also one of citizenship.

The session will include the following presentations:

• Professor Graça Canto Moniz, Invited Assistant Professor at NOVA School of Law and “Google Chair on Data Governance,” who will address the challenges for law
• Professor Simão Melo de Sousa, Full Professor at the Department of Computer Science of the University of Algarve, who will address the challenges for software systems
• Professor Henrique Domingos, Associate Professor at the Department of Computer Science of NOVA, who will address the challenges for systems security