Na verdade TABLEAUX + ITP + FroCoS aqui em BRASÍLIA em ***2017***, no próximo ano,
25-29 September 2017. 2016-10-08 4:41 GMT-03:00 Joao Marcos <botoc...@gmail.com>: > 2016-10-08 3:08 GMT+02:00 Cláudia Nalon <na...@unb.br>: > > > > 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 logica-l+unsubscr...@dimap.ufrn.br. > Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. > 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. > > -- 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 logica-l+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. 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/CAJh6kGXbcxMb9-RC%2B8AnAECEKOV-GhBHQw6veQb%2BQN_Ae643aQ%40mail.gmail.com.