Próximas defesas

Dissertação

Tiago Campos Ferreira

Justificação Independente de Reescritas em Provas SMT via Saturação de Igualdades

Data:
14/08/2026
Horário:
13:00
Local:
Sala https://tinyurl.com/yewjc6n6 do ICEx
Banca:
  • Prof.(ª) Haniel Moreira Barbosa - Doutor (Departamento de Ciência da Computação - UFMG) - Orientador
  • Prof.(ª) Mario Sérgio Ferreira Alvim Júnior - Doutor (Departamento de Ciência da Computação - UFMG)
  • Prof.(ª) Andrew Reynolds - Doutor ( Computational Logic Center CLC - University of Iowa)

Fernanda Luiza Tobias

Comparação Linguística entre Respostas de Humanos e de LLMs para Postagens em Comunidades Brasileiras de Suporte Social do Reddit

Data:
19/08/2026
Horário:
09:30
Local:
Sala 2077 do ICEX
Banca:
  • Prof.(ª) Ana Paula Couto da Silva - Doutora (Departamento de Ciência da Computação - UFMG) - Orientador
  • Prof.(ª) Michele Amaral Brandão - Doutora (Departamento Ciência da Computação - UFMG)
  • Prof.(ª) Adriana Silvina Pagano - Doutorado (Faculdade de Letras - UFMG)

Thiago Martin Poppe

The Polyphonic Audio to Roman Corpus (PARC): A Dataset for Automatic Roman Numeral Analysis in Real-World Recordings

Data:
20/08/2026
Horário:
11:00
Local:
Sala 2077 do ICEX
Banca:
  • Prof.(ª) Flavio Vinicius Diniz de Figueiredo - Doutor (Departamento de Ciência da Computação - UFMG) - Orientador
  • Prof.(ª) Lucas Nascimento Ferreira - Doutor (Departamento de Ciência da Computação - UFMG)
  • Prof.(ª) Marcos André Gonçalves - Doutor (Departamento de Ciência da Computação - UFMG)
  • Prof.(ª) Frederico Gonçalvez Pedrosa - Doutor (Departamento de Instrumentos e Canto - UFMG)
  • Prof.(ª) Luiz Wagner Pereira Biscainho - Doutor (Departamento de Engenharia Eletrônica e de Computação - UFRJ)

Matheus Ibrahim Fonseca Magalhães

Measuring Positionless Basketball: A Machine Learning Approach

Data:
11/09/2026
Horário:
13:30
Local:
Sala online do ICEX
Banca:
  • Prof.(ª) Pedro Olmo Stancioli Vaz de Melo - Doutor (Departamento de Ciência da Computação - UFMG) - Orientador
  • Prof.(ª) Pedro O. S. Vaz de Melo - Doutor (Departamento de Ciência da Computação - UFMG)
  • Prof.(ª) Renato Martins Assunção - Doutor (Departamento de Ciência da Computação - UFMG)
  • Prof.(ª) Rodrigo Alves - Doutor (Department of Applied Mathematics - Faculty of Information Technology / Czech Technical University (FIT/CTU))

Tese

Diego Mello da Silva

Lot-Sizing Capacitado em Ambiente Flow Shop Híbrido com Uso de Recursos Secundários: Modelos e Algoritmos

Data:
02/09/2026
Horário:
14:00
Local:
Sala Remoto via Zoom do ICEX
Banca:
  • Prof.(ª) Geraldo Robson Mateus - Doutor (Departamento de Ciência da Computação - UFMG) - Orientador
  • Prof.(ª) Martín Gómez Ravetti - Doutor (Departamento de Ciência da Computação - UFMG)
  • Prof.(ª) Anand Subramanian - Doutorado ( Departamento de Sistemas de Computação - Universidade Federal da Paraíba (UFPB))
  • Prof.(ª) Silvio Alexandre de Araujo - Doutorado ( Departamento de Matemática Aplicada - Universidade Estadual Paulista (UNESP))
  • Prof.(ª) Reinaldo Morabito Neto - Doutorado (Departamento de Engenharia de Produção - Universidade Federal de São Carlos)

Proposta de Tese

Emanuel Juliano Morais Silva

How to use semidefinite programming to connect graph energy with maximum cuts.

Data:
17/08/2026
Horário:
13:30
Local:
Sala Defesa remota do ICEX
Banca:
  • Prof.(ª) Gabriel de Morais Coutinho - Doutor (Departamento de Ciência da Computação - UFMG) - Orientador
  • Prof.(ª) Vinícius Fernandes dos Santos - Doutor (Departamento de Ciência da Computação - UFMG)
  • Prof.(ª) Carlos Hoppen - Doutor (Departamento de Matemática Pura e Aplicada - Universidade Federal do Rio Grande do Sul)
  • Prof.(ª) Marcelo Soares Campos - Doutor (Matemática - Instituto Nacional de Matemática Pura e Aplicada)

Pedro Vinícius Ferreira Baptista

On the different shades of graph compactness

Data:
19/08/2026
Horário:
13:30
Local:
Sala https://tinyurl.com/p6z59k94 do ICEx
Banca:
  • Prof.(ª) Gabriel de Morais Coutinho - Doutor (Departamento de Ciência da Computação - UFMG) - Orientador
  • Prof.(ª) Márcio Costa Santos - Doutor (Ciência da Computação - UFMG)
  • Prof.(ª) Csaba Schneider - Doutorado (Departamento de Matemática - Universidade Federal de Minas Gerais)
  • Prof.(ª) Marcelo de Oliveira Terra Cunha - Doutor (Departamento de Matemática - UFMG)

Angelo Darcy Molin Brun

MODELO ADAPTATIVO PARA OPERAÇÕES INTRADAY: TREINAMENTO DINÂMICO POR MEIO DE AGRUPAMENTO DE CENÁRIOS DE MERCADO

Data:
20/08/2026
Horário:
08:30
Local:
Sala Sala Remoto via Zoom do ICEX do ICEX
Banca:
  • Prof.(ª) Adriano César Machado Pereira - Doutor (Departamento de Ciência da Computação - UFMG) - Orientador
  • Prof.(ª) Anisio Mendes Lacerda - Doutor (Departamento de Ciência da Computação - UFMG)
  • Prof.(ª) Michele Amaral Brandão - Doutora (Tecnológico em Processos Gerenciais - Instituto Federal de Educação Ciência e Tecnologia de Minas Gerais)
  • Prof.(ª) Daniel Hasan Dalip - Doutor (Departamento de Computação - CEFET/MG)
  • Prof.(ª) Eduardo Jabbur Machado - Doutorado (INSTITUTO DE CIÊNCIAS PURAS E APLICADAS - Universidade federal de Itajubá no Campus Itabira - MG)
  • Prof.(ª) Caio Mário Henriques Silva da Rocha Mesquita - Doutorado (INSTITUTO DE CIÊNCIAS PURAS E APLICADAS - Universidade federal de Itajubá no Campus Itabira - MG)