XIII Encontro Brasileiro de Lógica

Versão para impressãoVersão para 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.