HASLab

High-Assurance Software Laboratory

Overview

News

  • New Paper: J.N. Oliveira. Weighted automata as coalgebras in categories of matrices. IJFCS Vol. 24, No. 6 (2013) 709–728, WSP Company. DOI: 10.1142/S0129054113400145
  • New Paper: H.D. Macedo and J.N. Oliveira. Typing Linear Algebra: a Biproduct-oriented Approach. SCP 78:11, pp.2160-2191 (DOI 10.1016/j.scico.2012.07.012)
  • New Paper: J.C. Campos and J. Machado, A Specification Patterns System for Discrete Event Systems Analysis, Int. J. Adv. Robotic Systems, vol. 10, 2013, doi:110.5772/56412
  • Job Opportunities: We are opening five post-doctoral positions. tinynew.gif Details here
  • New Paper: José N. Oliveira, Miguel A. Ferreira, "Alloy Meets the Algebra of Programming: A Case Study," IEEE Transactions on Software Engineering, vol. 39, no. 3, pp. 305-326, March 2013, doi:10.1109/TSE.2012.15

                        (more...)

DI » FMHAS » WebHome » HASLabPress

Imprensa

Universidade do Minho desenvolve aplicação que evita erros no Excel

http://www.tvi.iol.pt/videos/13893309

UMinho recebe polo do INESC TEC

http://www.cienciahoje.pt/index.php?oid=55888&op=all

Portugueses criam software para evitar erros do Excel

Diário Económico, 13 de Maio 2013 (in 'Emprego e Universidades'): http://economico.sapo.pt/noticias/portugueses-que-inventaram-excel-sem-erros_169068.html
Também em http://www.crup.pt/pt/imprensa-e-comunicacao/recortes-de-imprensa/5846-portugueses-criam-software-para-evitar-erros-do-excel

Excel de Rogoff e Reinhart não teria erros com “software” do Porto (título pouco correto...)

http://www.jornaldenegocios.pt/empresas/tecnologias/detalhe/excel_de_rogoff_e_reinhart_nao_teria_erros_com_software_do_porto.html

Investigadores portugueses criam software que evita erros de Excel

http://exameinformatica.sapo.pt/noticias/software/2013-05-13-investigadores-portugueses-criam-software-que-evita-erros-de-excel

Software português contra erros no Excel (com vídeo)

http://www.computerworld.com.pt/2013/05/13/software-portugues-contra-erros-no-excel-com-video/

Connect INESCTEC

HASLab becomes INESC TEC Privileged Partner

http://connect.inescporto.pt/events/inesc-tec-recebe-haslab-como-parceiro-privilegiado

O HASLab no BIP

Tecnologia & Ciência

http://bip.inescporto.pt/137/noticia-tc002.html
http://bip.inescporto.pt/137/noticia-tc003.html

ASNEIRA LIVRE

http://bip.inescporto.pt/135/asneira.html
http://bip.inescporto.pt/129/asneira.html

A VÓS A RAZÃO

http://bip.inescporto.pt/123/a-vos-a-razao.html
http://bip.inescporto.pt/114/a-vos-a-razao.html

FORA DE SÉRIE

http://bip.inescporto.pt/129/fora-de-serie.html

PRÉMIOS E DISTINÇÕES

http://bip.inescporto.pt/136/noticia-pd01.html

NOTÍCIAS

HASLab/INESC TEC organiza simpósio sobre sistemas confiáveis

http://bip.inescporto.pt/131/noticia18.html

Projeto HASLAb/INESC TEC distinguido com Google research award

http://bip.inescporto.pt/129/noticia11.html

HASLAB/INESC TEC colabora na criação de plataforma para a produção de conteúdos musicais

http://bip.inescporto.pt/128/noticia06.html

HASLAB/INESC TEC previne erros em folhas de cálculo

http://bip.inescporto.pt/127/noticia06.html

INESC TEC AUMENTA “FAMÍLIA” COM NOVOS POLOS

http://bip.inescporto.pt/126/destaque.html

TRABALHO HASLAB/INESC TEC EM DESTAQUE NA UNIVERSIDADE DE BRISTOL

http://bip.inescporto.pt/125/noticia09.html

INVESTIGADORA DO HASLAB/INESC TEC VENCEDORA DO PRÉMIO CIENTÍFICO IBM

http://bip.inescporto.pt/120/noticia01.html

HASLAB TORNA-SE PARCEIRO PRIVILEGIADO DO INESC TEC LA

http://bip.inescporto.pt/114/noticia01.html

r15 - 14 Jun 2013 - 13:26:39 - JacomeCunha
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
Syndicate this site RSSATOM