Call for PapersChamada de Trabalhos para o XVI Encontro Brasileiro de Lógica (EBL 2011)
incluindo uma "Tarde Turing" dedicada à celebração do centenário de nascimento de Alan Turing (1912-1954)
9 a 13 de maio de 2011
Laboratório Nacional de Computação Científica – Petrópolis (RJ)
O XVI Encontro Brasileiro de Lógica (EBL) é um evento que ocorre tradicionalmente. Faz parte da agenda de eventos de vários e destacados pesquisadores do Brasil e da América Latina, nas áreas de Ciência da Computação, Fundamentos e Filosofia das Ciências, Informática, Inteligência Artificial, Lógica e Matemática.
As versões anteriores do EBL foram um grande sucesso, atraindo pesquisadores de toda a América Latina e de outros lugares. O EBL tornou-se um importante ponto de encontro e fórum de discussão para estudantes e pesquisadores interessados nos estudos interdisciplinares de Lógica.
Em 2011, o EBL será realizado no Laboratório Nacional de Computação Científica (LNCC), em Petrópolis, Rio de Janeiro. O presidente do Comitê Científico é Newton Carneiro Affonso da Costa (CLE e USP/UFSC) e o Presidente da Comissão Organizadora é Oswaldo Chateaubriand (CLE e PUC-Rio).
Durante cinco dias, serão apresentadas cerca de 10 palestras plenárias e 70 trabalhos originais, com até três sessões paralelas. Em 2011, o EBL também incluirá uma "Tarde Turing", dedicada à celebração do centenário de nascimento de Alan Turing (1912-1954).
O objetivo do EBL é estimular a divulgação e a discussão dos trabalhos de pesquisa na área de Lógica e suas interconexões com as áreas de Ciência da Computação, Fundamentos e Filosofia das Ciências, Informática, Inteligência Artificial e Matemática.
Os tópicos centrais do evento incluem, mas não estão restritos, aos seguintes:
Lógica Matemática, Filosófica e Aplicações; História e Filosofia da Lógica; Lógica Não-Clássica e Aplicações; Filosofia das Ciências Formais, Fundamentos da Computação, da Física e da Matemática.
Os EBLs anteriores ocorreram em Campinas (1977), Campinas (1978), Recife (1979), Campinas (1980), Campinas (1981), São José dos Campos (1983), Rio de Janeiro (1984), São José dos Campos (1986), São Paulo (1988), Itatiaia (1993), Salvador (1996), Itatiaia (1999), Campinas (2003), Itatiaia (2006), Paraty (2008).
Desde a última edição do EBL, em 2008, foi incorporada ao encontro uma Escola de Lógica, destinada a alunos de graduação e pós-graduação com interesse em lógica e áreas afins, mas aberta também a todos os interessados. A Escola de Lógica acontecerá no fim de semana anterior ao EBL 2011, nos dias 07 e 08 de maio de 2011, no Instituto de Matemática da UFF.
Em 2011 serão oferecidos os seguintes minicursos:
5. Tba, Oswaldo Chateaubriand (PUC-Rio)
Para mais informações sobre os cursos e inscrições, consulte:
http://www.cle.unicamp.br/ebl2011/logic_school.php
Comitê Científico da Escola de Lógica:
Renata de Freitas (UFF)
Petrucio Viana (UFF)
Convidamos submissões em todos os temas relacionados a Lógica. As submissões devem ser em português, espanhol ou inglês, de 2 (duas) a um máximo de 10 (dez) páginas, incluindo um pequeno resumo de, no máximo, 20 linhas e referências bibliográficas.
O autor deverá enviar um arquivo .pdf para o endereço ebl2011@vm.uff.br, até o dia 15 de janeiro de 2011.
Os trabalhos podem ser apresentados em português, espanhol ou inglês, num intervalo de tempo de 20 (exposição) + 10 (discussão) minutos.
O Comitê Científico, levará em consideração os seguintes itens, na seleção dos trabalhos que serão apresentados:
1. Pertinência e relevância do tema;
2. Originalidade;
3. Qualidade do trabalho;
4. Relevância acadêmica do autor.
A lista de trabalhos aceitos para apresentação será divulgada no dia 15 de março de 2011. Pelo menos um autor de cada artigo aceito deverá apresentar o trabalho no encontro.
Newton Carneiro Affonso da COSTA (Presidente) (CLE, USP, UFSC)
Mario Folhadela BENEVIDES (UFRJ)
Fábio M. BERTATO (CLE)
Jean-Yves BÉZIAU (UFRJ)
Ricardo BIANCONI (USP)
Juliana BUENO-SOLER (UFABC/Santo André)
Xavier CAICEDO (CLE, Univ. de Los Andes)
Walter CARNIELLI (CLE, UNICAMP)
Oswaldo CHATEAUBRIAND (CLE, PUC-Rio)
Marcelo Esteban CONIGLIO (CLE, UNICAMP)
Antonio Carlos da Rocha COSTA (FURG)
Alexandre COSTA-LEITE (UnB)
Itala M. Loffredo D'OTTAVIANO (CLE, UNICAMP)
Marcelo FINGER (USP)
Edward Hermann HAEUSLER (PUC-Rio)
Décio KRAUSE (UFSC)
João MARCOS (UFRN)
Ana Teresa de Castro MARTINS (UFC)
Maria da Paz Nunes de MEDEIROS (UFRN)
Francisco MIRAGLIA (USP)
Luiz Carlos PEREIRA (PUC-Rio, UFRJ)
Elaine PIMENTEL (UFMG)
Samuel Gomes da SILVA (UFBA)
15 de janeiro de 2011: data limite para submissão de trabalhos
15 de março de 2011: divulgação dos trabalhos aceitos
9 de abril de 2011: data limite para inscrição do autor que vai apresentar o trabalho
9 a 13 de maio de 2011: apresentação dos trabalhos
http://www.cle.unicamp.br/ebl2011/inscricao.php
Centro de Lógica, Filosofia e História da Ciência, UNICAMP
Departamento de Filosofia, Departamento de Informática, PUC-Rio
Instituto de Matemática e Estatística, UFF
Academia Brasileira de Ciências - Regional São Paulo (ABC-SP)
Association for Symbolic Logic (ASL)
Sociedade Brasileira de Lógica (SBL)
Turing Centenary Advisory Committee (TCAC)
Nenhum comentário:
Postar um comentário