Chamada de Trabalhos

ENG

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)


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.

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 sessão "Machines, from Turing to Quantum", 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.


Palestrantes convidados (confirmados)

Carlos Areces (INRIA Nancy Grand Est)
Carlos Caleiro (Department of Mathematics, TU Lisbon)
Gregory Chaitin (IBM Watson Research Center, UFRJ/HCTE)
Hans van Ditmarsch (Dept. of Logic, University of Sevilla)
Richard L. Epstein (Advanced Reasoning Forum)
Lou Goble (Department of Philosophy, Willamette University)
Carlos Di Prisco (Instituto Venezolano de Investigaciones Cienticas)
José Iovino (University of Texas at San Antonio)

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)



Chamadas de trabalho

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.

Instruções detalhadas para o envio eletrônico podem ser encontradas em: http://www.cle.unicamp.br/ebl2011/submissions.php


Bolsas da ASL

Os estudantes que são membros da ASL podem submeter pedidos para bolsas de viagem para participar do XVI EBL. Para mais informações, consulte:


http://www.aslonline.org/studenttravelawards.html



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

31 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


Inscrições

http://www.cle.unicamp.br/ebl2011/registration.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

Association for Symbolic Logic (ASL)
Academia Brasileira de Ciências - Regional São Paulo (ABC-SP)
Sociedade Brasileira de Lógica (SBL)
Turing Centenary Advisory Committee (TCAC)



© 2011 - XVI EBL - Brazilian Logic Conference / Logic School / May 7th – 13th, 2011 Contact us
Home | Description | Comittees | Program | Keynote Speakers | Turing Session | Call for papers | Submissions | Logic School | Registration | Proceedings | Touristic information

Siga o XVI EBL:
 Logotipo do You Tube Logotipo do Facebook Logotipo do Linkedin Logotipo Blog Logotipo do Twitter

Valid CSS!        CSS válido!       Valid XHTML 1.0 Transitional