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-CyberSecurityDay

banner-nossas-redes

anuncio-Engenharia Software Moderna

Anuncio-Teste-Software

banner-centralOportunidades

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

Bannerzinho-site-DCC-doutorado

Professor emérito Roberto Bigonha lança livro com a história do DCC/UFMG
Parceria entre o DCC/UFMG e a Cadence Brasil proporciona nova disciplina optativa para os alunos da universidade
UFMG abre inscrições para o mestrado em Ciência da Computação
Matcomp comemora 25 anos com semana repleta de atividades
Estudante do mestrado do PPGCC é premiado em evento do CI-IA Saúde
Ex-doutoranda e professores do DCC são premiados em evento internacional
Aluno do curso de Sistemas de Informação do DCC é destaque na Semana do Conhecimento da UFMG
Professor do DCC ganha prêmio JCAES 2024
Coordenadora administrativa do DCC é premiada na Semana do Conhecimento por trabalho sobre o departamento
Artigo de alunas e professora do DCC é premiado no WebMedia 2024