2016-10-08 3:08 GMT+02:00 Cláudia Nalon <[email protected]>: > > Se alguém tiver particular interesse em trabalhar com automação de métodos > de provas para lógicas não-clássicas e suas combinações, por favor entre em > contato comigo. Eu tenho vagas para o próximo ano, alguns projetos próprios > e interesse em ouvir o seu próprio projeto.
Brasília parece um bom lugar para se estar no próximo ano. Vale lembrar que a Cláudia está organizando TABLEAUX + ITP + FroCoS, que ocorrerão na capital federal em setembro de 2018! JM -- 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 postar neste grupo, envie um e-mail para [email protected]. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lg5C3%2BB%2Bmnj3ktwTWh4unPjVvAiczAFWnA10pE4R8AN%2BQ%40mail.gmail.com.
