On 12/29/06, Rolf Tomas Nossum <rolf.nossum@hia.no> wrote:
>
> To whom it may concern.
>
> I am writing to support the application of Ruy de Queiroz
> for a research grant from the Brazilian Research Council.
>
> Ruy de Queiroz is an original and prolific researcher,
> who is also widely recognized for his services
> to the international research community of logic and computation.
>
> In addition to authoring several chapters in internationally published
> scientific anthologies and editing the proceedings of
> various international scientific conferences,
> he has recently published research papers in the
> "Archive for Mathematical Logic" and the "Bulletin of the Section of
> Logic (Lodz)".
>
> Ruy de Queiroz has for many years been an active member
> of several scientific societies and organizations within the international
> formal logic community. Some of his contributions have been:
> Coordinator of the Interest Group in Pure and Applied Logic (IGPL),
> Executive Editor of the Logic Journal of the IGPL, and
> Council Member of  the Association for Symbolic Logic.
> He has also been centrally involved in the organization of
> the well-known annual series of Workshops on
> Logic, Language, Information and Computation (WoLLIC)
> since the start in 1993. He is Co-Chair for the next one,
> which will be in Rio de Janeiro in 2007.
>
> I sincerely recommend Ruy de Queiroz for a research grant from the
> Brazilian Research Council.
>
> Yours,
>
> Rolf Tomas Nossum
>
> --
>
> Professor Rolf Tomas Nossum
> Department of Mathematics
> Agder University College
> Kristiansand, Norway
>
> http://home.hia.no/~rolfn/
>
>