Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Artigo

INESC TEC organiza conferência internacional sobre Métodos Formais

O Laboratório de Software Confiável (HASLab) do INESC TEC organizou a 14ª edição da FACS – Conferência Internacional em Aspetos Formais e Componentes de Software, que decorreu de 10 a 13 de outubro, em Braga.

31 outubro 2017

A edição da FACS 2017 contou com a participação de cerca de 24 investigadores, de 13 nacionalidades diferentes, que se deslocaram a Portugal para participar num fórum internacional, que aborda de que forma os métodos formais podem ou devem ser usados para desenvolver software baseado em componentes de forma segura e confiável.

Como oradores convidados, a FACS 2017 contou com os investigadores Catuscia Palamidessi, diretora de investigação na INRIA Saclay, em França, e Farhad Arbab, professor catedrático na Leiden University, na Holanda.

Os proceedings da conferência foram publicados na Lecture Notes in Computer Science (Springer) e vão contar com uma edição de revista na Elsevier.

A FACS nasceu em 2003 e tem sido realizada em vários pontos do globo - incluindo vários países europeus, a China, os Estados Unidos, e o Brasil. A próxima edição já está planeada para a Coreia do Sul.