Horário da Graduação em 2014.2

Consulte aqui o horário da graduação em 2014.2 (PDF, 205 KB).

Defesa de Dissertação de Mestrado. Geração automática de suíte de teste para GUI a partir de Rede de Petri.

Autor: Raquel Jauffret Guilhon

Orientador: Arndt Von Staa

Data: 22/08/2014 às 10:00

Local: 511 RDC

Defesa de Dissertação de Mestrado. Visualização de variedades implícitas de dimensão 3 em R4.

Autor: Henry Giovanny Gallegos Velgara

Orientador: Hélio Côrtes Vieira Lopes

Data: 22/08/2014 às 14:00

Local: 510 RDC

Defesa da Dissertção de Mestrado: Um mecanismo baseado em logs com meta-informações para a verificação de contratos em sistemas distribuídos.

Autor: Pedro de Goes Carnaval Rocha
Orientador: Arndt Von Staa
Data/Hora: 21/08/2014 às 15:00 h
Local: RDC 511

Defesa de Dissertação de Mestrado: Three dimensional Spherical Assembly Generation.

Autor: Elias Fukim Lozano Ching

Orientador: Marcelo Gattass

Data: 21/08/2014 às 14:00

Local: Auditório Luiz de Castro Martins (TECGRAF)

Tese de Doutorado: Video-Based Interactive Storytelling

Autor: Edirlei Everson Soares de Lima
Orientador: Bruno Feijó
Data/Hora: 04/08/2014 às 10:00 h
Local: 511 RDC

Candidatos aceitos ao Programa de Pós-Graduação em 2014.2

Neste período, o processo de seleção foi extremamente competitivo. Seguem abaixo as relações de candidatos aceitos para o Mestrado e para o Doutorado iniciando em 2014.2.

Defesa de Dissertação de Mestrado: Um modelo para cobertura de notícias na web. Um estudo sobre notícias digitais.

Autor: Camila Pereira Dias
Orientador: Daniel Schwabe
Data/Hora: 16/07/2014 às 14:00 h
Local: 511 RDC

Palestra 7/jul 14h, 511 RDC: “Cut-elimination and the decidability of reachability in alternating pushdown systems” – Prof. Gilles Dowek (INRIA)

Palestra: “Cut-elimination and the decidability of reachability in alternating pushdown systems”
Palestrante: Prof. Gilles Dowek (INRIA)
Data e horário: 7/jul 14h
Local: 511 RDC

Proof theory and automata theory both provide methods to prove
decidability results. We will show in this talk that, despite differences
in their presentation, some proof-theoretical and automata-theoretical
methods essentially are the same. More precisely, we will give a new proof
of the decidability of accessibility in alternating pushdown systems,
showing that it is a consequence of a cut-elimination theorem for a
natural-deduction like system.

(Gilles Dowek et Ying Jiang)

Tese de Doutorado: “On some relations between Natural Deduction and Sequent Calculus”

Autor: Cecília Reis Englander Lustosa

Orientador: Edward Hermann Haeusler

Data: 08/07/2014     09:00 h     sala 511 RDC