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). http://lia.ufc.br/~lsfa2018/ 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. -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1101086288.9475865.1536271374203.JavaMail.zimbra%40ufba.br.
