(5) “Florida College System institution” except as otherwise specifically provided, includes all of the following public postsecondary educational institutions in the Florida College System and any branch campuses, centers, or other affiliates of the institution:(a) Eastern Florida State College, which serves Brevard County.
(b) Broward College, which serves Broward County.
(c) College of Central Florida, which serves Citrus, Levy, and Marion Counties.
(d) Chipola College, which serves Calhoun, Holmes, Jackson, Liberty, and Washington Counties.
(e) Daytona State College, which serves Flagler and Volusia Counties.
(f) Florida SouthWestern State College, which serves Charlotte, Collier, Glades, Hendry, and Lee Counties.
(g) Florida State College at Jacksonville, which serves Duval and Nassau Counties.
(h) The College of the Florida Keys, which serves Monroe County.
(i) Gulf Coast State College, which serves Bay, Franklin, and Gulf Counties.
(j) Hillsborough Community College, which serves Hillsborough County.
(k) Indian River State College, which serves Indian River, Martin, Okeechobee, and St. Lucie Counties.
(l) Florida Gateway College, which serves Baker, Columbia, Dixie, Gilchrist, and Union Counties.
(m) Lake-Sumter State College, which serves Lake and Sumter Counties.
(n) State College of Florida, Manatee-Sarasota, which serves Manatee and Sarasota Counties.
(o) Miami Dade College, which serves Miami-Dade County.
(p) North Florida College, which serves Hamilton, Jefferson, Lafayette, Madison, Suwannee, and Taylor Counties.
(q) Northwest Florida State College, which serves Okaloosa and Walton Counties.
(r) Palm Beach State College, which serves Palm Beach County.
(s) Pasco-Hernando State College, which serves Hernando and Pasco Counties.
(t) Pensacola State College, which serves Escambia and Santa Rosa Counties.
(u) Polk State College, which serves Polk County.
(v) St. Johns River State College, which serves Clay, Putnam, and St. Johns Counties.
(w) St. Petersburg College, which serves Pinellas County.
(x) Santa Fe College, which serves Alachua and Bradford Counties.
(y) Seminole State College of Florida, which serves Seminole County.
(z) South Florida State College, which serves DeSoto, Hardee, and Highlands Counties.
(aa) Tallahassee State College, which serves Gadsden, Leon, and Wakulla Counties.
(bb) Valencia College, which serves Orange and Osceola Counties.
(9) “State university,” except as otherwise specifically provided, includes the following institutions and any branch campuses, centers, or other affiliates of the institution:(a) The University of Florida.
(b) The Florida State University.
(c) The Florida Agricultural and Mechanical University.
(d) The University of South Florida.
(e) The Florida Atlantic University.
(f) The University of West Florida.
(g) The University of Central Florida.
(h) The University of North Florida.
(i) The Florida International University.
(j) The Florida Gulf Coast University.
(k) New College of Florida.
(l) The Florida Polytechnic University.