Programação
Terça (22/06)
8h30 - 9h00
Cerimônia de Abertura
9h00 - 10h45
Mesa Redonda
Título: Teoria da Computação: Histórias e Perspectivas
Convidados: Yoshiko Wakabayashi (USP), Ruy de Queiroz (UFPE), Jayme Szwarcfiter (UFRJ ) e Tarcísio Pequeno (FUNCAP)
Moderadora: Cláudia Linhares (UFC)
14h00 - 15h00
Palestra 1 - PL1
Título: Introdução ao Uso de Ontologias Formais para Representação de Conhecimento
Oradora: Renata Wassermann (USP)
Veja o resumo
15h00 - 16h00
Palestra 2 - PL2
Título: Testabilidade de parâmetros e propriedades
Orador: Carlos Hoppen (UFRGS)
Veja o resumo
16h30 - 17h30
Palestra 3 - PL3
Título: Ciência da Computação em Humanidades Digitais
Orador: Ricardo C. Corrêa (UFRRJ)
Veja o resumo
Quarta (23/06)
8h30 - 9h30
Minicurso 1 - MC1
Título: Soluções para o Ensino de Disciplinas Teóricas em Tempos de Pandemia
Oradores: Paulo de Tarso (UFC), Davi Romero (UFC) e Wladimir Araújo (UFC)
Veja o resumo
9h30 - 10h45
Minicurso 2 - MC2
Título: Um convite para entender o caos: Uma breve introdução à Combinatória extremal e Teoria de Ramsey.
Oradores: Roberto Parente (UFBA) e Antônio Josefran (UFC)
Veja o resumo
14h00 - 15h00
Palestra 4 - PL4
Título: Conexões entre Lógica e Geometria via Reescrita de Termos.
Orador: Prof. Ruy de Queiroz (UFPE)
Veja o resumo
15h00 - 16h00
Palestra 5 - PL5
Título: O Problema das Pontes de Konisberg: e se Euler fosse de ônibus?
Oradora: Ana Shirley Silva (UFC)
Veja o resumo
16h30 - 17h30
Palestra 6 - PL6
Título: O problema de formação de múltiplas equipes
Orador: Manoel B. Campêlo Neto (UFC)
Veja o resumo
Quinta (24/06)
8h30 - 9h30
Minicurso 2 - MC2
Título: Um convite para entender o caos: Uma breve introdução à Combinatória extremal e Teoria de Ramsey.
Oradores: Roberto Parente (UFBA) e Antônio Josefran (UFC)
Veja o resumo
9h30 - 10h45
Minicurso 1 - MC1
Título: Soluções para o Ensino de Disciplinas Teóricas em Tempos de Pandemia
Oradores: Paulo de Tarso (UFC), Davi Romero (UFC) e Wladimir Araújo (UFC)
Veja o resumo
14h00 - 15h30
Mesa Redonda - MR2
Ensino Remoto de Teoria da Computação: Experiências e Desafios
Debatedores: Cláudia Linhares (UFC), Carlos Brito (UFC), Paulo de Tarso(UFC), Esdras Bispo Jr (UFJ). Moderador: Marlo Vieira (UFBA)
