Prezados colegas, Escrevo para fazer propaganda da School in Proof Theory que vai ocorrer no final de agosto em Paraty. Vai ser um evento super legal, com a presença de pesquisadores famosos da área, incluindo o Prof. Jean-Yves Girard.
A fase de pré-inscrição está aberta em: http://www.tecmf.inf.puc-rio.br/ProofTheory2012 É importante que todos os interessados registrem, para que os organizadores tenham uma idéia do número de possíveis participantes. A escola vai ser seguida do congresso: "Transcendental syntax: the conditions of possibility of language". Mais informações na página. Um abraço, -- Elaine. -------------------------------------------------------- Elaine Pimentel Departamento de Matematicas Universidad del Valle Calle 13 No. 100 - 00 ; Edificio 320. Ciudadela Universitaria Melendez Cali, Colombia https://sites.google.com/site/elainepimentel/ -------------------------------------------------------- _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
