- Menu
- Passa a palavra.
Partilha esta página. - Linked in
- Copiar Url
-
José Manuel Valença, investigador do Laboratório de Software Confiável (HASLab) do INESC TEC e professor catedrático da Escola de Engenharia da Universidade do Minho, deu a sua última lição no dia 18 de outubro, na Universidade do Minho, em Braga.
13 novembro 2019
Uma equipa de investigadores do Laboratório de Software Confiável (HASLab) do INESC TEC participou na 38th International Symposium on Reliable Distributed Systems (SRDS 2019), que decorreu em Lyon, França, de 1 a 4 de outubro, onde apresentou quatro artigos científicos, organizou um workshop, entre outras missões.
13 novembro 2019
O FM’19 – 3rd World Congress on Formal Methods, evento que reúne os especialistas de todo o mundo na área da Informática, realizou-se no Porto, entre os dias 7 e 11 de outubro.
31 outubro 2019
O artigo “Automatically Inferring ClassSheet Models from Spreadsheets” da co-autoria de João Saraiva, investigador do Laboratório de Software Confiável (HASLab) do INESC TEC e docente da Escola de Engenharia da Universidade do Minho, recebeu o prémio Most Influential Paper da conferência internacional VL/HCC 2019, que decorreu em Memphis, Tennessee, USA, de 14 a 18 de outubro.
23 outubro 2019
A “Computação sem Fronteiras”, atividade inserida no programa Verão no Campus 2019 e organizada em colaboração com o Laboratório de Software Confiável (HASLab) do INESC TEC, contou com a participação de 28 alunos do ensino secundário e decorreu de 22 a 26 de julho, no Departamento de Informática da Universidade do Minho, em Braga.
16 agosto 2019
Luís Soares Barbosa, investigador do Laboratório de Software Confiável (HASLab) do INESC TEC, e Rui Carlos Oliveira, administrador do INESC TEC e também investigador do HASLab, foram eleitos para o Conselho de Escola e para o Conselho Científico da Escola de Engenharia da Universidade do Minho (EEUM), respetivamente.
30 julho 2019
O INESC TEC, no âmbito do recentemente aprovado projeto europeu InterConnect, participou na 9ª edição da IoT Week, que decorreu de 17 a 21 de junho, em Aarhus, Dinamarca. O INESC TEC é o parceiro líder deste projeto, que arranca oficialmente em outubro de 2019.
26 julho 2019
A emissão e utilização da carta de condução em smartphones e outros dispositivos móveis, com garantias de integridade e autenticidade da informação, privacidade do utilizador e interoperabilidade entre diferentes países vai dar origem à norma internacional ISO 18013-5, que foi discutida na reunião do grupo de trabalho da International Organization for Standardisation (ISO), que decorreu de 1 a 4 de julho, no edifício sede do INESC TEC, no Porto.
26 julho 2019
O artigo intitulado “GreenHub Farmer: Real-world data for Android Energy Mining” foi distinguido com a Special Mention Award na Data Showcase Track.
10 julho 2019
A longevidade das baterias dos dispositivos móveis é um problema para a maioria dos utilizadores. A interação dos utilizadores com estes dispositivos é, muitas vezes, prejudicada pela preocupação constante em que a bateria se acabe. Esse problema pode, no entanto, deixar de existir.
09 julho 2019
O Bootcamp do CoLAB VORTEX, o novo laboratório colaborativo de aceleração e transferência de tecnologia de sistemas ciber-físicos e cibersegurança, decorreu em maio, nas instalações do CISTER, no Porto, e contou com a presença de vários investigadores do Laboratório de Software Confiável (HASLab) do INESC TEC.
21 junho 2019
Francisco Ribeiro e Michael Oliveira, investigadores do Laboratório de Software Confiável (HASLab) do INESC TEC, receberam a Bolsa de Mérito da UMinho pelo ano académico anterior.
21 junho 2019