Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms

[Mauricio Ayala-Rincón]

Caros,

O principal problema não é apenas o "prevaricato" ou "improbidade 
administrativa" 
envolvida em ações para utilização de recursos públicos destinados ao 
pagamento de publicações.  
O problema é a falta de maturidade científica e excesso de deshonestidade 
que esse tipo de 
publicação paga está criando na velha e nova geração pseudo-cientista. 
 Da-se muito bem 
aquele que publica expeditamente um número significativo de artigos em 
periódicos 
"bem qualificados":

- candidatos à pós-graduação,
- candidatos à ser nossos colegas,
- candidatos à bolsas de fomento à pesquisa,
- etc.

É algo que vem crescendo e contaminando nossas IFES através da incorporação 
de 
pessoal que não apresenta qualificação adequada.   A ponta do iceberg são 
os recursos públicos 
perdidos no pagamento de publicações, mas as implicações econômicas para a 
pesquisa da nação 
são maiores. Bolsas, salários e recursos para pesquisa são alocados, como 
consequência, de 
forma inadequada. 

Um fator a considerar seriamente, sobre a avaliação da qualidade das 
publicações 
é o tempo que essas editoras investem no processo de revisão.  É obvio, em 
qualquer área da ciência, que um artigo revisado expeditamente, em um par 
de 
semanas, e imediatamente publicado não é confiável. 

Os tempos médios de MDPI Sensors, por exemplo, são de 16 dias para 
avaliação, e 
três dias para publicação. Maravilha publicar dessa maneira! Mas para o 
que?  
Como  pesquisador, não entendo honesto dedicar o meu tempo e o dos meus
alunos, pago com recursos públicos,  na leitura de produção intelectual 
avaliada 
dessa forma expedita.

Em síntese, encontro urgente incorporar no Qualis mecanismos que considerem 
de 
forma precisa a qualidade dos processos de revisão.  Tempos de avaliação 
reduzidos 
implicam baixa qualidade.  

Por outro lado, participar desses empreendimentos piramidais editoriais, é 
pendurar
no pescoço dois diplomas: o de "deshonestidade" e o de "imbecilidade". O 
primeiro
está sendo útil para passarmos a perna em nossos colegas, por enquanto. O 
segundo,
será útil para nos safar do primeiro quando chamados, cedo ou tarde, a 
prestar contas.   

Grande abraço, para aqueles que ainda sonham em publicar no Journal of 
Symbolic 
Logic, ACM Journal of Logic e similares.  Grande despreço para aqueles que
pretendem continuar investindo recursos públicos, que bem poderiam ser 
aplicados
em mais bolsas de Mestrado e Doutorado, na publicação expedita usando essa 
abordagem editorial piramidal.

Mauricio

On Tuesday, March 28, 2023 at 11:33:35 AM UTC-3 oliv...@daad-alumni.de 
wrote:

> Em segunda-feira, 27 de março de 2023 às 21:59:20 UTC-3, Walter Carnielli 
> escreveu:
>
> Então Hermógenes, considerando os elevados custos da compra de 
> assinaturas pelo cofres públicos, e considerando 
> a tendência de pagar para publicar que está pressionando aqueles que 
> produzem ciência, o que devemos fazer? 
> Pagar dos dois lados? 
>
>
> Pois é, Walter. Acho que um primeiro passo importante é levantar a pauta, 
> como você fez, e trocar ideias e argumentos entre os colegas para que o 
> assunto ganhe mais visibilidade e, quem sabe, suscite ações mais 
> coordenadas (é um problema difícil de solucionar no âmbito meramente 
> individual).
>
> Como escrevi, não tenho uma solução universal a sugerir. Mas vou 
> compartilhar algumas considerações, as quais, contudo, são bastante 
> peculiares à minha situação e certamente não se aplicam a vários outros 
> contextos.
>
> Primeiro, algumas observações, que me parecem incontestáveis:
>
> 1. O serviço de editoração de casas de publicação científica é ruim, e 
> parece estar piorando com o passar do tempo (escrevi sobre isto na lista 
> antes 
> ).
>  
> Uma boa parte do serviço é terceirizado a trabalhadores sobrecarregados em 
> países em desenvolvimento.
>
> 2. Publicação científica tem custos, sim. Hospedagem, indexação, arquivo 
> permanente, DOI, software de gerenciamento do fluxo de submissão etc. Nada 
> disto é gratuito. Contudo, como Valéria tem apontado, existem diversos 
> exemplos que demonstram que este custo é bem menor do que muitas casas de 
> publicação alegam, especialmente quando não é necessário bancar o lucro de 
> proprietários. No âmbito da filosofia, se destacam Philosopher's Imprint 
>  e Ergo 
>  (ambas gerenciadas pela 
> Michigan Publishing). A qualidade do serviço (tanto para leitores quanto 
> autores) deixa grande parte das grandes casas editoriais no chinelo. Em 
> comparação, o custo é irrisório.
>
> Então, com base nisto e outras observações já aludidas na discussão, uma 
> estratégia bastante natural seria apoiar veículos com modelo de acesso 
> livre genuíno e, em caso de insuficiência destes em alguma especialidade, 
> buscar fundar novos. As condições para desempenhar estas ações variam 
> bastante de 

[Logica-l] Re: Uma consulta à comunidade: Ponto final

[Mauricio Ayala-Rincón]

Caros,  

sou contra qualquer periódico que avalie artigos em um par de semanas. É o 
caso de MDPI, e outros periódicos.
Por exemplo IEEE Access.  João Marcos passou um link muito preciso no qual 
se caracteriza corretamente o
tipo de emprendimento como insustentável e de formato piramidal.   Apenas 
se sustenta porque a cada ano
são mais os autores pagando publicações nessas médias.   O mais vergonhoso 
e termos CCs da CAPES 
classificando periódicos dessa indóle nos estratos superiores do Qualis. 

Abraço,

Mauricio


On Sunday, March 12, 2023 at 5:27:16 PM UTC-3 Joao Marcos wrote:

> > Acho que sim, se a gente conseguisse organizar uma lista de
> > assinaturas, com um bom texto. Afinal, eles dependem da nossa comunidade,
> > não só de mim (que trabalho de graça para a Oxford Univ. Press) mas de
> > todos nós como autores. Você não quer organizar isso?
>
> Apoiarei a iniciativa, Walter. Acredito que ela será muito mais forte
> se capitaneada por um editor-in-chief com interesse no benefício
> coletivo de um grupo ao qual ele próprio pertence.
>
> Força!
> Joao Marcos
>
> -- 
> http://sequiturquodlibet.googlepages.com/
>

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/c0ca9328-9726-415d-a289-6db3605512bdn%40dimap.ufrn.br.

[Logica-l] Re: o resultado das somas

[Mauricio Ayala-Rincón]

Elaine,

maravilhoso projeto!Inclusão é o que precisamos. 

Mauricio.

On Tuesday, January 4, 2022 at 2:45:25 PM UTC-3 Joao Marcos wrote:

> https://ufrn.br/imprensa/reportagens-e-saberes/54449/o-resultado-das-somas
>
> Com meus parabéns à professora Elaine Pimentel, que soube *fazer a 
> diferença* neste tempo que passou aqui conosco.
>
> JM
>

-- 
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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/280f8456-e28b-4b63-a9ff-5307a95c9509n%40dimap.ufrn.br.

[Logica-l] Re: sobre o "Lógicos em Quarentena"

[Mauricio Ayala-Rincón]

Indeed, Bruno and Petrúcio congratulations on this important initiative!

Mauricio.


On Monday, July 20, 2020 at 10:30:09 AM UTC-3, Joao Marcos wrote:
>
> Um elogio escrito pela Valeria, no qual assino embaixo: 
> https://logic-forall.blogspot.com/2020/07/logicians-in-quarantine.html 
>
> 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+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/659338ad-888b-4d7e-a832-d5f917a4917fo%40dimap.ufrn.br.

[Logica-l] LSFA 2009 (RDP associated workshop) - Extended deadline: 19th April, 2009

[Mauricio Ayala-Rincón]

Fourth Workshop on Logical and Semantic Frameworks, with Applications

28th June, 2009 - Brasília, Brazil

EXTENDED DEADLINE:  19th April, 2009 

Call for Papers
Scope

Logical and semantic frameworks are formal languages used to represent 
logics, languages and systems. These frameworks provide foundations for 
formal specification of systems and programming languages, supporting tool 
development and reasoning.

The objective of this one-day workshop is to put together theoreticians and 
practitioners to promote new techniques and results, from the theoretical 
side, and feedback on the implementation and use of such techniques and 
results, from the practical side.

Topics of interest to this forum include, but are not limited to:

* Logical frameworks
  o Proof theory
  o Type theory
  o Automated deduction
* Semantic frameworks
  o Specification languages and meta-languages
  o Formal semantics of languages and systems
  o Computational and logical properties of semantic frameworks
  o Implementation of logical and/or semantic frameworks
* Applications of logical and/or semantic frameworks

LSFA'09 also aims to be a forum for presenting and discussing work in 
progress, and therefore to provide feedback to authors on their preliminary 
research. Submissions to the workshop will in the form of full papers. The 
proceedings are produced only after the meeting, so that authors can 
incorporate this feedback in the published papers.
Invited Speakers
There will be three invited talks:
Delia Kesner (PPS, CNRS and Universite Paris-Diderot)
Title: Untyped Pattern Calculi
Jonathan Seldin (University of Lethbridge, Canada)
Title: A Reduction in Combinatory Logic Equivalent to λβ-Reduction
Luis Fariñas de Cerro (Université Paul Sabatier -- Toulose III, France)
Title:Dedutcion and Abduction of Information about an Entity
Program Committee

Mauricio Ayala-Rincón (University of Brasília, Brazil), co-chair
Fairouz Kamareddine (Heriot-Watt University, Edinburgh, UK), co-chair
Serge Autexier (DFKI, Bremen, Germany)
Benjamin Rene Callejas Bedregal (Federal University of Rio Grande do Norte, 
Brazil)
Mario Benevides (Federal University of Rio de Janeiro, Brazil)
Guilherme Bittencourt (Federal University of Santa Catarina, Brazil)
Christiano Braga (Fluminense Federal University, Brazil)
Andreas Brunner (Federal University of Bahia, Brazil)
Marcelo Coniglio (State University of Campinas, Brazil)
Clare Dixon (University of Liverpool, UK)
Gilles Dowek (École Polytechnique, France)
William Farmer (McMaster University, Hamilton, Ontario, Canada)
Marcelo Finger (University of São Paulo, Brazil)
Edward Hermann Haeusler (PUC Rio, Brazil)
Tudor Jebelean (RISC Johannes Kepler University, Austria)
Manfred Kerber (The University of Birmingham, UK)
Luis C. Lamb (Federal University of Rio Grande do Sul, Brazil)
Daniel Leivant (Indiana University, USA)
João Marcos (Federal University of Rio Grande do Norte, Brazil)
Ana Teresa de Castro Martins (Federal University of Ceará, Brazil)
Dale Miller (INRIA, France)
Flávio Leonardo Cavalcanti de Moura (University of Brasília, Brazil)
Luca Paolini (Università di Torino, Italy)
Alberto Pardo (Universidad de la República, Uruguay)
Elaine Pimentel (Federal University of Minas Gerais, Brazil)
Ruy de Queiroz (Federal University of Pernambuco, Brazil)
Simona Ronchi della Rocca (Università di Torino, Italy)
Amr Sabry (Indiana University, USA)
Christian Urban (TUM, Germany)
Freek Wiedijk (Radboud Universiteit, The Netherlands)
Organizing Committee
Cláudia Nalon (University of Brasília, Brazil), Local Chair
Elaine Pimentel (Federal University of Minas Gerais, Brazil)
Edward Hermann Haeusler (PUC Rio, Brazil)
Mauricio Ayala-Rincon (University of Brasília, Brazil)
Guilherme Albuquerque Pinto (University of Brasília, Brazil)
Dates and Submission
Paper submission: 3rd April, 2009   EXTENDED 19th April, 2009 
Author notification: 15th May, 2009
Camera ready: 31st May, 2009

Contributions should be written in English and submitted in the form full 
papers with at most 16 pages. They must be unpublished and not submitted 
simultaneously for publication elsewhere. The submission should be in the 
form of a PDF file uploaded to LSFA'09 page at EasyChair until the 
submission deadline by midnight, Central European Standard Time (GMT+1).

The papers should be prepared in latex using Elsevier ENTCS style. Please 
see the Instructions for Preparing Files for Preliminary Versions 
Instructions for styles and examples. The file entcs.cls is also available 
here. The prentcsmacro.sty file will be available soon.

The workshop pre-proceedings, containing the reviewed papers, will be 
handed-out at workshop registration and the proceedings will be published as 
a volume of ENTCS.

After the workshop, according to the quantity and quality of selected 
papers, the authors will be invited to submit full versions of their works 
that will be also reviewed

[Logica-l] Final CFPs LSFA 2009

[Mauricio Ayala-Rincón]

Fourth Workshop on Logical and Semantic Frameworks, with Applications
28th June, 2009 - Brasília, Brazil

 PART of RDP 2009  



Third Call for Papers
Scope
Logical and semantic frameworks are formal languages used to represent 
logics,
languages and systems. These frameworks provide foundations for formal
specification of systems and programming languages, supporting tool 
development
and reasoning.

The objective of this one-day workshop is to put together theoreticians and
practitioners to promote new techniques and results, from the theoretical 
side,
and feedback on the implementation and use of such techniques and results, 
from
the practical side.

Topics of interest to this forum include, but are not limited to:

Logical frameworks
Proof theory
Type theory
Automated deduction
Semantic frameworks
Specification languages and meta-languages
Formal semantics of languages and systems
Computational and logical properties of semantic frameworks
Implementation of logical and/or semantic frameworks
Applications of logical and/or semantic frameworks
LSFA'09 also aims to be a forum for presenting and discussing work in 
progress,
and therefore to provide feedback to authors on their preliminary research.
Submissions to the workshop will in the form of full papers. The proceedings
are produced only after the meeting, so that authors can incorporate this
feedback in the published papers.

Invited Speakers
There will be three invited talks: Delia Kesner (PPS, CNRS and Universite 
Paris-Diderot)
Title: Untyped Pattern Calculi
Jonathan Seldin (University of Lethbridge, Canada)
Title: A Reduction in Combinatory Logic Equivalent to LambdaBeta-Reduction
Luis Fariñas de Cerro (Université Paul Sabatier -- Toulose III, France)
Title:Dedutcion and Abduction of Information about an Entity

Program Committee

Mauricio Ayala-Rincón (University of Brasília, Brazil), co-chair
Fairouz Kamareddine (Heriot-Watt University, Edinburgh, UK), co-chair
Serge Autexier (DFKI, Bremen, Germany)
Benjamin Rene Callejas Bedregal (Federal University of Rio Grande do Norte, 
Brazil)
Mario Benevides (Federal University of Rio de Janeiro, Brazil)
Guilherme Bittencourt (Federal University of Santa Catarina, Brazil)
Christiano Braga (Fluminense Federal University, Brazil)
Andreas Brunner (Federal University of Bahia, Brazil)
Marcelo Coniglio (State University of Campinas, Brazil)
Clare Dixon (University of Liverpool, UK)
Gilles Dowek (École Polytechnique, France)
William Farmer (McMaster University, Hamilton, Ontario, Canada)
Marcelo Finger (University of São Paulo, Brazil)
Edward Hermann Haeusler (PUC Rio, Brazil)
Tudor Jebelean (RISC Johannes Kepler University, Austria)
Manfred Kerber (The University of Birmingham, UK)
Luis C. Lamb (Federal University of Rio Grande do Sul, Brazil)
Daniel Leivant (Indiana University, USA)
João Marcos (Federal University of Rio Grande do Norte, Brazil)
Ana Teresa de Castro Martins (Federal University of Ceará, Brazil)
Dale Miller (INRIA, France)
Flávio Leonardo Cavalcanti de Moura (University of Brasília, Brazil)
Luca Paolini (Università di Torino, Italy)
Alberto Pardo (Universidad de la República, Uruguay)
Elaine Pimentel (Federal University of Minas Gerais, Brazil)
Ruy de Queiroz (Federal University of Pernambuco, Brazil)
Simona Ronchi della Rocca (Università di Torino, Italy)
Amr Sabry (Indiana University, USA)
Christian Urban (TUM, Germany)
Freek Wiedijk (Radboud Universiteit, The Netherlands)


Organizing Committee

Cláudia Nalon (University of Brasília, Brazil), Local Chair
Elaine Pimentel (Federal University of Minas Gerais, Brazil)
Edward Hermann Haeusler (PUC Rio, Brazil)
Mauricio Ayala-Rincon (University of Brasília, Brazil)
Guilherme Albuquerque Pinto (University of Brasília, Brazil)

Dates and Submission
Paper submission: 3rd April, 2009
Author notification: 15th May, 2009
Camera ready: 31st May, 2009

Contributions should be written in English and submitted in the form
full papers with at most 16 pages. They must be unpublished and not
submitted simultaneously for publication elsewhere. The submission
should be in the form of a PDF file uploaded to LSFA'09 page at
EasyChair until the submission deadline by midnight, Central European
Standard Time (GMT+1).

The papers should be prepared in latex using Elsevier ENTCS style.
Please see the Instructions for Preparing Files for Preliminary
Versions Instructions for styles and examples. The file entcs.cls
is also available here. The prentcsmacro.sty file is available
soon.

The workshop pre-proceedings, containing the reviewed papers, will
be handed-out at workshop registration and the proceedings will be
published as a volume of ENTCS.

After the workshop, according to the quantity and quality of selected
papers, the authors will be invited to submit full versions of their
works that will be also reviewed to high standards. A special issue of
LSFA'06 appeared in the Journal of Algorithms and currently a special
issue of LSFA'07 is being processed