> > 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). >
Notei que entre os "temas" de Lógica Matemática está arrolada, de uma forma linguística talvez um tanto original, uma certa "Teoría de Pruebas": https://paginas.cimpa.ucr.ac.cr/slalm/index.php/es/inscripcion/temas O SLALM de 2004, que também ocorreu na Costa Rica, foi bem bacana. []s, Joao Marcos -- http://sequiturquodlibet.googlepages.com/ -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Li73z5-i7ywpQmNfPry7tohf83E0yEGqT12L69TO7EXgg%40mail.gmail.com.
