Caros,
Depois de ouvir a comunidade nesta semana, e considerar boa parte das
sugestoes, eu, Rodrigo e Valeria estamos disponibilizando um blog para
recolher as assinaturas para o abaixo assinado a ser enviado à CAPES
(juntamente com a "carta" da proposta e a "tabela"...).
Por favor acesse
Prezados colegas,
Gostaria de apresentar o sistema TATU, desenvolvido por Vivek Nigam e
Giselle Reis, que é um: "Online system for reasoning about sequent calculus
specifications in linear logic with subexponentials". O sistema ainda está
na versão beta, disponível online no endereço:
http://www.
Humor numa hora destas?
Sobre a utilização das buzinas
http://xkcd.com/1033/
JM
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
O que a FAPESP deveria fazer é acabar com a reserva de mercado a paulistas no
financiamento de publicações por editoras universitárias em SP.
D
--
Décio Krause
Departamento de Filosofia
Universidade Federal de Santa Catarina
88040-900 Florianó
A FAPESP agora repete e mesma balela que já foi criticada na
UNICAMP: “Especialistas dão dicas para a publicação de artigos
científicos
http://agencia.fapesp.br/15344
Que `dicas’ são estas?
“O pesquisador deve ser honesto ao avaliar o grau de relevância e
novidade da pesquisa e escolher um pe
Caro Jean-Yves,
Quero dizer que, todavia, o prof. Marcelo Finger e todos os demais citados
já publicaram em outros anos vários artigos muito úteis que eu leio e
estudo e têm muito campo de interesse para os lógicos.
E, como você sabe, o ponto alto do Carnaval é "Mardis Gras" e acaba-se na
"Mercre
O ano passado publiquei o resultados do carnaval dos logicos
http://www.dimap.ufrn.br/pipermail/logica-l/2011-March/005432.html
baseada nas publicacoes reportoriadas na Mathematical Reviews da AMS
vem ai o resultado deste ano
(entre parentesas diferenca de numero de publicacoes comparando com o ano
