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

Comunidade do DCC/UFMG lança campanha Natal Solidário e adere à campanha do Papai Noel dos Correios
Trabalho sobre treinamento cognitivo-motor na realidade virtual em pessoas idosas recebe menção honrosa durante 11º CBNV
Aldri dos Santos, professor do DCC/UFMG, é indicado para o Programa de Conferencistas Seniores na área de Cibersegurança da SBC
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