Instituto
Departamentos
Ciência da Computação
Estatística
Matemática
Matemática Aplicada
Ensino
Graduação
Pós-Graduação
Vestibulando
Vídeo Aulas
Pesquisa
Cultura e Extensão
Internacional
Biblioteca
Contatos
Home
Comunicação
Defesas
Defesas
Bioinformática
Ciência da Computação
Estatística
Matemática
Matemática Aplicada
Mestrado Profissional em Matemática
Todas as categorias
DCC - Mestrado
DCC - Doutorado
MAE - Mestrado
MAE - Doutorado
MAT - Mestrado
MAT - Doutorado
MAP - Doutorado
MAP - Mestrado
MPEM-Mestrado
MPEM-Doutorado
BIOINFO-Mestrado
BIOINFO-Doutorado
BIOINFO-Qualificação-Mestrado
BIOINFO-Qualificação-Doutorado
22 Outubro 2018
Segunda-feira 22 Outubro 2018 09:00
"Planejamento baseado em Veri cação Simbólica de Modelos"
:: DCC - Mestrado
23 Outubro 2018
Terça-feira 23 Outubro 2018 10:00 - 12:00
"WED-SQL: uma linguagem declarativa intermediária com apoio transacional para a modelagem e implementação de Sistemas de Informação Cientes de Processos"
:: DCC - Mestrado
09 Novembro 2018
Sexta-feira 09 Novembro 2018
Complexos simpliciais finitos e o teorema de Euler
:: MAT - Mestrado
13 Novembro 2018
Terça-feira 13 Novembro 2018 14:00
Invariantes de anéis de operadores diferenciais: racionalidade de Gelfand-Kirillov, categorias de módulos, aplicações
:: MAT - Doutorado
