Daniel Leivant escreveu:
> Dear Professor Claudio Leonardo Lucchesi,
> 
> I am writing in support of the continued funding by the CNPq of 
> Professor Ruy de Queiroz's research.
> 
> I know Professor de Queiroz for well over a decade, and am --- like him 
> --- an applied logician interested in foundational aspects of Computer 
> Science. I am therefore in a position to appreciate his scientific 
> achievements as well as his extensive contributions to the academic 
> community.
> 
> As you know, Professor Ruy de Queiroz is an outstanding scientist who
> enjoys international reputation and esteem for his research, as well as
> for his extensive contributions to the community.  I will not repeat here
> the extensive evidence for de Queiroz's standing, as you surely have
> it from other sources.  I would like to stress here one point which may
> not be so obvious, namely the importance in mathematics and theoretical
> computer science of publications that appear in collections, rather than
> journals or conference proceedings.
> 
> De Queiroz has had two such publications in recent years: one in the 
> 2005 Festschrift for Gabbay, and the other in a special 2003 collection 
> on Logic for Concurrency and Synchronisation. Both papers are of 
> first-class quality, and would surely qualify for publication in a prime 
> journal.  Being myself a contributor to the Gabbay Festschrift, I can 
> tell you that I submitted one of my best papers of recent years, and 
> that it underwent a rigorous process of refereeing, which indeed 
> improved the presentation substantially. I attach a list of 
> contributions I made over the years to such collections, papers which I 
> count among my best, and which were all thoroughly refereed.
> 
> I therefore lend my strongest support to the continued funding of 
> Professor de Queiroz, for his outstanding professional work in general, 
> notably including his four recent publications (two in journals, two in 
> volumes).
> 
> With best wishes,
> 
> Daniel Leivant
> Professor of Computer Science
> Indiana University