EVENTS


ARCHIVE



INAUGURAL LECTURE by GILLES BARTHE
“HIGH-ASSURANCE SOFTWARE FOR SECURITY AND PRIVACY”
Auditório EEUM, Gualtar, 1 February 2017, 14.30h

ABSTRACT:
Our security and privacy increasingly relies on complex software. Yet, designing software that executes correctly and still protects our privacy and security remains a challenging task, because any flaw in the design or implementation of software can have dramatic effects. One approach to deliver software that meets its goals and expectations is to use formal methods, a broad discipline that aims to improve the quality of software artefacts by means of rigorous mathematical analysis. In this talk, Gilles Barthe will exemplify how formal methods, and more particularly program verification, can be used for validating the design and implementation of high-assurance software for security and privacy.

PROGRAM:
14.30 Presentation of the PT-FALD Chair
14.45 Inaugural Lecture by Prof. Gilles Barthe
15.45 Round Table with
• Eng. Mário Moreira, Altice Labs
• Prof. José Nuno Oliveira, HASLab INESC TEC
• Prof. Henrique Santos, Centro Algoritmi
Moderator Sara Fernandes, UNU-EGOV & HASlab INESC TEC

INAUGURAL LECTURE PDF


Signing Ceremony

"The PT-FLAD Chair in Smart Cities & Smart Governance, based at the University of Minho, was launched on April 26, 2016, at the Advanced Postgraduate Training Center at the Campus de Couros in Guimarães. The signing of the protocol was attended by Paulo Neves, Executive President of Portugal Telecom, Vasco Rato and Jorge Gabriel, respectively President and Administrator of the Luso-American Foundation for Development, and António Cunha, Rector of University of Minho, among other personalities. The event also included the "Smart Cities" lecture given by António Murta, member of the General Council of UMinho.
The creation of the PT-FLAD Chair at University of Minho is due to the role of the University of Minho in the area, especially since it hosts the University of the United Nations - Operational Unit for Electronic Governance (2014) and the development unit The Agency for Administrative Modernization (AMA), a laboratory for prototyping and pilot projects at EGOV (2014).
In the multidisciplinary domain of Smart Cities, University of Minho has developed several supporting technologies (such as computer security, cyber physical systems and big data) and designed pilot initiatives with an impact on the evolution of societies and the state.


events