II Workshop da Sociedade Brasileira de Lógica - Fortaleza/CE, 28 de Setembro de 2018, 14hs
Samuel Gomes da Silva
II WORKSHOP DA SOCIEDADE BRASILEIRA DE LÓGICA
UFC – Fortaleza, CE
Departamento de Computação – Campus do PICI
28 de Setembro de 2018, 14hs
O II Workshop da Sociedade Brasileira de Lógica é uma iniciativa da Sociedade Brasileira de Lógica - SBL, consistindo de palestras e comunicações convidadas, com o objetivo de apresentar um painel da pesquisa em Lógica no Brasil (e em particular, no Nordeste), em todas as suas vertentes: Filosofia, Ciência da Computação, Matemática.
Os keynote speakers do Workshop serão: Yiannis Moschovakis (UCLA, Califórnia) e Luiz Carlos Pereira (PUC-Rio e UERJ).
O Workshop realiza-se no Departamento de Ciência da Computação, Campus Pici, na mesma semana em que ocorre em Fortaleza uma edição do tradicional evento LSFA – Logical and Semantic Frameworks, with Applications (26 a 28 de Setembro).
O Workshop é isento de inscrição. As informações sobre credenciamento no evento LSFA podem ser verificadas no próprio site do evento.
Todas as apresentações do Workshop serão em inglês.
PROGRAMAÇÃO DO WORKSHOP (sujeita a alterações)
14h00-14h25 Mário Benevides (COPPE-UFRJ)
14h30-14h55 Umberto Rivieccio (UFRN)
15h00-15h40 Luiz Carlos Pereira (PUC-Rio e UERJ) (keynote speaker)
15h45-16h10 Carlos Brito (UFC)
16h10-16h35 TBA
16h35-17h00 Coffee break
17h00-17h25 João Fernando Lima Alcântara (UFC)
17h30-17h55 Marcos Silva (UFAL)
18h00-18h25 Samuel G. da Silva (UFBA e SBL)
18h30-19h10 Yiannis Moschovakis (UCLA e Univ.Athens) (keynote speaker)
Os resumos estarão disponibilizados na página oficial do evento:
http://sbl.org.br/pmwiki.php/Events/WorkshopSBL2018
Organização: Prof. Dr. Samuel Gomes da Silva (UFBA e SBL) – Co-chair
Prof. Dr. Francicleber Martins Ferreira (UFC) – Co-chair
Profa. Dra. Márcia Roberta Falcão de Farias (UNILAB)
Obs.: Por uma coincidência, as duas primeiras edições do Workshop da SBL (2017 e 2018) tiveram como sede escolhida uma cidade do Nordeste brasileiro. A SBL está aberta a propostas de realizações de Workshops em outras regiões do país, sempre buscando aproveitar a presença de pesquisadores de Lógica numa determinada cidade em decorrência da realização de algum evento maior.
Samuel Gomes
Programação
14h00-14h25 Mário Benevides (COPPE-UFRJ)
14h30-14h55 Umberto Rivieccio (UFRN)
15h00-15h25 Maurício Ayala-Rincón (UnB)
15h30-16h10 Luiz Carlos Pereira (PUC-Rio e UERJ) (keynote speaker)
16h10-16h30 Coffee break
16h30-16h55 Carlos Brito (UFC)
17h00-17h25 Marcos Silva (UFAL)
17h30-17h55 Samuel G. da Silva (UFBA e SBL)
18h00-18h40 Yiannis Moschovakis (UCLA e Univ.Athens) (keynote speaker)