Chamada 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) http://www.cle.unicamp.br/ebl2011/ O 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. 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). Em 2011, o local do EBL será o 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). 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). Escola de Lógica 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: 1. Satisfiability and Probabilistic Satisfiability, Marcelo Finger (USP). 2. Foundations of Computerized Theorem Proving, João Marcos (UFRN). 3. Proof theory for contemporary logic by handling polinomials over finite fields, Walter Carnielli (UNICAMP). 4. The algebraic tradition of logic and some relational sistems, Leandro O. Suguitani (UNICAMP), Itala M. L. D'Ottaviano (UNICAMP), Petrucio Viana (UFF). 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) Chamada de trabalhos 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 [email protected], 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. Instruções detalhadas para o envio eletrônico podem ser encontradas em: http://www.cle.unicamp.br/ebl2011/submissao.php Comitê científico 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) Datas importantes 15 de janeiro de 2011: data limite para submissão de trabalhos 15 de março de 2011: divulgação dos trabalhos aceitos 09 de abril de 2011: data limite para inscrição do autor que vai apresentar o trabalho 09 a 13 de maio de 2011: apresentação dos trabalhos Inscrições http://www.cle.unicamp.br/ebl2011/inscricao.php Realização 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 Comitê organizador Walter Carnielli (CLE, UNICAMP) Oswaldo Chateaubriand (CLE, PUC-Rio) (Coordenador) Marcelo Correa (UFF) Renata de Freitas (UFF) Edward Hermann Haeusler (PUC-Rio) Luiz Carlos Pereira (PUC-Rio, UFRJ) Leonardo Vana (UFF) Petrucio Viana (UFF) (Coordenador) Anderson de Araújo (UNICAMP) Hugo Nobrega (UFRJ) Leandro Suguitani (UNICAMP) Rafael Testa (UNICAMP) Apoio 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) _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
