Pesquisadores do Departamento de Ciência da Computação (DCC) da UFMG participaram, nesta semana, do Workshop sobre Teoria Espectral de Grafos 2025 (WSGT 2025).
Pesquisadores do DCC participam de Workshop sobre Teoria Espectral de Grafos 2025 Read More »
Pesquisadores do Departamento de Ciência da Computação (DCC) da UFMG participaram, nesta semana, do Workshop sobre Teoria Espectral de Grafos 2025 (WSGT 2025).
Data e hora: quarta, 18 de outubro de 2023, às 9h30. Local: sala 2077 (ICEx) Palestrante: Ana Karolinna Maia de Oliveira (DC – UFC) Título: Os números de fecho e de intervalo de orientações de grafos Resumo: Neste trabalho, seja D um grafo orientado, estudamos seu número de intervalo e número de envoltória, denotados por \oin(D) e \ohn(D), respectivamente, na
Data e hora: quarta, 18 de outubro de 2023, às 9h30. Local: sala 2077 (ICEx) Palestrante: Ana Karolinna Maia de Oliveira (DC – UFC) Título: Os números de fecho e de intervalo de orientações de grafos Resumo: Neste trabalho, seja D um grafo orientado, estudamos seu número de intervalo e número de envoltória, denotados por \oin(D) e \ohn(D), respectivamente, na
Data e hora: sexta, 29 de setembro de 2023, às 16h. Local: sala 2076 (ICEx) — atenção, fica ao lado da sala que tivemos os seminários anteriores. Palestrante: Deisiane Lopes Gonçalves (UFMG) Título: Graph reconstruction problems Resumo: The vertex reconstruction conjecture asserts that every finite simple undirected graph on three or more vertices is determined,
Palestra | Graph reconstruction problems | Deisiane Gonçalves, UFMG Read More »
Data e hora: sexta, 29 de setembro de 2023, às 16h. Local: sala 2076 (ICEx) — atenção, fica ao lado da sala que tivemos os seminários anteriores. Palestrante: Deisiane Lopes Gonçalves (UFMG) Título: Graph reconstruction problems Resumo: The vertex reconstruction conjecture asserts that every finite simple undirected graph on three or more vertices is determined,
05 de setembro às 16h na sala 6321 (DCC)
Constrained Horn Clauses for Program Verification Read More »
05 de setembro às 16h na sala 6321 (DCC)
Data e hora: sexta, 5 de maio de 2023, às 16h Local: sala 2077 (ICEx) Palestrante: Marcio Santos (DCC, UFMG) Resumo: Um dos problemas mais estudados em teoria dos grafos é o problema de determinar o número cromático de um grafo. O número cromático é o menor número de cores necessário para colorir um grafo
Colorações, Heurísticas e um pouco de pessimismo Read More »
Data e hora: sexta, 5 de maio de 2023, às 16h Local: sala 2077 (ICEx) Palestrante: Marcio Santos (DCC, UFMG) Resumo: Um dos problemas mais estudados em teoria dos grafos é o problema de determinar o número cromático de um grafo. O número cromático é o menor número de cores necessário para colorir um grafo
