Prezados, A programação definitiva do II Workshop da SBL foi publicada hoje no site do evento, bem como todos os resumos das apresentações.
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) http://sbl.org.br/pmwiki.php/Events/WorkshopSBL2018 Agradeço a oportunidade para agradecer, em nome da SBL, a todos os colegas que aceitaram o convite para apresentar seus trabalhos no workshop, e reforço o convite a todos que possam estar em Fortaleza na sexta-feira da semana que vem, dia 28, logo após o término do LSFA, para prestigiar o evento. Abraços, []s Samuel On Thursday, September 6, 2018 at 7:02:58 PM UTC-3, Samuel Gomes da Silva wrote: > > 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. > > > > <http://sbl.org.br/pmwiki.php/Events/WorkshopSBL2018> > > > > > > > > > > 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/9a8a1e86-4766-469f-a685-c603eb3e7ae7%40dimap.ufrn.br.
