Na manhã do dia 20 de fevereiro, quarta-feira, acontece o encontro semestral do Grupo de Pesquisa em “Fundamentos Lógicos da Computação e da Segurança Computacional”. O evento, aberto à participação de todos os interessados, terá início às 8h no Auditório do CIn/UFPE, localizado no Galpão, 1º andar.
 
Programação:
 
08:00 Anselmo Lacerda: Gerenciamento de Identidade Digital
08:07 Wagner Santos: Votação Eletrônica com Verificabilidade Fim-a-Fim
08:14 Gleudson Júnior: Votação Eletrônica
08:21 Sandra Friedman: Privacidade na Era Digital
08:28 Graça Oliveira: Privacidade e Relevância em Anúncios Online
08:35 Raquel Saraiva: Propriedade Intelectual na Era Digital
08:42 Vicente Ricardo: Teoria do Direito de Acesso a Obras Digitais
08:49 Clarice Castro: A Definição de "Conteúdo Digital" em Computação em Nuvem
08:56 Felipe Prochazka: Lean Startup
09:03 Petrônio Medeiros: O Papel das Aceleradoras para as Startups Escaláveis
09:10 Eduardo Pires: Ferramentas para Experimentação com Modelos de Negócio
09:17 Francisco Pimentel: Inovacão em Modelos de Negócio
09:24 Vítor Andrade: Lean Startup e Lean Manufacturing
09:31 Pasqueline Scalco: Aprendizado na Era Digital
09:38 Lays Rosiene: Aprendizado na Era Digital
09:45 Ivson Santos: Game Design e Aprendizado 
 
09:52 PAUSA PARA O CAFÉ
 
10:06 Danielle Novaes: Protocolos para o Enfrentamento do Cibercrime
10:13 José Paulo Lima: Análise Multidisciplinar do Cibercrime
10:20 Ruan Carvalho: Critérios de Corretude para Grafos de Prova
10:27 Marcus Ramos (por Skype): Teoria de Tipos e Teoria da Homotopia
10:34 Fabiano Silva: Teoria Homotópica de Tipos
10:41 Eudes Naziazeno Galvão: Estruturas Quasi-Finitamente Axiomatizáveis
10:48 Sílvio Danilo: Análise de Malware
10:55 Henrique Arcoverde: Análise de Trojans Bancários
11:02 Marcelo Frota: Segurança em Aplicações com HTML5
11:09 Vinícius Cantarelli: Proteção à Privacidade em Protocolos Médicos Eletrônicos
11:16 Igor Vanderlei: Privacidade em Prontuários Médicos Eletrônicos
 
Todos são bem-vindos!

    

Comentários desativados