O Grupo de Estudos de Semântica Formal do Português da UFPR (GESFP-UFPR) desenvolve estudos e pesquisas de semântica formal com vistas a um melhor entendimento do funcionamento semântico da língua portuguesa e ao desenvolvimento de ferramentas formais que permitam a interface entre os estudos da linguagem, a lógica e a ciência da computação. Os membros do Grupo participam ativamente das iniciativas relacionadas com os estudos semânticos em geral e com os estudos das interfaces entre a semântica, a pragmática, a sintaxe e a fonologia (estudos prosódicos, em particular). O Grupo tem uma programação de encontros regulares (seminários, oficinas, etc.), envolvendo pesquisadores de outras instituições brasileiras e/ou estrangeiras, e mantém um Laboratório de Semântica Formal (LaSF) que, entre outras coisas, procura desenvolver ferramentas computacionais para o tratamento de aspectos da língua portuguesa.