O SOFT-PT (Ciência e Engenharia de Software) é um encontro de investigadores académicos e industriais que trabalham em temas relacionados com a ciência e engenharia de software, unindo a teoria à prática através de princípios, metodologias, sistemas e ferramentas. O SOFT-PT, que teve já 15 edições no Inforum, estabeleceu-se como um ponto de encontro privilegiado para os especialistas nacionais com interesse nesta área.

Tópicos de Interesse

As contribuições esperadas são trabalhos originais em todos os tópicos relacionados com o software, nomeadamente (mas não apenas) trabalhos que se enquadrem nas seguintes áreas:

  • Modelos de computação e de programação;
  • Fundamentos da engenharia de software;
  • Metodologias de desenvolvimento de software;
  • Princípios, desenho e implementação de linguagens de programação e de modelação;
  • Especificação, análise, verificação, validação e testes de software;
  • Segurança e fiabilidade de software;
  • Análise de requisitos e arquiteturas de software;
  • Processos de desenvolvimento, manutenção e qualidade de software;
  • Ambientes e ferramentas para o desenvolvimento de software;
  • Desenho e análise de algoritmos, pesquisa e optimização;
  • Casos de estudo e relatos de experiências na indústria de software.

Comissão Técnica

  • João Ferreira (Instituto Superior Técnico, Universidade de Lisboa) — Chair
  • Alcides Fonseca (Universidade de Lisboa)
  • Alexandra Mendes (INESC TEC, FEUP)
  • Alexandre Madeira (Departamento de Matemática da Universidade de Aveiro e CIDMA)
  • Ana Matos (Instituto Superior Técnico, Universidade de Lisboa)
  • André L. Santos (ISCTE)
  • Andreia Mordido (LASIGE, Universidade de Lisboa)
  • Bernardo Toninho (Instituto Superior Técnico, Universidade de Lisboa)
  • Daniela da Cruz (Datadog)
  • Jácome Cunha (HASLab/INESC TEC, Faculdade de Engenharia, Universidade do Porto)
  • Joao Costa Seco (NOVA FCT)
  • João Pascoal Faria (FEUP / INESC TEC)
  • João Saraiva (Universidade do Minho)
  • Jorge Sousa Pinto (Universidade do Minho)
  • José Proença (CISTER & Universidade do Porto)
  • Maria João Frade (HASLab/INESC TEC & Universidade do Minho)
  • Mário Florido (Faculdade de Ciências, Universidade do Porto)
  • Mário Pereira (FCT.UNL / NOVA LINCS)
  • Nelma Moreira (Faculdade de Ciências, Universidade do Porto)
  • Pedro Quaresma (Universidade de Coimbra)
  • Salvador Abreu (Universidade de Évora / NOVA LINCS)
  • Simão Melo de Sousa (Universidade do Algarve, NOVA LINCS)
  • Tiago Cogumbreiro (University of Massachusetts Boston)