Caros colegas,
havera uma mesa sobre Revisao da Logica nesta sexta, 19/7, as 16h30, na
UFMA, em Sao Luis.
Eduardo Barrio (UBA – Argentina),
Jonas Arenhart (UFSC),
Luís Rosa (Universidade de Colônia – Alemanha),
Marcos Silva (UFPE)
A mesa é organizada pelo Jonas Arenhart e ocorre no "I Symposium
Recebi pelo whatsapp (ainda preciso confirmar):
Em reunião de mais três horas no Ministério da Educação, os reitores das
universidades federais ouviram as linhas gerais do projeto que o governo
Bolsonaro promete para a "libertação" das instituições, nas palavras do
próprio ministro Abraham
Já eu recebi este:
Ótimo resumo feito pelo Allan Kenji:
*FUTURE-SE*, projeto para a universidade pública apresentado pelo
Ministro (inimigo) da Educação.
(ou “fAture-se”)...
Os principais eixos apresentados até agora são:
(1) A destruição do regime estatutário dos servidores nas instituições
Olá João,
Eu ia mesmo sugerir o KR. Não acho ela marginal.
Abraços,
Mario
KR: International Conference on Principles of Knowledge Representation
> and Reasoning
>
> Devo incluí-lo, ou os colegas julgam que seria de interesse marginal
> na área de Lógica?
>
> Joao Marcos
>
> --
>
Cara Itala,
Obrigado!
Beijos,
Chico Miraglia
> On 17 Jul 2019, at 12:36, Itala M. Loffredo D'Ottaviano
> wrote:
>
> Parabéns, Chico!
> É isso mesmo, para desalento e desespero nosso e desmonte do país!
> Itala
>
>> Car@s,
>> Infelizmente, não é apenas fascismo e “burrizia†, como
Parabéns, Chico!
É isso mesmo, para desalento e desespero nosso e desmonte do país!
Itala
> Car@s,
> Infelizmente, não é apenas fascismo e “burrizia†, como diz o Doria.
>
> Trata-se de tentativa consciente e planejada de destruir toda possibilidade
> de produção de conhecimento crÃtico
> https://docs.google.com/spreadsheets/d/1LGyI6Li8T2PxXy7DKvVfsPeX_DguHH_h9l2CyvVGkGM/edit?usp=sharing
> Recordo que a lista ainda pode ser atualizada!
Ninguém me apontou isso, mas ocorreu-me que esqueci de incluir na
lista o prestigioso evento
KR: International Conference on Principles of
> Vocês conhecem o sistema csindexbr (DCC/UFMG)?
>
> https://csindexbr.org/
>
> Lá Lógica e Métodos Formais estão na mesma classificação.
Não conhecia. Obrigado por divulgar!
> Sobre
>
> > O WoLLIC já está lá. Incluirei o LSFA na lista, mas me parece que
> > será difícil ele contar como uma
João e demais:
Vocês conhecem o sistema csindexbr (DCC/UFMG)?
https://csindexbr.org/
Lá Lógica e Métodos Formais estão na mesma classificação.
Sobre
> O WoLLIC já está lá. Incluirei o LSFA na lista, mas me parece que
> será difícil ele contar como uma das "20 melhores conferências" da
>
Viva, Mauricio:
> minha sugestão é que sejam incluídas nessa lista das 20+,
> tanto WoLLIC quanto LSFA,
O WoLLIC já está lá. Incluirei o LSFA na lista, mas me parece que
será difícil ele contar como uma das "20 melhores conferências" da
nossa área.
> como procedimento normal de
> cada comissão
Viva, Haniel:
> > A CAPES solicitou a cada uma das Comissões Especiais da Sociedade
> > Brasileira de Computação que listasse as 20 melhores conferências de
> > sua área (deadline: 22/07).
>
> Como que pesquisadores interessados em chamar a atenção da SBC a
> conferências importantes da sua área
João Marcos e colegas,
minha sugestão é que sejam incluídas nessa lista das 20+,
tanto WoLLIC quanto LSFA, como procedimento normal de
cada comissão (SBMF, SBCC, etc para comissões como MF e CD).
Por outra parte, conferências como CADE, IJCAR, ITP, NASA Formal Methods,
CPP, etc
Divulgação de palestra.
Início da mensagem encaminhada:
> De: Lógica no Avião
> Data: 16 de julho de 2019 23:03:15 BRT
> Para: logic-...@googlegroups.com
> Assunto: [logic-bsb] Daniel Nagase (USP) @
> Responder A: logic-bsb+own...@googlegroups.com
>
> Daniel Nagase (USP)
> Kant, Frege e o
13 matches
Mail list logo
