- Menu
- Passa a palavra.
Partilha esta página. - Linked in
- Copiar Url
-
Duas das cinco ideias de negócio consideradas mais interessantes, apresentadas por portugueses no primeiro dia da Web Summit, dizem respeito a projetos ligados ao INESC TEC, nomeadamente a Kinematix e a SafeCloud.
22 novembro 2016
Terminou no mês de outubro o projeto europeu CoherentPaaS (Coherent and Rich PaaS with a Common Programming Model), que conta com o Laboratório de Software Confiável (HASLab) do INESC TEC como parceiro.
27 outubro 2016
O Laboratório de Software Confiável (HASLab) do INESC TEC iniciou este mês dois novos projetos, o TRUST e o DaLí, nas áreas da engenharia de software. Os projetos, que arrancaram nos dias 19 e 20 de setembro na Universidade do Minho, contam com um financiamento de 250 mil euros.
30 setembro 2016
A aplicação móvel de fotografias mais segura do mercado é portuguesa e foi desenvolvida por investigadores do Laboratório de Software Confiável (HASLab) do INESC TEC.
30 setembro 2016
Computação Sem Fonteiras é o nome da atividade organizada maioritariamente por investigadores do Laboratório de Software Confiável (HASLab) do INESC TEC que promove as áreas da Informática e da Computação. Esta é já a 9ª edição do Verão no Campus da Universidade do Minho e as 24 vagas disponíveis para esta atividade foram preenchidas na sua totalidade.
28 julho 2016
José Creissac Campos, investigador do Laboratório de Software Confiável (HASLab) do INESC TEC e docente na Universidade do Minho, foi recentemente eleito presidente do grupo de trabalho 2.7/13.4 da IFIP – International Federation for Information Processing (Federação Internacional de Processamento de Informação).
07 julho 2016
O INESC TEC terá uma forte participação no Encontro Nacional Ciência 2016, a maior e mais diversificada reunião de cientistas e investigadores portugueses, que decorrerá de 4 a 6 de julho no Centro de Congressos de Lisboa.
04 julho 2016
José Creissac Campos e Michael Harrison, ambos investigadores do Laboratório de Software Confiável (HASLab) do INESC TEC, foram distinguidos com uma menção honrosa com o artigo “Modelling information resources and their salience in medical device design”, no âmbito da conferência Engineering Interactive Computing Systems (EICS), que se realizou de 21 a 24 de junho em Bruxelas.
01 julho 2016
Luís Soares Barbosa e Sara Fernandes, investigadores no Laboratório de Software Confiável (HASLab) do INESC TEC, estão a dinamizar a Cátedra “Smart Cities e Smart Governance” na Fundação Luso-Americana para o Desenvolvimento (FLAD), na sequência de um protocolo assinado com aquela instituição na primeira semana de maio no Campus de Couros em Braga.
13 junho 2016
Georges Younes, investigador do Laboratório de Software Confiável (HASLab) do INESC TEC e estudante de doutoramento do programa doutoral em Ciências de Computadores (MAP- i), vai participar na Google Summer of Code 2016, uma iniciativa financiada pela Google para promover, junto de estudantes, o desenvolvimento de software open source.
07 junho 2016
Carlos Baquero, investigador do Laboratório de Software Confiável (HASLab) do INESC TEC e docente da Universidade do Minho, é o primeiro investigador do INESC TEC a publicar um artigo na revista especializada Communications of the ACM. O artigo, intitulado “Why logical clocks are easy”, foi publicado na edição de abril da revista.
16 maio 2016
O Laboratório de Software Confiável (HASLab) do INESC TEC acolheu, de 29 a 31 de março, os alunos das Escolas Secundárias do distrito de Braga que escolheram o HASLab como centro de investigação para vivenciar a atividade de um investigador na área da Informática. O acolhimento decorreu no âmbito do programa “Os Melhores Alunos na UMinho”.
22 abril 2016