Chamada de Trabalhos
(clique aqui para visualizar no modo de impressão)

XIII Encontro Brasileiro e Lógica
CLE- UNICAMP
Campinas, SP
26-30 de maio de 2003

     O evento "CLE/SBL 25 Anos - XIII Encontro Brasileiro de Lógica " será realizado de 26 a 30 de maio de 2003 na UNICAMP em Campinas, SP, celebrando o vigésimo quinto aniversário da fundação do CLE e da SBL em conjunto com o XIII EBL.

     Contribuições são bem-vindas de todas as áreas dentro da “região triangular” compreendida pelos vértices formados pela Lógica, Filosofia e Ciências da Computação, incluindo os seguintes tópicos:

- Filosofia da Lógica; 
- Filosofia das Ciências Formais;
- Filosofia da Linguagem;
- Teoria da Prova; 
- Teoria dos Modelos; 
- Lógicas nas Ciências da Computação e em AI;
- Lógicas em Lingüística; 
- Lógicas Paraconsistentes; 
- Lógicas Multivalentes;
- Lógicas Paracompletas / Intuicionistas;
- Lógicas Modais;
- Outras Lógicas.
     As submissões devem ser recebidas até 30 de março de 2003 pelo Comitê Organizador através do e-mail <clesbl25l@cle.unicamp.br> ou por via postal para :
CLE- UNICAMP
C. P. 6133
13083-970
Campinas, SP 
Instruções para os Autores
  • Os artigos podem ser submetidos em português, espanhol ou inglês
  • Os artigos devem conter de 3 a 10 paginas, incluindo título, autores, endereços, resumo e referências;
  • Os artigos devem ser preparados preferencialmente em Latex, ou em Word em caso de Latex não ser disponível (acompanhado de um arquivo final em formato DVI, PS ou PDF). 
     Todas as submissões serão avaliadas, devendo os autores receber notificação (positiva ou negativa) de aceitação até 30 de abril de 2003. 

PUBLICACÃO DOS ANAIS

     Uma seleção dos trabalhos será publicada num número especial da "COLEÇÃO CLE"

home