Verificação Formal

Constrained Horn Clauses for Program Verification

05 de setembro às 16h na sala 6321 (DCC)

05 de setembro às 16h na sala 6321 (DCC)

Pesquisar por:

Bannerzinho-DebConf

bannerzinho-DCCWeek2024

OfertaDisciplina-bannerzinho

banner-nossas-redes

anuncio-Engenharia Software Moderna

banner-centralOportunidades

Centro de Inovação em Inteligência Artificial para a Saúde

Cibersegurança e Psicologia: união de áreas que traz ganhos à sociedade
Biblioteca SEPE para geração de funções hash especializadas é disponibilizada para o público
Pesquisador da Universidade Nacional do Litoral, na Argentina, profere palestra no DCC/UFMG
Alberto Laender, do DCC, recebe o título de professor emérito da UFMG
Reitora da UFMG recebe equipes do DCC campeã e medalha de prata na Maratona de Programação da América Latina
Equipes do DCC/UFMG são campeã e medalha de prata na final da Maratona de Programação da América Latina
Em aula inaugural, Nívio Ziviani afirma que empreender é transformar aprendizado em riqueza
Programação 101 capacita mais de 500 estudantes desde a sua primeira edição em 2018
Evento de boas-vindas, o DCC Start: Simpósio de Computação, reúne palestrantes de renome nacional e internacional
Formandos destaque são premiados durante cerimônia de Colação de Grau