Re: [Logica-l] E-mail de compilação para logica-l@dimap.ufrn.br - 8 atualizações em 4 temas

[Mauricio Ayala-Rincon]

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 seguramente estão sendo consideradas e incluídas por comissões

aparte como a Comissão de Métodos Formais.   Devemos ponderar se é

o caso de serem incluídas também na lista de Formalismos, Lógica e
Semântica.


Quanto à RTA (e TLCA) essas duas conferências foram sucedidas por

FSCD, que já entra na sua quinta edição.  Minha sugestão é que seja

incluída FSCD em troca da já extinta RTA.


Um abraço,


Mauricio.

[Joao Marcos]

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 (SBMF, SBCC, etc para comissões como MF e CD).

Não estou seguro de que este seja o "procedimento normal", neste caso.

> Por outra parte, conferências como CADE, IJCAR, ITP, NASA Formal Methods,
> CPP, etc seguramente estão sendo consideradas e incluídas por comissões
> aparte como a Comissão de Métodos Formais.

Eu não tenho esta informação por parte das outras comissões...

> Devemos ponderar se é
> o caso de serem incluídas também na lista de Formalismos, Lógica e
> Semântica.

Sim, no final teremos que escolher 20 conferências apenas.

> Quanto à RTA (e TLCA) essas duas conferências foram sucedidas por
> FSCD, que já entra na sua quinta edição. Minha sugestão é que seja
> incluída FSCD em troca da já extinta RTA.

Bem lembrado. Você teria os dados do FSCD para inclusão na planilha?

Abraços,
Joao Marcos

--
http://sequiturquodlibet.googlepages.com/

[Elaine Pimentel]

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
> nossa área.

concordo com o Mauricio e Hermann: não adianta muito incluir LICS e
excluir LSFA, porque raramente alguém submete algo ao LICS. Acaba
sendo irrealista :-/

Você pode sempre colocar na lista, certo?

Abraços,
--
Elaine.
-------------------------------------------------
Elaine Pimentel - DMAT/UFRN

Address: Departamento de Matemática
Universidade Federal do Rio Grande do Norte
Campus Universitário - Av. Senador Salgado Filho, s/nº
Lagoa Nova, CEP: 59.078-970 - Natal - RN

Phone: +55 84 3215-3820

http://sites.google.com/site/elainepimentel/
Lattes: http://lattes.cnpq.br/3298246411086415
--------------------------------------------------------

[Joao Marcos]

> 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 das "20 melhores conferências" da
> > nossa área.
>
> concordo com o Mauricio e Hermann: não adianta muito incluir LICS e
> excluir LSFA, porque raramente alguém submete algo ao LICS. Acaba
> sendo irrealista :-/

Como eu já disse a alguns colegas, eu não sei quais são os objetivos
políticos da construção desta lista, e não estou tentando adivinhar.
Talvez algum dos colegas aqui tenha inside information a compartilhar
sobre as intenções da CAPES?

> Você pode sempre colocar na lista, certo?

Sim, eu já acrescentei o LSFA, a pedidos:
https://docs.google.com/spreadsheets/d/1LGyI6Li8T2PxXy7DKvVfsPeX_DguHH_h9l2CyvVGkGM/edit?usp=sharing
Recordo que a lista ainda pode ser atualizada!

(Não estou ainda _retirando_ conferências da planilha, mas
eventualmente teremos que reduzir para apenas 20 esta lista... Um
colega me escreveu, em particular, pedindo para retirar o CONCUR da
lista, alegando que esta seria uma conferência "refratária à lógica"
--- mas eu entendo que você mesma já publicou lá, certo, Elaine?)

[Joao Marcos]

> 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 Knowledge Representation
and Reasoning

Devo incluí-lo, ou os colegas julgam que seria de interesse marginal
na área de Lógica?

[Mario Roberto Folhadela Benevides]

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

--
http://sequiturquodlibet.googlepages.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+u...@dimap.ufrn.br.
Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LgND_uYCJYTaY9weMedFCwXMNPe3Res8UR3fLhC7etsag%40mail.gmail.com.

--

Federal University of Rio de Janeiro
www.cos.ufrj.br/~mario

[Mauricio Ayala-Rincon]

Caro João e colegas,

sobre FSCD, sucessora de RTA e TLCA, minha sugestão é incluir os

dados de RTA e/ou TLCA, indicando essa sucessão e colocando os

dados de RTA: 

"RTA (1983 ... 2015) and TLCA (1993 ... 2015) evolved to Int.

Conf. on Formal Structures for Computation and Deduction

FSCD (2016 ... 2019)"

O assunto é que essa conferência continua sendo é a central en

teoria de reescrita, teoria de tipos y cálculo lambda. Ambas RTA eTLCA

tinham qualis B1 em 2012.

Mauricio.

-- 
Mauricio Ayala-Rincón
Full Professor - Depts. C. Computação & Matemática
Universidade de Brasília, Ed. EST/CIC
Campus Universitário Darcy Ribeiro
CEP 70.910-900 Brasília-DF, BRASIL
www.mat.unb.br/~ayala  e-mail: ay...@unb.br

[Alexandre Rademaker]

Acho que deve entrar. Não é marginal, pelo contrário.

Ab.,

--
Alexandre Rademaker
http://arademaker.github.io