Mestrado Profissional em Tecnologia da Informação O processo seletivo para a Turma 2025 do Mestrado Profissional em Tecnologia da Informação do IFPB está com inscrições abertas. São três linhas de pesquisa: Ciência de Dados e Inteligência Artificial Gestão e Desenvolvimento de Sistemas Redes e Sistemas Distribuídos Inscrições: 16/10/2024 a 18/11/2024 Temas de pesquisa, vagas e outras informações em:

Processos Seletivos

New website for the Lean programming language!

Lean Language

Lean Programming Language

Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code.