Olá, chega em agosto começam a sair informações sobre Cursos de Verão em Matemática. A Unicamp e ICMC-USP já lançaram o programa de 2017. Alguém possui informações sobre Cursos de Verão em Lógica? Pesquisando aqui no grupo vi que em 2012 teve um Curso de Verão em Teoria dos Tipos na UFPE ministrado pelo Professor Ruy Queiroz, mas nenhum curso além desse. Agradeço.
-- 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/cb0ad56d-514d-4212-9e66-f2fb7e0b0a4f%40dimap.ufrn.br.
