Últimas

Home

Notícias

Defesa de Proposta de Dissertação: Gabriela de Melo Pontes Mendes

Qui, 14 de Junho de 2018 00:00 | Escrito por Administrator |

Título: Semântica Algébrica Equivalente para a Lógica da Inconsistência Epistêmica

Data: 18/06/2018

Horário: 10:00h

Local: Sala de Seminários - Bloco 952

Resumo:

Leia mais...

Defesa de Qualificação de Doutorado: Rommel Dias Saraiva

Seg, 04 de Junho de 2018 12:00 | Escrito por Administrator |

Título: Shortest trails under visiting constraints

Data: 06/06/2018

Horário: 16:00h

Local: Sala de Seminários - Bloco 952

Resumo:

Leia mais...

Defesa de Dissertação: Artur de Oliveira da Rocha Franco

Qui, 24 de Maio de 2018 00:00 | Escrito por Secretaria MDCC |

Título: Modelagem de Ações em Jogos por meio de Análise de RPGs

Data: 25/05/2018 Horário: 14:00h Local: Sala de Seminários – Bloco 942 A (GREat)

Resumo:

Leia mais...

Defesa de Dissertação: Hugo Carvalho de Paula

Qua, 23 de Maio de 2018 00:00 | Escrito por Secretaria MDCC |

Título: Matemática feita no computador: Estudos sobre uma coleção de sistemas formais, com uma investigação sobre estruturas indutivas, e a separação entre lógica e automação em assistentes de prova.

Data: 24/05/2018 Horário: 13:00h Local: Sala de Reuniões – Bloco 910

Resumo:

Leia mais...

Defesa de Proposta de Tese: Antonio Manoel Ribeiro de Almeida

Ter, 22 de Maio de 2018 00:00 | Escrito por Secretaria MDCC |

Título: GPS2GR: Formação Otimizada de Comboios de Veículos em Vias Urbanas com Base em Trajetórias de GPS

Data: 23/05/2018 Horário: 14h Local: Sala de Seminários - Bloco 952

Resumo:

Leia mais...

Mais Artigos...