Anúncios

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/



O Projeto SureThing

23 Novembro 2018, 16:08 - Pedro Manuel

O projeto SureThing, liderado pelo Professor Miguel Pardal do DEI, iniciou-se em Outubro e vai abordar uma necessidade premente na Internet das Coisas: a criação e validação de certificados de localização. O objetivo é permitir que os dispositivos limitados, necessários para a prestação de serviços na Internet das Coisas, possam fazer prova da sua localização ou pedir provas a outros dispositivos. Os certificados emitidos usando o SureThing irão conter dados de localização obtidos usando uma ou mais técnicas do estado da arte, com medições de rede sensíveis à localidade, com valores locais de WiFi e Bluetooth por exemplo, bem como sensores de ambiente. As técnicas existentes consideram apenas o uso de smartphones. O projeto está a investigar formas de adaptar estas técnicas a dispositivos mais limitados e aos protocolos na IdC, como o COAP e o MQTT. O SureThing será extensível para que novas técnicas de localização, desenvolvidas no projeto ou pela comunidade, possam ser facilmente incorporadas.

Mais informação em:
https://surething-project.eu

Siga o projeto em:

https://twitter.com/SureThingProj