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

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

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)

Autor: Cecília Reis Englander Lustosa

Orientador: Edward Hermann Haeusler

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

Autor: Cecília Reis Englander Lustosa
Orientador: Edward Hermann Haeusler
Data: 08/07/2014 às 09:00
Local: 511 RDC

Autor: Mauricio Arieira Rosas
Orientador: Noemi de La Rocque Rodriguez
Data: 29/08/2014 às 14:30
Local: 510 RDC

Autor: BRUNO LEONARDO KMITA DE O PASSOS
Orientador: Eduardo Sany Laber
Data e Hora: 16/06/2014 às 09:00
Local: RDC511

Autor: Marcio Ricardo Rosemberg
Orientador: Marcus Vinicius Soledade Poggi de Aragão
Data: 16/06/2014 às 11:30
Local: RDC418

Autor: MARCIO RICARDO ROSEMBERG
Orientador: Marcus Vinicius Soledade Poggi de Aragao
Data e Hora: 16/06/2014 às 11:30
Local: RDC418

Autor: BRUNO LEONARDO KMITA DE O PASSOS
Orientador: Eduardo Sany Laber
Data e Hora: 16/06/2014 às 09:00
Local: RDC511