Evento decorre nos dias 7 e 8 de outubro e aborda dedução, linguagens formais e raciocínio automático.
Applications (LSFA 2025), que se prolongará até 8 de outubro. O encontro tecnológico internacional reúne investigadores e profissionais das áreas de lógica, sistemas formais e aplicações semânticas.
O simpósio aborda temas como dedução automática, teoria dos tipos, reescrita algébrica e frameworks semânticos, combinando resultados teóricos com implementações práticas e perspectivas futuras. A participação de especialistas de várias geografias reforça o papel do evento como fórum global de inovação em IA e raciocínio formal.
embora menos ligado ao panorama nacional, o evento contextualiza Portugal como parte deste ecossistema tecnológico global, complementando o debate do Portugal Football Summit
também dialoga com inovações em energia e redes
Em paralelo com outras cimeiras internacionais nesta altura, LSFA 2025 destaca-se por cruzar os domínios da teoria e da prática em computação, contribuindo para o progresso de linguagens formais, verificação automática e sistemas inteligentes.
Links internos: embora menos ligado ao panorama nacional, o evento contextualiza Portugal como parte deste ecossistema tecnológico global, complementando o debate do Portugal Football Summit (/portugal-football-summit-oeiras/); também dialoga com inovações em energia e redes (/interconector-ibérico-energia/).