National Science Foundation Association for Symbolic Logic (travel grants for students to the ASL Meeting) Computability and Complexity in Analysis -- Network (support of CCA 2006) University of Florida Department of Mathematics Department of Computer and Information Science and Engineering Department of Philosophy College of Liberal Arts and Sciences Research and Graduate Programs