Dirk Pattinson: Sponsors

I gratefully acknowledge the support of the Graduiertenkollg Logik in der Informatik, which supported me through a scholarship from Jan 1998 - Feb 2001. I am also thankful towards the DAAD for providing the opportunity to participate in the exchange programs INIDA, Vigoni and ARC. As of May 2004, my research is supported by the German Research Council under a grant for ``Domain Theoretic Methods for the Exact Solution of Differential Equations''.