Anúncios

DEI às 4ªs com José Fragoso Santos

10 Dezembro 2018, 18:00 - Pedro Manuel

IST Alameda - Sala 0.19 - Pavilhão Informática II e IST TagusPark - Sala 2N1.5 (por videoconferência)

Início às 12h15


JaVerT 2.0: Compositional Symbolic Execution for JavaScript

O DEI às 4ªs do dia 12 de Dezembro terá como orador José Fragoso Santos, doutorado pela Inria Sophia Antipolis Méditerranée, e investigador pós-doutorado no Imperial College de Londres.
A palestra irá incidir sobre Execução Simbólica Composicional para JavaScript.

Mais informações aqui.

Pode saber mais sobre o trabalho de José Fragoso Santos aqui.



Competição de Blokus Duo - REC 2019

6 Dezembro 2018, 11:06 - Pedro Manuel

Competição de Blokus Duo organizada pelo Prof. Rui Duarte, no âmbito do REC 2019.
Pré-inscrição de equipas até ao dia 14 de Janeiro de 2019!

Mais informações aqui.



DEI às 4ªs com a Prof. Alexandra Mendes

4 Dezembro 2018, 10:01 - Pedro Manuel

5 de Dezembro de 2018 às 13:30

IST Alameda - Sala 0.19 - Pavilhão Informática II e IST TagusPark - Sala 2N1.5 (por videoconferência)

Interactive theorem proving and software verification

O DEI às 4ªs do dia 5 de Dezembro terá como oradora a Prof. Alexandra Mendes, doutorada pela Universidade de Nottingham.
A palestra irá incidir sobre a Demonstração Interativa de Teoremas, e os métodos e tecnologias que podem ser empregues no sentido de atingir uma maior acessibilidade a não-especialistas.

Mais informações aqui.

Pode saber mais sobre o trabalho da Prof. Alexandra Mendes aqui.



DEI às 4ªs com o Prof. Hugo Nicolau

27 Novembro 2018, 10:33 - Pedro Manuel

28 de Novembro de 2018 às 13:30
IST TagusPark - Sala 2N1.5  e 
IST Alameda - Sala 0.19 - Informática II (por videoconferência)

O DEI às 4ªs do dia 28 de Novembro terá como orador o Prof. Hugo Nicolau, docente do Departamento de Engenharia Informática do Instituto Superior Técnico, investigador do grupo VIMMI do INESC-ID.

Mais informações aqui.

Pode saber mais sobre o trabalho do Prof. Hugo Nicolau aqui.





Computação e Sociedade

26 Novembro 2018, 15:39 - Pedro Manuel

27 de Novembro, das 9h30 às 18h00 no Auditório 2 da Gulbenkian. Entrada livre.

Uma conferência onde se irá refletir acerca da computação, e da sua crescente presença em cada vez mais aspetos da sociedade.Co-organizada pela Gulbenkian e IST, conta com a participação do DEI, através dos seus docentes. O Prof. Arlindo Oliveira é um dos comissários da conferência, sendo orador na sessão de abertura, e indo presidir aos painéis da parte da tarde.

Mais informações: https://gulbenkian.pt/evento/computacao-e-sociedade/