Olá!Espero que tudo esteja bem com vocês!!!
Dei uma olhada ( um pouco superficial, admito ) nesta chamada de trabalhos e observei ( talvez, erroneamente ) que não há nenhuma "Charla Plenária", "Minicurso/Talleres" ou "Seciones Temáticas" envolvendo Teoria da Prova (diretamente).
Como esta é "la reunión más grande de expertos en Lógica Matemática en América Latina" fiquei pensando se a Teoria da Prova é tão sub-representada em nosso continente, a ponto do nosso maior congresso não ter uma seção dedicada a ela.
abraços
P