APPA - ∀X.Xπ - All about Proofs, Proofs for All
++ Tutorials about Proofs ++
July 18, 2014, Vienna, Austria
--- call for participation ---
http://vsl2014.at/meetings/APPA-index.html
Register now at http://vsl2014.at/registration/, selecting "A
Bloqueio cultural atrapalha desempenho dos brasileiros em matemática
http://noticias.r7.com/educacao/bloqueio-cultural-atrapalha-desempenho-dos-brasileiros-em-matematica-06052014
"Maurício Mühlfarth, pós-graduado em educação matemática pela Unicamp
e professor do Colégio Santa Catarina, diz que os
Recentemente os pesquisadores PQ classe 1 do CNPq foram novamente
consultados a respeito de indicações para o CA-CC. A consulta acabou
de ser estendida, como de costume, aos *programas de pós-graduação* da
área de Computação.
É ^muito importante^ notar que o CNPq não está esperando apenas por
"um
Caros,
O programa de doutorado LogiCS da universidade técnica de Vienna abriu a
chamada para estudantes. Por favor, peço a divulgação para possíveis
interessados e interessadas (note que existem 10 posições reservadas para
mulheres).
Eu estou no meu último ano de doutorado pelo mesmo programa e s
Outros senhores, membros de CAs, também têm problemas para reconhecer a
importância da lógica.
Enviada do meu iPad
> Em 08/05/2014, às 07:15, Joao Marcos escreveu:
>
> mas ainda têm problemas para reconhecer a
> importância da lógica."
___
Logica-l
Caros,
como prometido, aqui está o (tentative) programa do evento de Filosofia
Analítica a ser sediado na bela Fortaleza no fim deste mês.
http://alfa-n.org/en/alfa-news/item/31-program-of-the-fortaleza-conference-2014-may-27-to-30th.html
Este congresso vai trazer, dentre outras coisas, um panor