Faculdade

Notícias

Faculdade

Departamento

Lógica Linear @ DI

13-03-2012

O Departamento de Informática participa no curso "Linear Logic" oferecido por video conferência a partir de Carnegie Mellon University, em simultâneo com o ITU (Dinamarca), Princeton University (USA), IIIT Hyderabad (India) e Nasa (USA). Vários alunos do Programa de Doutoramento em Informática da FCT UNL participam no curso, que aborda uma nova abordagem à lógica da computação, com aplicações de impacto na segurança e verificação de software. O curso é leccionado por Frank Pfenning (Carnegie Mellon), investigador de nomeada na área.