imh@doc.ic.ac.uk escreveu:
> Dear Professor
>
>
> I apologise for taking up your time, and for writing in English.  However,
> as I believe you are a Computer Science member of the scientific committee
> of the Brazilian Research Council (CNPq), I would like to make a short
> comment about the CNPq research grant held by my colleague Dr Ruy J. G. B.
> de Queiroz, at the Centro de Informatica of Universidade Federal de
> Pernambuco (UFPE).
>
> Ruy's current grant is "Modelos, Provas e Algoritmos - Fundamentos Logicos
> da Computacao", Grant n. 304365/2003-3.  He has applied for renewal of
> this grant for the period 2007-2009.  I understand that CNPq does not
> intend to renew this grant, and that one of the reasons is that there were
> not enough journal papers with high impact in the Journal Citations
> Records/ISI in the last 3 years.
>
> Of course I accept that CNPq makes its own decisions on these matters, and
> I respect its judgement.  However, Ruy is considering making a formal
> request for reconsideration.  In that case, I hope that CNPq will give
> fullest consideration to all relevant factors.  In particular, I believe
> that Ruy has a strong case for support not just based on authored
> publications.  I would like to list some points of this case.
>
>
> 1. Ruy was awarded the prestigious Tinker Visiting Professorship at
> Stanford University, in 2006.
>
> 2. He was recently elected to a council seat of the Association for
> Symbolic Logic, the principal international Organisation for logic.
>
> 3. He is executive editor of the important scientific journal "Logic
> Journal of the IGPL", published by Oxford University Press.  Through his
> work on this, he has made a very large and important contribution to the
> development of logic worldwide in the last 15 years.
>
> 4. He has organised 5 international scientific meetings since 2003:
> (WoLLIC'2003, WoLLIC'2004, WoLLIC'2005, WoLLIC'2006, WoLLIC'2007).  WoLLIC
> (Workshop on Logic, Language, Information and Computation) has always been
> closely associated with Ruy, and it has achieved full international
> recognition, attracting key world-class speakers to Brasil every year
> since the mid-1990s (except WoLLIC'2004 which was held in Paris).
>
> 5. He has been guest editor of special issues of very high impact
> journals: Annals of Pure & Applied Logic, Theoretical Computer Science,
> Information & Computation.  He has also guest-edited several special
> issues in the low-medium impact series Electronic Notes in Theoretical
> Computer Science.
>
> 6. He edited a volume in the series "Trends in Logic", published by Kluwer
> ("Logic for Concurrency and Synchronisation", Jul 2003).
>
> 7. He has published 2 book chapters (listed at (*) below).
>
> 8. He is a member of the editorial board of the "International Directory
> of Logicians", D. Gabbay & J. Woods, published by Elsevier (to appear).
>
>
> It is clear from this list that Ruy de Queiroz is a world-class figure in
> logic.  He has had a key role in putting Brasil "on the map" as part of
> the international logic community.  He is involved in many high-impact
> activities, and yet he still continues in active research.  Indeed, Ruy's
> research is essential to his continued high-profile role in international
> logic, and it would clearly be threatened by non-renewal of the research
> grant.
>
> With respect, I would therefore argue strongly for his grant support to
> continue.  I very much hope that the decision on renewing his research
> grant will be reconsidered in his favour.
>
> Thank you again for your time.
>
>
> Yours sincerely
>
> Ian Hodkinson
>
> Professor of Logic and Computation
> Department of Computing
> Imperial College London
> South Kensington Campus
> London, UK.
> http://www.doc.ic.ac.uk/~imh/
>
>
> (*)
> de Oliveira, A. & de Queiroz, R.: 2005, `A New Basic Set of Proof
> Transformations'. In We Will Show Them! Essays in Honour of Dov Gabbay.
> Volume 2, S. Artemov, H. Barringer, A. Garcez, L. Lamb and J. Woods
> (eds.),
> College Publications, London, ISBN 1904987125, October 2005, pp. 499-528.
>
> de Oliveira, A. & de Queiroz, R.: 2003, `Geometry of Deduction via Graphs
> of
> Proof'. In Logic for Concurrency and Synchronisation, R. de Queiroz (ed.),
> volume 18 of the Trends in Logic series, Kluwer Acad. Pub., Dordrecht,
> July 2003, ISBN 1-4020-1270-5, pp. 3-88.