As submissões serão avaliadas sob as seguintes temáticas e tópicos sugestivos, mas não se limitando a tais, se de acordo com o espírito do evento::

• Lógicas clássicas e não-clássicas;

• Metalógica;

• Teoria da Prova;

• Teoria de Modelos;

• Filosofia da Lógica;

• Fundamentos em Matemática;

• Metamatemática;

• Filosofia da Matemática;

• Abordagens formais ou matemáticas à Filosofia;

• Abordagens formais à Filosofia das Ciências Naturais ou Humanas;

• Computabilidade no contexto das interseções Lógica, Filosofia ou Matemática;

• História da Filosofia no contexto da Matemática e Lógica;

• História da Matemática ou da Lógica.